Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
intersecting program » interfacing program, interlocking programs, intervention program
function functions » functions functions, function function, junction functions
program function » programme function, programs functional, program foundation
functions https » foundations https
intersecting program » interfacing program, interlocking programs, intervention program
function functions » functions functions, function function, junction functions
program function » programme function, programs functional, program foundation
functions https » foundations https
1
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
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