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