1194 search results - page 171 / 239 » Virtualization of Hardware - Introduction and Survey |
ISMAR
2005
IEEE
15 years 5 months ago
2005
IEEE
Recently, we have proposed a novel approach to generating augmented video streams. The output images are a non-photorealistic reproduction of the augmented environment. Special st...
MSS
2005
IEEE
15 years 5 months ago
2005
IEEE
We present an architecture of a trust framework that can be utilized to intelligently tradeoff between security and performance in a SAN file system. The primary idea is to diffe...
MSS
2005
IEEE
15 years 5 months ago
2005
IEEE
We present HSAN - a hybrid storage area network, which uses both in-band (like NFS [13]) and out-of-band virtualization (like SAN FS [10]) access models. HSAN uses hybrid servers ...
TPHOL
2005
IEEE
15 years 5 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
ASPDAC
2004
ACM
15 years 5 months ago
2004
ACM
—This paper focuses on SIMD processor synthesis and proposes a SIMD instruction set/functional unit synthesis algorithm. Given an initial assembly code and a timing constraint, t...