Sciweavers

1675 search results - page 125 / 335
» A Structured Approach to Parallel Programming: Methodology a...
Sort
View
118
Voted
ECOOPW
1998
Springer
15 years 8 months ago
Agent Roles and Aspects
Agent systems are highly distributed and feature widespread coordination and collaboration. Because of these characteristics, a traditional object oriented approach to software de...
Elizabeth A. Kendall
165
Voted
FMICS
2007
Springer
15 years 10 months ago
An Approach to Formalization and Analysis of Message Passing Libraries
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
Robert Palmer, Michael Delisi, Ganesh Gopalakrishn...
133
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
Parallel Randomized State-Space Search
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Per...
218
Voted
AES
2011
Springer
232views Cryptology» more  AES 2011»
14 years 3 months ago
Reliable performance prediction for multigrid software on distributed memory systems
We propose a model for describing and predicting the parallel performance of a broad class of parallel numerical software on distributed memory architectures. The purpose of this ...
Giuseppe Romanazzi, Peter K. Jimack, Christopher E...
107
Voted
SC
2000
ACM
15 years 8 months ago
Parallel Unsteady Turbo-Pump Simulations For Liquid Rocket Engines
This paper reports the progress being made towards complete turbo-pump simulation capability for liquid rocket engines. The Space Shuttle Main Engine (SSME) turbo-pump impeller is...
Cetin C. Kiris, Dochan Kwak, William Chan