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