الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
programmed function » programme function, programming function, programming functions
function computing » education computing, generation computing
graph programmed » graphics programmed, groups programmed, graph programming
parallel graph » parallel graphs, parallel group
https » http
programmed function » programme function, programming function, programming functions
function computing » education computing, generation computing
graph programmed » graphics programmed, groups programmed, graph programming
parallel graph » parallel graphs, parallel group
https » http
1
منشور في 2010
جدول المحتويات:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2006
جدول المحتويات:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2010
جدول المحتويات:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2015
جدول المحتويات:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2010
جدول المحتويات:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2005
جدول المحتويات:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2008
جدول المحتويات:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
الموضوعات:
“...Programming languages (Electronic computers)....”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2010
جدول المحتويات:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2010
جدول المحتويات:
“... Computing Environments -- An Efficient Circuit–Switched Broadcasting in Star Graph -- Parallel Domain...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2008
جدول المحتويات:
“... Computation of Cuts Via Random Circulations -- Finding a Maximum Matching in a Sparse Random Graph in O(n...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2010
جدول المحتويات:
“...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2014
جدول المحتويات:
“... Random Bits -- Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2006
جدول المحتويات:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2005
جدول المحتويات:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2014
جدول المحتويات:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2005
جدول المحتويات:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2010
جدول المحتويات:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2006
جدول المحتويات:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2015
جدول المحتويات:
“... in Graph Using SMT for Automatic Clock Routing -- Cutting the Mix -- The Inez Mathematical Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني