8009 search results - page 402 / 1602 » cans 2005 |
164
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...
160
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
Recent work on Differential Power Analysis shows that even mathematically-secure cryptographic protocols may be vulnerable at the physical implementation level. By measuring energ...
160
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
A class of discrete event synthesis problems can be reduced to solving language equations F • X ⊆ S, where F is the fixed component and S the specification. Sequential synthes...
179
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
138
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
A method to generate test patterns referred to as defect aware test patterns is proposed. Defect aware test patterns have greater ability to detect un-modeled defects. The propose...