1
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