Sciweavers

1497 search results - page 104 / 300
» A Computational Model for Message Passing
Sort
View
IPPS
2007
IEEE
14 years 2 months ago
Formal Analysis for Debugging and Performance Optimization of MPI
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
Ganesh Gopalakrishnan, Robert M. Kirby
ICPP
2006
IEEE
14 years 2 months ago
Data-Flow Analysis for MPI Programs
Message passing via MPI is widely used in singleprogram, multiple-data (SPMD) parallel programs. Existing data-flow frameworks do not model the semantics of message-passing SPMD ...
Michelle Mills Strout, Barbara Kreaseck, Paul D. H...
HPCC
2005
Springer
14 years 1 months ago
A Multi-scale Computational Approach for Nanoparticle Growth in Combustion Environments
In this paper a new and powerful computer simulation capability for the characterization of carbonaceous nanoparticle assemblies across multiple, connected scales, starting from th...
Angela Violi, Gregory A. Voth
HAPTICS
2010
IEEE
13 years 8 months ago
Online Intention Recognition in Computer-Assisted Teleoperation Systems
Limitations of state-of-the-art teleoperation systems can be compensated by using shared-control teleoperation architectures that provide haptic assistance to the human operator. T...
Nikolay Stefanov, Angelika Peer, Martin Buss
CONCUR
2004
Springer
14 years 1 months ago
The Pros and Cons of Netcharts
Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from ...
Nicolas Baudru, Rémi Morin