Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
parallel programming » parallel processing
programming counting » programming computing, programming creating, programming boosting
counting function » accounting function, accounting functions, count function
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
parallel programming » parallel processing
programming counting » programming computing, programming creating, programming boosting
counting function » accounting function, accounting functions, count function
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Publié 2006
Table des matières:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Accéder au texte intégral
Électronique
eBook
2
Publié 2005
Table des matières:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Accéder au texte intégral
Électronique
eBook
3
Publié 2005
Table des matières:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Accéder au texte intégral
Électronique
eBook
4
Publié 2006
Table des matières:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Accéder au texte intégral
Électronique
eBook
5
Publié 2008
Table des matières:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Accéder au texte intégral
Électronique
eBook
6
Publié 2013
Table des matières:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Accéder au texte intégral
Électronique
eBook
7
Publié 2008
Table des matières:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”Accéder au texte intégral
Électronique
eBook
8
Publié 2010
Table des matières:
“... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”Accéder au texte intégral
Électronique
eBook
9
Publié 2015
Table des matières:
“... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”Accéder au texte intégral
Électronique
eBook
10
Publié 2010
Table des matières:
“... of Approximately Counting Stable Matchings -- Constant Approximation Algorithms for Embedding Graph Metrics...”Accéder au texte intégral
Électronique
eBook
11
Publié 2008
Table des matières:
“... Functions for Flow Time Scheduling Based on Active Job Count -- Facility Location in Dynamic Geometric Data...”Accéder au texte intégral
Électronique
eBook
12
Publié 2010
Table des matières:
“...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”Accéder au texte intégral
Électronique
eBook
13
Publié 2014
Table des matières:
“... with Polarizationless P Systems with Active Membranes -- Categorised Counting Mediated by Blotting Membrane Systems...”Accéder au texte intégral
Électronique
eBook
14
Publié 2006
Table des matières:
“... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”Accéder au texte intégral
Électronique
eBook
15
Publié 2006
Table des matières:
“... Simple Polygon -- Counting Proportions of Sets: Expressive Power with Almost Order -- Efficient...”Accéder au texte intégral
Électronique
eBook
16
Publié 2013
Table des matières:
“...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”Accéder au texte intégral
Électronique
eBook
17
Publié 2006
Table des matières:
“..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”Accéder au texte intégral
Électronique
eBook
18
Publié 2005
Table des matières:
“... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”Accéder au texte intégral
Électronique
eBook
19
Publié 2005
Table des matières:
“... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”Accéder au texte intégral
Électronique
eBook
20
Publié 2010
Table des matières:
“... Counting of Complex-Weighted Bounded-Degree Boolean CSPs -- A Randomized Algorithm for Weighted...”Accéder au texte intégral
Électronique
eBook