670 search results - page 111 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
ISCA
2007
IEEE
14 years 1 months ago
2007
IEEE
Virtual Private Machines (VPM) provide a framework for Quality of Service (QoS) in CMP-based computer systems. VPMs incorporate microarchitecture mechanisms that allow shares of h...
VLSID
2008
IEEE
14 years 8 months ago
2008
IEEE
With increasing adoption of Electronic System Level (ESL) tools, effective design and validation time has reduced to a considerable extent. Cosimulation is found to be a principal...
ACRI
2004
Springer
14 years 29 days ago
2004
Springer
We have investigated a problem where the goal is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type OBSTACLE, EMPTY or CRE...
DSRT
1999
IEEE
13 years 12 months ago
1999
IEEE
: This paper addresses the need for reliable multicast (RM) network support for the class of distributed virtual simulations (DVS) that operate with human participants who experien...
PODC
2009
ACM
14 years 8 months ago
2009
ACM
We analyze the performance of protocols for load balancing in distributed systems based on no-regret algorithms from online learning theory. These protocols treat load balancing a...