Sciweavers

1497 search results - page 47 / 300
» A Computational Model for Message Passing
Sort
View
PVM
2007
Springer
14 years 3 months ago
Analysis of Implementation Options for MPI-2 One-Sided
Abstract. The Message Passing Interface provides an interface for onesided communication as part of the MPI-2 standard. The semantics speciļ¬ed by MPI-2 allow for a number of diļ¬...
Brian Barrett, Galen M. Shipman, Andrew Lumsdaine
IPPS
2003
IEEE
14 years 2 months ago
A Framework for Portable Shared Memory Programming
Widespread adaptation of shared memory programming for High Performance Computing has been inhibited by a lack of standardization and the resulting portability problems between pl...
Martin Schulz, Sally A. McKee
LICS
2006
IEEE
14 years 3 months ago
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
d Abstract) Marcelo Fioreāˆ— and Sam Statonā€  Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
Marcelo P. Fiore, Sam Staton
ICIG
2009
IEEE
13 years 7 months ago
Statistical Modeling of Optical Flow
Optical flow estimation is one of the main subjects in computer vision. Many methods developed to compute the motion fields are built using standard heuristic formulation. In this...
Dongmin Ma, Véronique Prinet, Cyril Cassisa
JVA
2006
IEEE
14 years 3 months ago
Programming Models for Grid Applications and Systems: Requirements and Approaches
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of ā€œthe single, bes...
Thilo Kielmann