Search Sciweavers | Sciweavers

748 search results - page 35 / 150

» concurrency 2008

click to vote

CONCURRENCY
2002

112views more CONCURRENCY 2002»

An analysis of VI Architecture primitives in support of parallel and distributed communication

15 years 16 days ago

Download research.microsoft.com

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, ...

claim paper

Read More »

Voted

CONCURRENCY
2002

59views more CONCURRENCY 2002»

Grid services for earthquake science

15 years 16 days ago

Download grids.ucs.indiana.edu

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...

claim paper

Read More »

112

click to vote

JOT
2008

200views more JOT 2008»

Applying Model Checking to Concurrent UML Models

15 years 20 days ago

Download www.jot.fm

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

claim paper

Read More »

Voted

IMDS
2008

44views more IMDS 2008»

Effects of product design on assembly lines performances: A concurrent engineering approach

15 years 21 days ago

Download wwwme.nchu.edu.tw

Purpose

Antonio C. Caputo, Pacifico Marcello Pelagagge

claim paper