987 search results - page 128 / 198 » Implementing an untrusted operating system on trusted hardwa... |
CCS
2010
ACM
13 years 9 months ago
2010
ACM
Elections in India are conducted almost exclusively using electronic voting machines developed over the past two decades by a pair of government-owned companies. These devices, kn...
PPAM
2005
Springer
14 years 2 months ago
2005
Springer
The ARTiS system, a real-time extension of the GNU/Linux scheduler dedicated to SMP (Symmetric Multi-Processors) systems is proposed. ARTiS exploits the SMP architecture to guarant...
ICCAD
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
DATE
2000
IEEE
14 years 1 months ago
2000
IEEE
Very low bit error rate has become an important constraint in high performance communication systems that operate at very low signal to noise ratios: due to their impressive codin...
ISCAS
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper introduces a novel low-power digital future, are expected to run at frequencies beyond 10 MHz. In controller for high frequency dc-dc switch-mode power supplies addition...