Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functionality function » functionals function, functionaries function, functional functions
programs functionality » program functionality, programs functional, properties functionality
intersecting programs » interlocking programs, intervention programs, interactive programs
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
programs functionality » program functionality, programs functional, properties functionality
intersecting programs » interlocking programs, intervention programs, interactive programs
function https » functions https, fiction https
1
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publicat 2006
Taula de continguts:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Obtenir text complet
Electrònic
eBook
2
Publicat 2006
Taula de continguts:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”Obtenir text complet
Electrònic
eBook
4
Publicat 2010
Taula de continguts:
“... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”Obtenir text complet
Electrònic
eBook
5
Publicat 2010
Taula de continguts:
“... for Intersection Graphs -- An O(logn)-Approximation Algorithm for the Disjoint Paths Problem in Eulerian Planar...”Obtenir text complet
Electrònic
eBook
6
Publicat 2010
Taula de continguts:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”Obtenir text complet
Electrònic
eBook
7
Publicat 2008
Taula de continguts:
“...-Oblivious Red-Blue Line Segment Intersection -- The Complexity of Bisectors and Voronoi Diagrams...”Obtenir text complet
Electrònic
eBook
8
Publicat 2014
Taula de continguts:
“... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”Obtenir text complet
Electrònic
eBook
9
Publicat 2010
Taula de continguts:
“... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”Obtenir text complet
Electrònic
eBook
10
Publicat 2007
Taula de continguts:
“... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”Obtenir text complet
Electrònic
eBook
11
Publicat 2006
Taula de continguts:
“... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”Obtenir text complet
Electrònic
eBook
12
Publicat 2008
Taula de continguts:
“... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”Obtenir text complet
Electrònic
eBook
13
Publicat 2013
Taula de continguts:
“... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...”Obtenir text complet
Electrònic
eBook
14
Publicat 2008
Taula de continguts:
“... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”Obtenir text complet
Electrònic
eBook
15
Publicat 2013
Taula de continguts:
“... Environment -- The Analysis of the Efficiency of Parallelization of Existing Serial Code on the Basis...”Obtenir text complet
Electrònic
eBook
16
Publicat 2006
Taula de continguts:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”Obtenir text complet
Electrònic
eBook
17
Publicat 2013
Taula de continguts:
“... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”Obtenir text complet
Electrònic
eBook
18
Publicat 2014
Taula de continguts:
“... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”Obtenir text complet
Electrònic
eBook