570 search results - page 67 / 114 » concurrency 2006 |
170
click to vote
PPOPP
2006
ACM
15 years 12 months ago
2006
ACM
As multi-core architectures with Thread-Level Speculation (TLS) are becoming better understood, it is important to focus on TLS compilation. TLS compilers are interesting in that,...
139
click to vote
SAC
2006
ACM
15 years 12 months ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
146
click to vote
APN
2006
Springer
15 years 9 months ago
2006
Springer
Dynamic nets are an extension of Petri nets where the net topology may change dynamically. This is achieved by allowing (i) tokens to be coloured with place names (carried on as da...
149
click to vote
APN
2006
Springer
15 years 9 months ago
2006
Springer
The product of safe Petri nets is a well known operation : it generalizes to concurrent systems the usual synchronous product of automata. In this paper, we consider a more general...
161
click to vote
ARCS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper presents a scalable and partitionable asynchronous bus arbiter for use with chip multiprocessors (CMP) and its corresponding pre-layout simulation results usin...