1
Publicat 2010
Taula de continguts: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Obtenir text complet
Electrònic eBook
2
per Freeman, Adam., Freeman, Adam.
Publicat 2010
Taula de continguts: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Obtenir text complet
Electrònic eBook
3
Publicat 2006
Taula de continguts: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Obtenir text complet
Electrònic eBook
4
Publicat 2013
Taula de continguts: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Obtenir text complet
Electrònic eBook
5
Publicat 2012
Taula de continguts: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Obtenir text complet
Electrònic eBook
6
Publicat 2005
Taula de continguts: ... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Obtenir text complet
Electrònic eBook
8
Publicat 2005
Taula de continguts: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Obtenir text complet
Electrònic eBook
9
Taula de continguts: ... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...
Obtenir text complet
Electrònic eBook
10
Publicat 2013
Taula de continguts: ... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....
Obtenir text complet
Electrònic eBook
11
Publicat 2010
Taula de continguts: ... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...
Obtenir text complet
Electrònic eBook
12
Publicat 2007
Taula de continguts: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Obtenir text complet
Electrònic eBook
13
Publicat 2005
Taula de continguts: ... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...
Obtenir text complet
Electrònic eBook
14
Publicat 2005
Taula de continguts: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
Obtenir text complet
Electrònic eBook
15
Publicat 2008
Taula de continguts: ... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...
Obtenir text complet
Electrònic eBook
16
Matèries: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
17
Publicat 2008
Taula de continguts: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
Obtenir text complet
Electrònic eBook
18
Publicat 2007
Taula de continguts: ... -- Using a Runtime Measurement Device with Measurement-Based WCET Analysis -- Implementing Real-Time...
Obtenir text complet
Electrònic eBook
19
Taula de continguts: ... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...
Obtenir text complet
Electrònic eBook
20
Publicat 2010
Taula de continguts: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
Obtenir text complet
Electrònic eBook