1
Publicado em 2007
Sumário: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2010
Sumário: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2005
Sumário: ... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2010
Sumário: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2010
Sumário: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2010
Sumário: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2008
Sumário: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2005
Sumário: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2014
Sumário: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2006
Sumário: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2010
Sumário: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2010
Sumário: ... Recommender System -- Parallel Randomized Load Balancing: A Lower Bound for a More General Model -- Ant-CSP...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2005
Sumário: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2008
Sumário: ... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2012
Sumário: ... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2010
Sumário: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2010
Sumário: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2008
Sumário: ... of the Trace Minimization Eigensolver -- A Load Balancing Knapsack Algorithm for Parallel Fuzzy c-Means Cluster...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2008
Sumário: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2010
Sumário: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Obter o texto integral
Recurso Eletrônico livro eletrônico