670 search results - page 111 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
119
Voted
ISCA
2007
IEEE
15 years 6 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...
95
Voted
VLSID
2008
IEEE
16 years 26 days 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...
105
click to vote
ACRI
2004
Springer
15 years 5 months 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...
113
click to vote
DSRT
1999
IEEE
15 years 4 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...
130
Voted
PODC
2009
ACM
16 years 1 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...