Sciweavers

153 search results - page 4 / 31
» Concurrent data representation synthesis
Sort
View
SCCC
2008
IEEE
14 years 1 months ago
Hardware Synthesis for Asynchronous Communications Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In this work an automatic meth...
Kyller Costa Gorgônio, Jordi Cortadella
ICDCS
1997
IEEE
13 years 11 months ago
Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects
—This paper describes algorithms for implementing a high-level programming model for synchronous distributed groupware applications. In this model, several application data objec...
Robert E. Strom, Guruduth Banavar, Kevan Miller, A...
VLSID
2005
IEEE
87views VLSI» more  VLSID 2005»
14 years 7 months ago
Synthesis of Asynchronous Circuits Using Early Data Validity
Interest in asynchronous circuit design is increasing due to its promise of efficient designs. The quiescent nature of asynchronous circuits allows them to remain in a stable stat...
Nitin Gupta, Doug A. Edwards
APCCM
2009
13 years 8 months ago
Synthesis of Orchestrators from Service Choreographies
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...
Stephen McIlvenna, Marlon Dumas, Moe Thandar Wynn
CONCURRENCY
2008
164views more  CONCURRENCY 2008»
13 years 7 months ago
Automatic capture and efficient storage of e-Science experiment provenance
ce that allows navigation from an abstract model of the experiment to instance data collected during a specific experiment run. We outline modest extensions to a commercial workflo...
Roger S. Barga, Luciano A. Digiampietri