2488 search results - page 362 / 498 » An improvement in formal verification |
155
click to vote
ISARCS
2010
15 years 3 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
114
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
The ability to account for the growing impacts of multiple process variations in modern technologies is becoming an integral part of nanometer VLSI design. Under the context of ti...
113
click to vote
CHI
2009
ACM
16 years 2 months ago
2009
ACM
Although existing work has explored both information extraction and community content creation, most research has focused on them in isolation. In contrast, we see the greatest le...
140
click to vote
ICCAD
2001
IEEE
15 years 10 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
107
click to vote
CHI
2010
ACM
15 years 8 months ago
2010
ACM
In 1992, Tani et al. proposed remotely operating machines in a factory by manipulating a live video image on a computer screen. In this paper we revisit this metaphor and investig...