23406 search results - page 174 / 4682 » Architecture, Design, Implementation |
150
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
146
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
This work is motivated by the strong demand of reliability enhancement over flash memory. Our objective is to improve the endurance of flash memory with limited overhead and witho...
146
Voted
IJCNN
2008
IEEE
15 years 10 months ago
2008
IEEE
—The system architecture presented in this paper is designed for helping an aged person to live longer independently in their own home by detecting unusual and potentially hazard...
123
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Managing the complexity of designing chips containing billions of transistors requires decoupling computation from communication. For the communication, scalable and compositional...
136
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...