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
Electronig eLyfr
7
Tabl Cynhwysion: ... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...
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
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