Rekommenderade teman
Rekommenderade teman
Menade du:
programmed functionality » program functionality, properties functionality, programming functional
composition programmed » composition programs, corporations programmed, communication programmed
functionality function » functionals function, functionaries function, functional functions
parallel composition » parallel computation, parallel computations, parallel computational
function https » functions https, fiction https
programmed functionality » program functionality, properties functionality, programming functional
composition programmed » composition programs, corporations programmed, communication programmed
functionality function » functionals function, functionaries function, functional functions
parallel composition » parallel computation, parallel computations, parallel computational
function https » functions https, fiction https
1
Publicerad 2013
Innehållsförteckning:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2010
Innehållsförteckning:
“... Parallel Methods for Image Compositing in Sort-Last Rendering -- Session 5: GPU and Multicore -- memCUDA...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2005
Innehållsförteckning:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2010
Innehållsförteckning:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2005
Innehållsförteckning:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2006
Innehållsförteckning:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2008
Innehållsförteckning:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2010
Innehållsförteckning:
“...-Constrained Optimization -- Parallel Artificial Immune System in Optimization and Identification of Composite...”Hämta fulltext
Elektronisk
E-bok
9
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicerad 2015
Innehållsförteckning:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2005
Innehållsförteckning:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Hämta fulltext
Elektronisk
E-bok
11
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicerad 2014
Innehållsförteckning:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2013
Innehållsförteckning:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2013
Innehållsförteckning:
“... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”Hämta fulltext
Elektronisk
E-bok
14
Innehållsförteckning:
“...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2010
Innehållsförteckning:
“... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2007
Innehållsförteckning:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2006
Innehållsförteckning:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2008
Innehållsförteckning:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2010
Innehållsförteckning:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2014
Innehållsförteckning:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Hämta fulltext
Elektronisk
E-bok