Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
specification function » specifications functional, specification execution, specification extraction
program specification » programs specifications, program specialization, program verification
function functional » functions functional, fractional functional, nutrition functional
parallel program » parallel programs, parallel problem, parallel programming
functional https » functions https, function https, functional hop
specification function » specifications functional, specification execution, specification extraction
program specification » programs specifications, program specialization, program verification
function functional » functions functional, fractional functional, nutrition functional
parallel program » parallel programs, parallel problem, parallel programming
functional https » functions https, function https, functional hop
1
Publié 2011
Sujets:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Accéder au texte intégral
Électronique
eBook
2
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
3
Publié 2007
Table des matières:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Accéder au texte intégral
Électronique
eBook
4
Publié 2006
Table des matières:
“... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”Accéder au texte intégral
Électronique
eBook
5
Table des matières:
“...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
6
Publié 2005
Table des matières:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Accéder au texte intégral
Électronique
eBook
7
Publié 2015
Table des matières:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Accéder au texte intégral
Électronique
eBook
8
Publié 2008
Table des matières:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Accéder au texte intégral
Électronique
eBook
9
Publié 2013
Table des matières:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Accéder au texte intégral
Électronique
eBook
10
Publié 2010
Table des matières:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”Accéder au texte intégral
Électronique
eBook
11
Publié 2014
Table des matières:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”Accéder au texte intégral
Électronique
eBook
12
Publié 2006
Table des matières:
“... I -- Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions...”Accéder au texte intégral
Électronique
eBook
13
Publié 2013
Table des matières:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”Accéder au texte intégral
Électronique
eBook
14
Publié 2005
Table des matières:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Accéder au texte intégral
Électronique
eBook
15
Publié 2006
Table des matières:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”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
Accéder au texte intégral
Électronique
eBook
17
Table des matières:
“... -- Lists in RSL -- Maps in RSL -- Higher-Order Functions in RSL -- Specification Types -- Types in RSL...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
18
Publié 2014
Table des matières:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”Accéder au texte intégral
Électronique
eBook
19
Table des matières:
“... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
20
Publié 2010
Table des matières:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”Accéder au texte intégral
Électronique
eBook