Альтернативы поиска:
intersecting programs » interlocking programs, intervention programs, interactive programs
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
function https » functions https, fiction https
1
Опубликовано 2006
Оглавление: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2006
Оглавление: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2008
Оглавление: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2010
Оглавление: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2010
Оглавление: ... for Intersection Graphs -- An O(logn)-Approximation Algorithm for the Disjoint Paths Problem in Eulerian Planar...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2010
Оглавление: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2008
Оглавление: ...-Oblivious Red-Blue Line Segment Intersection -- The Complexity of Bisectors and Voronoi Diagrams...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2014
Оглавление: ... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2010
Оглавление: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2007
Оглавление: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2006
Оглавление: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2008
Оглавление: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2013
Оглавление: ... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2008
Оглавление: ... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2013
Оглавление: ... Environment -- The Analysis of the Efficiency of Parallelization of Existing Serial Code on the Basis...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2006
Оглавление: ... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2013
Оглавление: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2014
Оглавление: ... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...
Полный текст
Электронный ресурс eКнига