Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
compositional function » composition functions, compositional action, propositional functions
program compositional » program composition, program computational, problem compositional
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
compositional function » composition functions, compositional action, propositional functions
program compositional » program composition, program computational, problem compositional
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
1
Publicat 2013
Taula de continguts:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“... Parallel Methods for Image Compositing in Sort-Last Rendering -- Session 5: GPU and Multicore -- memCUDA...”Obtenir text complet
Electrònic
eBook
3
Publicat 2005
Taula de continguts:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Obtenir text complet
Electrònic
eBook
4
Publicat 2010
Taula de continguts:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Obtenir text complet
Electrònic
eBook
5
Publicat 2005
Taula de continguts:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Obtenir text complet
Electrònic
eBook
6
Publicat 2006
Taula de continguts:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Obtenir text complet
Electrònic
eBook
7
Publicat 2008
Taula de continguts:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“...-Constrained Optimization -- Parallel Artificial Immune System in Optimization and Identification of Composite...”Obtenir text complet
Electrònic
eBook
9
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicat 2015
Taula de continguts:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Obtenir text complet
Electrònic
eBook
10
Publicat 2005
Taula de continguts:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Obtenir text complet
Electrònic
eBook
11
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicat 2014
Taula de continguts:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Obtenir text complet
Electrònic
eBook
12
Publicat 2013
Taula de continguts:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”Obtenir text complet
Electrònic
eBook
13
Publicat 2013
Taula de continguts:
“... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”Obtenir text complet
Electrònic
eBook
14
Taula de continguts:
“...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
15
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
16
Publicat 2007
Taula de continguts:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Obtenir text complet
Electrònic
eBook
17
Publicat 2006
Taula de continguts:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”Obtenir text complet
Electrònic
eBook
18
Publicat 2008
Taula de continguts:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Obtenir text complet
Electrònic
eBook
19
Publicat 2010
Taula de continguts:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”Obtenir text complet
Electrònic
eBook
20
Publicat 2014
Taula de continguts:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Obtenir text complet
Electrònic
eBook