1194 search results - page 48 / 239 » Virtualization of Hardware - Introduction and Survey |
144
click to vote
SOFSEM
1997
Springer
15 years 9 months ago
1997
Springer
This paper surveys recent results in the area of virtual path layout in ATM networks. We present a model for the theoretical study of these layouts the model amounts to covering t...
136
click to vote
IE
2007
15 years 7 months ago
2007
Massively Multiplayer Online Games continue to grow and attract more users. The social aspect of MMOs differentiates them from single person games, increase user loyalty and often...
150
click to vote
DATE
2008
IEEE
15 years 12 months ago
2008
IEEE
The evaluation of extra-functional properties of embedded systems, such as reliability, timeliness, and energy consumption, as well as dealing with uncertainty, e.g., in the timin...
185
click to vote
MOVEP
2000
15 years 9 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
144
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper surveys the characteristics of multimedia systems. Multimedia applications today are dominated by compression and decompression, but multimedia devices must also implem...