1
Veröffentlicht 2007
Inhaltsangabe: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2008
Inhaltsangabe: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2005
Inhaltsangabe: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2010
Inhaltsangabe: ... on Partial Estimation of Their Functional Performance Models -- An Efficient Weighted Bi-objective Scheduling...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2005
Inhaltsangabe: ... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2015
Inhaltsangabe: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2008
Inhaltsangabe: ... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2006
Inhaltsangabe: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2014
Inhaltsangabe: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2006
Inhaltsangabe: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2008
Inhaltsangabe: ... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2013
Inhaltsangabe: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2013
Inhaltsangabe: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2005
Inhaltsangabe: ... of Weighted Continuous Functions -- On a Gevrey-Nonsolvable Partial Differential Operator -- Optimal...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2014
Inhaltsangabe: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2008
Inhaltsangabe: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Volltext
Elektronisch E-Book
17
von Raynal, Michel., Raynal, Michel.
Veröffentlicht 2013
Inhaltsangabe: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2010
Inhaltsangabe: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2015
Inhaltsangabe: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2010
Inhaltsangabe: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Volltext
Elektronisch E-Book