Search Results - KERNEL PROGRAMMING

Value of Increasing Kernel Uniformity by Byung-Sam Yoon, B. Wade Brorsen, Conrad P. Lyford

Subjects: “…kernel uniformity…”
Get full text

Safer Linux Kernel Modules Using the D Programming Language by Constantin Eduard Staniloiu, Alexandru Militaru, Razvan Nitu, Razvan Deaconescu

Subjects: “…Linux kernel…”
Get full text

RenderKernel: High-level programming for real-time rendering systems by Jinyuan Yang, Soumyabrata Dev, Abraham G. Campbell

“…Yet, current programming models primarily address data layout consistency, neglecting other persistent challenges.In this paper, we introduce RenderKernel, a programming model designed to simplify the development of real-time rendering systems. …”
Get full text

Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel by E. M. Novikov

“…Nowadays static verification is one of the most promising methods for finding bugs in programs. To apply successfully existing tools for the Linux kernel one needs to perform componentwise verification. …”
Get full text

Kernel Probabilistic K-Means Clustering by Bowen Liu, Ting Zhang, Yujian Li, Zhaoying Liu, Zhilin Zhang

Subjects: “…kernel probabilistic k-means…”
Get full text

Kernel Search for the Capacitated Vehicle Routing Problem by Zuzana Borčinová

Subjects: “…kernel search…”
Get full text

Systems of integral equations with a degenerate kernel and an algorithm for their solution using the Maple program by B.T. Kalimbetov, V.F. Safonov, O.D. Tuychiev

“…Bearing in mind the wide applications of the theory of integral equations in applied problems, the authors considered it necessary to give a detailed scheme for solving integral systems with degenerate kernels in the multidimensional case and to implement this scheme in the Maple program. …”
Get full text

Systems of integral equations with a degenerate kernel and an algorithm for their solution using the Maple program by B.T. Kalimbetov, V.F. Safonov, O.D. Tuychiev

“…Bearing in mind the wide applications of the theory of integral equations in applied problems, the authors considered it necessary to give a detailed scheme for solving integral systems with degenerate kernels in the multidimensional case and to implement this scheme in the Maple program. …”
Get full text

An application of Kernel estimation method to the demand in two-stage inventory model by Fernando Rojas

Subjects: “…kernel estimation method…”
Get full text

A machine learning approach to support deep brain stimulation programming by Viviana Gómez-Orozco, Iván De La Pava, Andrés Álvarez-Meza, Mauricio A. Álvarez, Álvaro Orozco-Gutiérrez

Get full text

Kernel Machine to Estimate a Lyapunov Function and Region of Attraction (ROA) for Nonlinear Systems by Afroza Shirin, Manel Martinez-Ramon, Rafael Fierro

Get full text

DCA for Sparse Quadratic Kernel-Free Least Squares Semi-Supervised Support Vector Machine by Jun Sun, Wentao Qu

“…One important method for solving the nonconvex problem is the DC (difference of convex function) programming. Therefore, we first approximate the <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mo>ℓ</mo><mn>0</mn></msub></semantics></math></inline-formula> norm by a polyhedral DC function. …”
Get full text

Architecture of an automated program complex based on a multiple kernel svm classifier for analyzing malicious executable files by Алан Нафієв, Андрій Родіонов

Subjects: “…cybersecurity; malware detection; automated program complex; static analysis; dynamic analysis; drakvuf; IDA Pro; multiple kernel.…”
Get full text

Architecture of an automated program complex based on a multiple kernel svm classifier for analyzing malicious executable files by Alan Nafiiev, Andrii Rodionov

Subjects: “…cybersecurity; malware detection; automated program complex; static analysis; dynamic analysis; drakvuf; IDA Pro; multiple kernel.…”
Get full text

Attribute Annotations and Their Use in C Program Deductive Verification by M. M. Atuchin, I. S. Anureev

“…In this paper a new kind of annotations, called attribute annotations, and the methodology for their application in a deductive program verification are proposed. A collection of annotating attributes for the subset C-kernel of the C language is described, and on their base two versions of axiomatic semantics of C-kernel - forward semantics and mixed forward semantics - are presented.…”
Get full text

Evolution of the Linux kernel by E. M. Novikov

Get full text

Radial basis kernel harmony in neural networks for the analysis of MHD Williamson nanofluid flow with thermal radiation and chemical reaction: An evolutionary approach by Zeeshan Ikram Butt, Muhammad Asif Zahoor Raja, Iftikhar Ahmad, Syed Ibrar Hussain, Muhammad Shoaib, Hira Ilyas

“…This newly designed technique is an amalgam of a well-known reliable global solver named genetic algorithms (GAs) and a swift convergence generated local solver named sequential quadratic programming (SQP) used in ANNs by taking RBF as a kernel function i.e. …”
Get full text

Iterative Kernel Technique to Solve System Fredholm Integral Equation First Kind for Degenerate Kernel by Talhat I. Hassan

“…In this paper, the iterative kernel technique was reformulated to treat the numerical solution for the system of Fredholm integral equations of the first kind for the degenerate kernel. …”
Get full text

Automatic C Program Verification Based on Mixed Axiomatic Semantics by I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev

Subjects: “…program verification…”
Get full text

Impact of the conditional cash transfer program’ on the monthly food expenditure of household beneficiaries by Norberto E. Milla

“…This study measured the impact of CCT Program, particularly on food consumption among its household beneficiaries using Propensity Score Matching (PSM). …”
Get full text