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