Pynciau a Argymhellir O fewn eich chwiliad
Pynciau a Argymhellir O fewn eich chwiliad
Chwilio eraill:
parallel arithmetic » parallel synthetic, paradigm arithmetic
arithmetic program » arithmetic programmed, arithmetic programming, arithmetic problems
function function » function functional, functions functional, function dysfunction
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
parallel arithmetic » parallel synthetic, paradigm arithmetic
arithmetic program » arithmetic programmed, arithmetic programming, arithmetic problems
function function » function functional, functions functional, function dysfunction
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
1
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Cael y testun llawn
Electronig
eLyfr
2
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Cael y testun llawn
Electronig
eLyfr
3
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Cael y testun llawn
Electronig
eLyfr
4
Cyhoeddwyd 2010
Tabl Cynhwysion:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Cael y testun llawn
Electronig
eLyfr
5
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Cael y testun llawn
Electronig
eLyfr
6
Tabl Cynhwysion:
“... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
7
Tabl Cynhwysion:
“... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
8
Tabl Cynhwysion:
“... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
9
Cyhoeddwyd 2014
Tabl Cynhwysion:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Cael y testun llawn
Electronig
eLyfr
10
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Cael y testun llawn
Electronig
eLyfr
11
Cyhoeddwyd 2014
Tabl Cynhwysion:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Cael y testun llawn
Electronig
eLyfr
12
Cyhoeddwyd 2013
Tabl Cynhwysion:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Cael y testun llawn
Electronig
eLyfr
13
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Cael y testun llawn
Electronig
eLyfr
14
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”Cael y testun llawn
Electronig
eLyfr
15
Cyhoeddwyd 2011
Tabl Cynhwysion:
“... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”Cael y testun llawn
Electronig
eLyfr
16
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”Cael y testun llawn
Electronig
eLyfr
17
Cyhoeddwyd 2014
Tabl Cynhwysion:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”Cael y testun llawn
Electronig
eLyfr
18
Cyhoeddwyd 2007
Tabl Cynhwysion:
“... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”Cael y testun llawn
Electronig
eLyfr
19
Cyhoeddwyd 2007
Tabl Cynhwysion:
“... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”Cael y testun llawn
Electronig
eLyfr
20
Cyhoeddwyd 2015
Tabl Cynhwysion:
“... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”Cael y testun llawn
Electronig
eLyfr



