3108 search results - page 354 / 622 » The Elements of Computer Credibility |
151
click to vote
DSN
2006
IEEE
16 years 20 days ago
2006
IEEE
One of the main reasons for the difficulty of hardware verification is that hardware platforms are typically nondeterministic at clock-cycle granularity. Uninitialized state ele...
158
click to vote
GLOBECOM
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract— For many evolving application scenarios like ubiquitous and autonomic computing systems, trustworthy computing solutions are essential. However the fact that the autono...
195
click to vote
ICPPW
2006
IEEE
16 years 19 days ago
2006
IEEE
Embedded computing architectures can be designed to meet a variety of application specific requirements. However, optimized hardware can require compiler support to realize the po...
151
click to vote
ACMDIS
2006
ACM
16 years 18 days ago
2006
ACM
The History Tablecloth is a flexible substrate screen-printed with electroluminescent material forming a grid of lace-like elements. When objects are left on the table, cells bene...
149
click to vote
VISUALIZATION
2005
IEEE
16 years 5 days ago
2005
IEEE
We present a new particle tracing approach for the simulation of mid- and high-frequency sound. Inspired by the photorealism obtained by methods like photon mapping, we develop a ...