1
Publié 2007
Table des matières: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Accéder au texte intégral
Électronique eBook
2
Publié 2008
Table des matières: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Accéder au texte intégral
Électronique eBook
3
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
4
Publié 2010
Table des matières: ... on Partial Estimation of Their Functional Performance Models -- An Efficient Weighted Bi-objective Scheduling...
Accéder au texte intégral
Électronique eBook
5
Publié 2005
Table des matières: ... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...
Accéder au texte intégral
Électronique eBook
6
Publié 2015
Table des matières: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Accéder au texte intégral
Électronique eBook
7
Publié 2008
Table des matières: ... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...
Accéder au texte intégral
Électronique eBook
8
Publié 2006
Table des matières: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Accéder au texte intégral
Électronique eBook
9
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
10
Publié 2008
Table des matières: ... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...
Accéder au texte intégral
Électronique eBook
11
Publié 2006
Table des matières: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Accéder au texte intégral
Électronique eBook
12
Publié 2013
Table des matières: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Accéder au texte intégral
Électronique eBook
13
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
14
Publié 2005
Table des matières: ... of Weighted Continuous Functions -- On a Gevrey-Nonsolvable Partial Differential Operator -- Optimal...
Accéder au texte intégral
Électronique eBook
15
Publié 2014
Table des matières: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Accéder au texte intégral
Électronique eBook
16
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
17
par Raynal, Michel., Raynal, Michel.
Publié 2013
Table des matières: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
Accéder au texte intégral
Électronique eBook
18
Publié 2010
Table des matières: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Accéder au texte intégral
Électronique eBook
19
Publié 2015
Table des matières: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Accéder au texte intégral
Électronique eBook
20
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