1
Publié 2006
Table des matières: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
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é 2010
Table des matières: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Accéder au texte intégral
Électronique eBook
4
Publié 2010
Table des matières: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Accéder au texte intégral
Électronique eBook
5
Publié 2010
Table des matières: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Accéder au texte intégral
Électronique eBook
6
Publié 2005
Table des matières: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Accéder au texte intégral
Électronique eBook
7
Publié 2010
Table des matières: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Accéder au texte intégral
Électronique eBook
8
Publié 2014
Table des matières: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Accéder au texte intégral
Électronique eBook
9
Publié 2014
Table des matières: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Accéder au texte intégral
Électronique eBook
10
Publié 2015
Table des matières: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Accéder au texte intégral
Électronique eBook
11
Publié 2010
Table des matières: ...Machine Learning and Data Mining -- Towards a Conscious Choice of a Fuzzy Similarity Measure: A...
Accéder au texte intégral
Électronique eBook
12
Publié 2008
Table des matières: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Accéder au texte intégral
Électronique eBook
13
Publié 2014
Table des matières: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Accéder au texte intégral
Électronique eBook
14
Publié 2010
Table des matières: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Accéder au texte intégral
Électronique eBook
15
Publié 2015
Table des matières: ... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...
Accéder au texte intégral
Électronique eBook
16
Table des matières: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Accéder au texte intégral
Électronique eBook
17
Publié 2010
Table des matières: ... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...
Accéder au texte intégral
Électronique eBook
18
Publié 2015
Table des matières: ... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...
Accéder au texte intégral
Électronique eBook
19
Publié 2010
Table des matières: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Accéder au texte intégral
Électronique eBook
20
Publié 2006
Table des matières: ... for measuring classification uncertainty in latent class analysis -- A robust linear grouping algorithm...
Accéder au texte intégral
Électronique eBook