Sciweavers

1194 search results - page 189 / 239
» Virtualization of Hardware - Introduction and Survey
Sort
View
PAMI
2010
158views more  PAMI 2010»
14 years 10 months ago
A Self-Calibrating Method for Photogeometric Acquisition of 3D Objects
— We present a self-calibrating photogeometric method using only off-the-shelf hardware that enables quickly and robustly obtaining multi-million point-sampled and colored models...
Daniel G. Aliaga, Yi Xu
TC
2010
14 years 10 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi
IJISEC
2011
71views more  IJISEC 2011»
14 years 3 months ago
Principles of remote attestation
Remote attestation is the activity of making a claim about properties of a target by supplying evidence to an appraiser over a network. We identify five central principles to guid...
George Coker, Joshua D. Guttman, Peter Loscocco, A...
VEE
2009
ACM
146views Virtualization» more  VEE 2009»
15 years 6 months ago
Demystifying magic: high-level low-level programming
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
Daniel Frampton, Stephen M. Blackburn, Perry Cheng...
ASPDAC
2006
ACM
157views Hardware» more  ASPDAC 2006»
15 years 5 months ago
Delay modeling and static timing analysis for MTCMOS circuits
- One of the critical issues in MTCMOS design is how to estimate a circuit delay quickly. In this paper, we propose a delay modeling and static timing analysis (STA) methodology ta...
Naoaki Ohkubo, Kimiyoshi Usami