113 search results - page 17 / 23 » A material history of bits |
MOBIHOC
2009
ACM
14 years 10 months ago
2009
ACM
Providing differentiated Quality of Service (QoS) over unreliable wireless channels is an important challenge for supporting several future applications. We analyze a model that h...
NDSS
2007
IEEE
14 years 4 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
IOLTS
2005
IEEE
14 years 3 months ago
2005
IEEE
As device geometries continue to shrink, single event upsets are becoming of concern to a wider spectrum of system designers. These “soft errors” can be a nuisance or catastro...
VVS
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper describes architecture and implementation of the ULTRAVIS system, a pure software solution for versatile and fast volume rendering. It provides perspective raycasting, ...
CAV
2000
Springer
14 years 1 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...