Sciweavers

Share
27 search results - page 1 / 6
» Model for synchronizer of marked pairs in fork-join network
Sort
View
CORR
2008
Springer
80views Education» more  CORR 2008»
8 years 5 months ago
Model for synchronizer of marked pairs in fork-join network
S. V. Vyshenski, P. V. Grigoriev, Yu. Yu. Dubenska...
CORR
2008
Springer
98views Education» more  CORR 2008»
8 years 5 months ago
Ideal synchronizer for marked pairs in fork-join network
S. V. Vyshenski, P. V. Grigoriev, Yu. Yu. Dubenska...
ENTCS
2006
180views more  ENTCS 2006»
8 years 5 months ago
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...
Fernando Rosa Velardo, Olga Marroquín Alons...
ICCAD
1996
IEEE
127views Hardware» more  ICCAD 1996»
8 years 9 months ago
Comparing models of computation
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
ISCA
2006
IEEE
120views Hardware» more  ISCA 2006»
8 years 11 months ago
Interconnection Networks for Scalable Quantum Computers
We show that the problem of communication in a quantum computer reduces to constructing reliable quantum channels by distributing high-fidelity EPR pairs. We develop analytical m...
Nemanja Isailovic, Yatish Patel, Mark Whitney, Joh...
books