Sciweavers

21437 search results - page 411 / 4288
» Hardware
Sort
View
140
Voted
DATE
2005
IEEE
130views Hardware» more  DATE 2005»
16 years 15 days ago
Design for Verification of SystemC Transaction Level Models
Ali Habibi, Sofiène Tahar
82
Voted
DATE
2005
IEEE
99views Hardware» more  DATE 2005»
16 years 15 days ago
Symmetric Multiprocessing on Programmable Chips Made Easy
Austin Hung, William D. Bishop, Andrew A. Kennings
DATE
2005
IEEE
98views Hardware» more  DATE 2005»
16 years 15 days ago
Space-Efficient Bounded Model Checking
Jacob Katz, Ziyad Hanna, Nachum Dershowitz
122
Voted
DATE
2005
IEEE
84views Hardware» more  DATE 2005»
16 years 15 days ago
Tag Overflow Buffering: An Energy-Efficient Cache Architecture
Mirko Loghi, Paolo Azzoni, Massimo Poncino
DATE
2005
IEEE
115views Hardware» more  DATE 2005»
16 years 15 days ago
A New Embedded Measurement Structure for eDRAM Capacitor
Laurent Lopez, Jean Michel Portal, Didier Né...