3130 search results - page 324 / 626 » Design Correctness of Digital Systems |
228
click to vote
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
299
Voted
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Data integration systems offer a uniform interface to a set of data sources. Despite recent progress, setting up and maintaining a data integration application still requires sign...
175
click to vote
SENSYS
2006
ACM
16 years 21 days ago
2006
ACM
Recent gains in energy-efficiency of new-generation NAND flash storage have strengthened the case for in-network storage by data-centric sensor network applications. This paper ...
216
click to vote
EMSOFT
2004
Springer
16 years 3 days ago
2004
Springer
In current embedded systems, one of the major concerns is energy conservation. The dynamic voltage-scheduling (DVS) framework, which involves dynamically adjusting the voltage and...
166
click to vote
TASLP
2008
15 years 6 months ago
2008
The usage patterns of speech and visual input modes are investigated as a function of relative input mode efficiency for both desktop and personal digital assistant (PDA) working ...