2261 search results - page 121 / 453 » Relationships Between Models of Concurrency |
CDVE
2004
Springer
14 years 1 months ago
2004
Springer
ALTERNE (Alternative Realities in Networked Environments) platform aims at providing a high level of integration between various techniques supporting mixed reality, graphics, inte...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...
ASIAN
1998
Springer
14 years 9 days ago
1998
Springer
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
TACS
1991
Springer
13 years 11 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
MICRO
2010
IEEE
13 years 6 months ago
2010
IEEE
To extend the exponential performance scaling of future chip multiprocessors, improving energy efficiency has become a first-class priority. Single-chip heterogeneous computing ha...