1
Publié 2010
Table des matières: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Accéder au texte intégral
Électronique eBook
2
par Freeman, Adam., Freeman, Adam.
Publié 2010
Table des matières: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Accéder au texte intégral
Électronique eBook
3
Publié 2006
Table des matières: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Accéder au texte intégral
Électronique eBook
4
Publié 2013
Table des matières: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Accéder au texte intégral
Électronique eBook
5
Publié 2012
Table des matières: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Accéder au texte intégral
Électronique eBook
6
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
7
Publié 2008
Table des matières: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Accéder au texte intégral
Électronique eBook
8
Publié 2005
Table des matières: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Accéder au texte intégral
Électronique eBook
9
Publié 2005
Table des matières: ... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...
Accéder au texte intégral
Électronique eBook
10
Table des matières: ... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...
Accéder au texte intégral
Électronique eBook
11
Publié 2013
Table des matières: ... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....
Accéder au texte intégral
Électronique eBook
12
Publié 2010
Table des matières: ... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...
Accéder au texte intégral
Électronique eBook
13
Publié 2007
Table des matières: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Accéder au texte intégral
Électronique eBook
14
Publié 2007
Table des matières: ... -- Using a Runtime Measurement Device with Measurement-Based WCET Analysis -- Implementing Real-Time...
Accéder au texte intégral
Électronique eBook
15
Publié 2008
Table des matières: ... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...
Accéder au texte intégral
Électronique eBook
16
Sujets: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Accéder au texte intégral
Électronique eBook
17
Publié 2008
Table des matières: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
Accéder au texte intégral
Électronique eBook
18
Publié 2005
Table des matières: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
Accéder au texte intégral
Électronique eBook
19
Table des matières: ... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...
Accéder au texte intégral
Électronique eBook
20
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