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