الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
parallel constructs » parallel construction, parallel constraint, parallel contours
constructs program » contracts program, construction program, constraints program
dysfunction https » dysfunction after, dysfunction james, dysfunction ahfs
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
parallel constructs » parallel construction, parallel constraint, parallel contours
constructs program » contracts program, construction program, constraints program
dysfunction https » dysfunction after, dysfunction james, dysfunction ahfs
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
1
منشور في 2010
جدول المحتويات:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2012
جدول المحتويات:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2007
جدول المحتويات:
“... in Embedded Systems -- Variable Reassignment in the T++ Parallel Programming Language -- Parallel Construction...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2005
جدول المحتويات:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2010
جدول المحتويات:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2008
جدول المحتويات:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2015
جدول المحتويات:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2014
جدول المحتويات:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2015
جدول المحتويات:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2010
جدول المحتويات:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”احصل على النص الكامل
الكتروني
كتاب الكتروني
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
منشور في 2014
جدول المحتويات:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2008
جدول المحتويات:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2006
جدول المحتويات:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
بواسطة Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
منشور في 2011
الموضوعات:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”منشور في 2011
احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2014
جدول المحتويات:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
منشور في 2006
جدول المحتويات:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2008
جدول المحتويات:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2005
جدول المحتويات:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2014
جدول المحتويات:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”احصل على النص الكامل
الكتروني
كتاب الكتروني