Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
parallel working » parallel parking, parallel sorting, parallel routing
working program » walking program, cooking program, working programmer
using https » using http, nursing https, aging https
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
parallel working » parallel parking, parallel sorting, parallel routing
working program » walking program, cooking program, working programmer
using https » using http, nursing https, aging https
1
Published 2010
Table of Contents:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”View full text
Electronic
eBook
2
Table of Contents:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
View full text
View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...”View full text
Electronic
eBook
10
by Grune, Dick., Grune, Dick., van Reeuwijk, Kees., Bal, Henri E., Jacobs, Ceriel J.H., Langendoen, Koen.
Published 2012
Table of Contents:
“... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...”Published 2012
View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”View full text
Electronic
eBook
14
Embedded System Design: Topics, Techniques and Trends IFIP TC10 Working Conference: International...
Published 2007
Table of Contents:
“... -- Using a Runtime Measurement Device with Measurement-Based WCET Analysis -- Implementing Real-Time...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...”View full text
Electronic
eBook
16
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”View full text
Electronic
eBook
19
Table of Contents:
“... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...”
View full text
View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”View full text
Electronic
eBook