Sciweavers

54 search results - page 3 / 11
» Proving Copyless Message Passing
Sort
View
CORR
2010
Springer
171views Education» more  CORR 2010»
13 years 4 months ago
Graphical Models Concepts in Compressed Sensing
This paper surveys recent work in applying ideas from graphical models and message passing algorithms to solve large scale regularized regression problems. In particular, the focu...
Andrea Montanari
CONCURRENCY
2010
110views more  CONCURRENCY 2010»
13 years 5 months ago
Redesigning the message logging model for high performance
Over the past decade the number of processors in the high performance facilities went up to hundreds of thousands. As a direct consequence, while the computational power follow th...
Aurelien Bouteiller, George Bosilca, Jack Dongarra
HPDC
2006
IEEE
13 years 11 months ago
Motor: A Virtual Machine for High Performance Computing
High performance application development remains challenging, particularly for scientists making the transition to a Grid environment. In general areas of computing, virtual envir...
Wojtek Goscinski, David Abramson
IPPS
1998
IEEE
13 years 10 months ago
Deriving Efficient Cache Coherence Protocols through Refinement
Abstract. We address the problem of developing efficient cache coherence protocols implementing distributed shared memory (DSM) using message passing. A serious drawback of traditi...
Ratan Nalumasu, Ganesh Gopalakrishnan
DAGSTUHL
2003
13 years 7 months ago
Coordinating Agents in OO
In this paper we introduce an object-oriented coordination language for multi-agents systems. The beliefs and reasoning capabilities ent are specified in terms of a corresponding ...
Frank S. de Boer, Cees Pierik, Rogier M. van Eijk,...