Sciweavers

26 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»
13 years 4 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»
13 years 4 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»
13 years 4 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...
TCAD
1998
95views more  TCAD 1998»
13 years 4 months ago
A framework for comparing models of computation
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
MICRO
2010
IEEE
156views Hardware» more  MICRO 2010»
13 years 3 months ago
Explicit Communication and Synchronization in SARC
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
Manolis Katevenis, Vassilis Papaefstathiou, Stamat...