7311 search results - page 253 / 1463 » Time in State Machines |
354
click to vote
HPDC
2012
IEEE
13 years 9 months ago
2012
IEEE
Recent advances in virtualization technologies have made it feasible to host multiple virtual machines (VMs) in the same physical host and even the same CPU core, with fair share ...
200
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Virtual machine migration greatly aids management by allowing flexible provisioning of resources and decommissioning of hardware for maintenance. However, efforts to improve netwo...
183
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
Early power analysis for systems-on-chip (SoC) is crucial for determining the appropriate packaging and cost. This early analysis commonly relies on evaluating power formulas for ...
167
click to vote
ASM
2005
ASM
16 years 24 days ago
2005
ASM
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
188
click to vote
DSN
2002
IEEE
16 years 6 days ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...