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