13618 search results - page 2605 / 2724 » The Newton Operating System |
119
Voted
ICCD
2008
IEEE
16 years 17 days ago
2008
IEEE
— Power analysis attacks are a type of side-channel attacks that exploits the power consumption of computing devices to retrieve secret information. They are very effective in br...
116
Voted
ICCD
2006
IEEE
16 years 16 days ago
2006
IEEE
— We have entered an era where chip yields are decreasing with scaling. A new concept called intelligible testing has been previously proposed with the goal of reversing this tre...
105
Voted
ICCAD
2004
IEEE
16 years 16 days ago
2004
IEEE
Abstract— High-level synthesis (HLS) of memory-intensive applications has featured several innovations in terms of enhancements made to the basic memory organization and data lay...
128
Voted
ICCAD
2004
IEEE
16 years 16 days ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
140
click to vote
ICCAD
2003
IEEE
16 years 16 days ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...