Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
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
Vydáno 2013
Obsah:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2010
Obsah:
“... Parallel Methods for Image Compositing in Sort-Last Rendering -- Session 5: GPU and Multicore -- memCUDA...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2005
Obsah:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2010
Obsah:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2005
Obsah:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2006
Obsah:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2008
Obsah:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2010
Obsah:
“...-Constrained Optimization -- Parallel Artificial Immune System in Optimization and Identification of Composite...”Získat plný text
Elektronický zdroj
E-kniha
9
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Vydáno 2015
Obsah:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Získat plný text
Elektronický zdroj
E-kniha
10
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Vydáno 2014
Obsah:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2005
Obsah:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2013
Obsah:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2013
Obsah:
“... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”Získat plný text
Elektronický zdroj
E-kniha
14
Obsah:
“...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2010
Obsah:
“... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2007
Obsah:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2006
Obsah:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2010
Obsah:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2008
Obsah:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2014
Obsah:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Získat plný text
Elektronický zdroj
E-kniha