الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
programming functionality » programming functional, programming functionals, program functionality
functionality function » functionals function, functionaries function, functional functions
function https » functions https, fiction https
a programming » c programming, java programming, a programmed
parallel a » parallel _, parallel data
programming functionality » programming functional, programming functionals, program functionality
functionality function » functionals function, functionaries function, functional functions
function https » functions https, fiction https
a programming » c programming, java programming, a programmed
parallel a » parallel _, parallel data
1
منشور في 2010
جدول المحتويات:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2006
جدول المحتويات:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2015
جدول المحتويات:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2012
الموضوعات:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2013
جدول المحتويات:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2005
جدول المحتويات:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2007
جدول المحتويات:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2006
جدول المحتويات:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2012
جدول المحتويات:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2008
جدول المحتويات:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2013
جدول المحتويات:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
جدول المحتويات:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2010
جدول المحتويات:
“... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2007
جدول المحتويات:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2010
جدول المحتويات:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2006
جدول المحتويات:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2010
جدول المحتويات:
“...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2010
جدول المحتويات:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2005
جدول المحتويات:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2008
جدول المحتويات:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”احصل على النص الكامل
الكتروني
كتاب الكتروني