11112 search results - page 2128 / 2223 » Computing Stuttering Simulations |
109
click to vote
ALT
2003
Springer
16 years 5 days ago
2003
Springer
An algorithm for learning a subclass of erasing regular pattern languages is presented. On extended regular pattern languages generated by patterns π of the form x0α1x1 . . . α...
114
click to vote
ICCD
2008
IEEE
16 years 5 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...
81
Voted
ICCAD
2006
IEEE
16 years 4 days ago
2006
IEEE
Most existing buffering algorithms neglect the impact of inductance on circuit performance, which causes large error in circuit analysis and optimization. Even for the approaches...
122
click to vote
ICCAD
2004
IEEE
16 years 4 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...
126
click to vote
ICCAD
2004
IEEE
16 years 4 days ago
2004
IEEE
9, IO]. However, unlike the case with static timing, it is not so easy We show how recent advances in the handling of correlated interval representations of range uncertainty can b...