الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
programs toward » programs towards, progress toward, programs board
toward function » toward functional, towards functions, reward function
function https » functions https, fiction https
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
programs toward » programs towards, progress toward, programs board
toward function » toward functional, towards functions, reward function
function https » functions https, fiction https
1
منشور في 2010
جدول المحتويات:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2008
جدول المحتويات:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2007
جدول المحتويات:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2010
جدول المحتويات:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2010
جدول المحتويات:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2010
جدول المحتويات:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2010
جدول المحتويات:
“... Encoding on GPGPUs -- Towards Metaprogramming for Parallel Systems on a Chip -- Dynamic Detection...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2010
جدول المحتويات:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2008
جدول المحتويات:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2005
جدول المحتويات:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2005
جدول المحتويات:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2006
جدول المحتويات:
“... for CHR -- Overlapping Rules and Logic Variables in Functional Logic Programs -- Towards “Propagation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2008
جدول المحتويات:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2005
جدول المحتويات:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2013
جدول المحتويات:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2010
جدول المحتويات:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2010
جدول المحتويات:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2014
جدول المحتويات:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2008
جدول المحتويات:
“... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2005
جدول المحتويات:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”احصل على النص الكامل
الكتروني
كتاب الكتروني