1
Publicat 2007
Taula de continguts: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Obtenir text complet
Electrònic eBook
2
Publicat 2006
Taula de continguts: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Obtenir text complet
Electrònic eBook
3
Publicat 2005
Taula de continguts: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Obtenir text complet
Electrònic eBook
7
Publicat 2005
Taula de continguts: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Obtenir text complet
Electrònic eBook
8
Publicat 2015
Taula de continguts: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
Obtenir text complet
Electrònic eBook
9
Publicat 2008
Taula de continguts: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obtenir text complet
Electrònic eBook
10
Publicat 2006
Taula de continguts: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
Obtenir text complet
Electrònic eBook
11
Publicat 2013
Taula de continguts: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Obtenir text complet
Electrònic eBook
13
per Bjørner, Dines., Bjørner, Dines.
Publicat 2006
Taula de continguts: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Obtenir text complet
Electrònic eBook
15
Publicat 2010
Taula de continguts: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Obtenir text complet
Electrònic eBook
16
Publicat 2005
Taula de continguts: ... -- An Extension of Self-organizing Maps to Categorical Data -- Programming Relational Databases for Itemset Mining...
Obtenir text complet
Electrònic eBook
17
Publicat 2010
Taula de continguts: ... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...
Obtenir text complet
Electrònic eBook
18
Taula de continguts: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Obtenir text complet
Electrònic eBook
19
Publicat 2010
Taula de continguts: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
Obtenir text complet
Electrònic eBook
20
Publicat 2010
Taula de continguts: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Obtenir text complet
Electrònic eBook