Sciweavers

748 search results - page 35 / 150
» concurrency 2008
Sort
View
CONCURRENCY
2002
112views more  CONCURRENCY 2002»
14 years 9 months ago
An analysis of VI Architecture primitives in support of parallel and distributed communication
We present the results of a detailed study of the Virtual Interface (VI) paradigm as a communication foundation for a distributed computing environment. Using Active Messages and ...
Andrew Begel, Philip Buonadonna, David E. Culler, ...
CONCURRENCY
2002
59views more  CONCURRENCY 2002»
14 years 9 months ago
Grid services for earthquake science
We describe an information system architecture for the ACES (Asia-Pacific Cooperation for Earthquake Simulation) community. It addresses several key features of the field
Geoffrey Fox, Sung Hoon Ko, Marlon E. Pierce, Ozgu...
JOT
2008
200views more  JOT 2008»
14 years 9 months ago
Applying Model Checking to Concurrent UML Models
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
Patrice Gagnon, Farid Mokhati, Mourad Badri
IMDS
2008
44views more  IMDS 2008»
14 years 9 months ago
Effects of product design on assembly lines performances: A concurrent engineering approach
Purpose
Antonio C. Caputo, Pacifico Marcello Pelagagge
TODAES
1998
42views more  TODAES 1998»
14 years 9 months ago
ICOS: an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems
Pao-Ann Hsiung, Chung-Hwang Chen, Trong-Yen Lee, S...