1683 search results - page 121 / 337 » Testing system virtual machines |
157
click to vote
APSEC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
145
click to vote
IV
2002
IEEE
15 years 9 months ago
2002
IEEE
Robots are employed to do exacting routines, ranging from the common place to the difficult and from the relatively safe to the highly dangerous. Remote-controlled robots -or tele...
151
click to vote
BROADNETS
2006
IEEE
15 years 10 months ago
2006
IEEE
— With the advent of service sensitive applications such as remote controlled experiments, time constrained massive data transfers, and video-conferencing, it has become apparent...
134
click to vote
CC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Inline-threaded interpretation is a recent technique that improves performance by eliminating dispatch overhead within basic blocks for interpreters written in C [11]. Th...
134
click to vote
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present the security implications of x86 processor bugs or backdoors on operating systems and virtual machine monitors. We will not try to determine whether the b...