2632 search results - page 233 / 527 » Alternating Timed Automata |
146
click to vote
SIGECOM
2003
ACM
15 years 9 months ago
2003
ACM
A market-based scheduling mechanism allocates resources indexed by time to alternative uses based on the bids of participating agents. Agents are typically interested in multiple ...
148
click to vote
RTAS
2009
IEEE
15 years 11 months ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
145
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
We had introduced the massively parallel global cellular automata (GCA) model. Parallel algorithms derived from applications can be mapped straight forward onto this model. In thi...
152
click to vote
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
127
click to vote
MICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
The inherent instruction-level parallelism (ILP) of current applications (specially those based on floating point computations) has driven hardware designers and compilers writers...