الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
functional composition » functional decomposition, function composition, functions composition
parallel programming » parallel processing
programming https » programming http, programming hands, programming hints
composition https » computation https, composition haptics, cognition https
https functional » cots functional, cuts functional, dots functional
functional composition » functional decomposition, function composition, functions composition
parallel programming » parallel processing
programming https » programming http, programming hands, programming hints
composition https » computation https, composition haptics, cognition https
https functional » cots functional, cuts functional, dots functional
1
منشور في 2010
جدول المحتويات:
“... Parallel Methods for Image Compositing in Sort-Last Rendering -- Session 5: GPU and Multicore -- memCUDA...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2013
جدول المحتويات:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2005
جدول المحتويات:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2005
جدول المحتويات:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2010
جدول المحتويات:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”احصل على النص الكامل
الكتروني
كتاب الكتروني
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
منشور في 2005
جدول المحتويات:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
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...”احصل على النص الكامل
الكتروني
كتاب الكتروني
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
منشور في 2008
جدول المحتويات:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2006
جدول المحتويات:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2010
جدول المحتويات:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2013
جدول المحتويات:
“... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...”احصل على النص الكامل
الكتروني
كتاب الكتروني