Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming algebra » program algebra, programming agent, programming agents
java programming » c programming
algebra function » algebra functions, algebras function, algebraic function
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
programming algebra » program algebra, programming agent, programming agents
java programming » c programming
algebra function » algebra functions, algebras function, algebraic function
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
1
Published 2010
Table of Contents:
“..., Modular, Synthetic Chromosomes -- GPU Parallelization of Algebraic Dynamic Programming -- Parallel Extreme...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”View full text
Electronic
eBook