Sciweavers

21437 search results - page 419 / 4288
» Hardware
Sort
View
PACS
2004
Springer
102views Hardware» more  PACS 2004»
16 years 7 days ago
Bit-Sliced Datapath for Energy-Efficient High Performance Microprocessors
Sumeet Kumar, Prateek Pujara, Aneesh Aggarwal
ACSD
2003
IEEE
116views Hardware» more  ACSD 2003»
16 years 5 days ago
CAST - A Task-Level Concurrency Analysis Tool
Sander Stuijk, Twan Basten, Jan Ypma
ACSD
2003
IEEE
84views Hardware» more  ACSD 2003»
16 years 5 days ago
Merging State-Based and Action-Based Verification
Henri Hansen, Heikki Virtanen, Antti Valmari
ASYNC
2003
IEEE
93views Hardware» more  ASYNC 2003»
16 years 5 days ago
On the Existence of Hazard-Free Multi-Level Logic
Steven M. Nowick, Charles W. O'Donnell