Sciweavers

101 search results - page 9 / 21
» MPICH-G2: A Grid-Enabled Implementation of the Message Passi...
Sort
View
VMCAI
2007
Springer
15 years 3 months ago
Model Checking Nonblocking MPI Programs
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
Stephen F. Siegel
87
Voted
IJON
2000
69views more  IJON 2000»
14 years 9 months ago
PARALLEL NEUROSYS: A system for the simulation of very large networks of biologically accurate neurons on parallel computers
We present a software package for the simulation of very large neuronal networks on parallel computers. The package can be run on any system with an implementation of the Message ...
Peter Pacheco, Marcelo Camperi, Toshi Uchino
78
Voted
IRREGULAR
1997
Springer
15 years 1 months ago
Programming with Shared Data Abstractions
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...
Simon A. Dobson, Don Goodeve
PVM
2005
Springer
15 years 3 months ago
A Case for New MPI Fortran Bindings
Abstract. The Fortran language has evolved substantially from the Fortran 77 bindings defined in the MPI-1 (Message Passing Interface) standard. Fortran 90 introduced interface bl...
Craig Edward Rasmussen, Jeffrey M. Squyres
ICARCV
2002
IEEE
185views Robotics» more  ICARCV 2002»
15 years 2 months ago
Evolving cooperative robotic behaviour using distributed genetic programming
Cooperative robotic systems provide design and implementation challenges that are not easy to solve. This paper describes a parallel implementation for evolving cooperative roboti...
Chris H. Messom, Matthew G. Walker