2005 International Conference on Computer Design
Latest Publications

TOTAL DOCUMENTS

119
(FIVE YEARS 0)

H-INDEX

15
(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769524516
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal verification of parametric multiplicative division implementations

2006 ◽  
Author(s):  
N. Kikkeri ◽  
P.M. Seidel
Keyword(s):  
Formal Verification

Are today's verification tools able to handle current design challenges?

2006 ◽  
Author(s):  
R. Goering ◽  
R. Fans ◽  
K. Larsen ◽  
H. Foster ◽  
S. Swwan
Keyword(s):  
Current Design ◽  
Verification Tools ◽  
Design Challenges

scholarly journals Architectural-level fault tolerant computation in nanoelectronic processors

2006 ◽  
Author(s):  
W. Rao ◽  
A. Orailoglu ◽  
R. Karri
Keyword(s):  
Fault Tolerant

scholarly journals Memory bank predictors

2006 ◽  
Author(s):  
S. Bieschewski ◽  
J.M. Parcerisa ◽  
A. Gonzalez
Keyword(s):  
Memory Bank

Energy-efficient color approximation for digital LCD interfaces

2006 ◽  
Author(s):  
A. Nourrachmat ◽  
S. Salerno ◽  
E. Macii ◽  
M. Poncino
Keyword(s):  
Energy Efficient

scholarly journals Challenges in the formal verification of complete state-of-the-art processors

2006 ◽  
Author(s):  
N. Ayewah ◽  
N. Kikkeri ◽  
P.M. Seidel ◽  
S. Beyer
Keyword(s):  
Formal Verification ◽  
State Of The Art ◽  
Complete State

Applying resource sharing algorithms to ADL-driven automatic ASIP implementation

2006 ◽  
Author(s):  
E.M. Witte ◽  
A. Chattopadhyay ◽  
O. Schliebusch ◽  
D. Kammler ◽  
R. Leupers ◽  
...  
Keyword(s):  
Resource Sharing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document