Sciweavers

501 search results - page 5 / 101
» date 2007
Sort
View
67
Voted
DATE
2007
IEEE
105views Hardware» more  DATE 2007»
15 years 9 months ago
A tiny and efficient wireless ad-hoc protocol for low-cost sensor networks
Pawel Gburzynski, Bozena Kaminska, Wladek Olesinsk...
58
Voted
DATE
2007
IEEE
119views Hardware» more  DATE 2007»
15 years 9 months ago
A smooth refinement flow for co-designing HW and SW threads
Paolo Destro, Franco Fummi, Graziano Pravadelli
68
Voted
DATE
2007
IEEE
81views Hardware» more  DATE 2007»
15 years 9 months ago
Formal verification of a pervasive interconnect bus system in a high-performance microprocessor
Thuyen Le, Tilman Glökler, Jason Baumgartner
DATE
2007
IEEE
92views Hardware» more  DATE 2007»
15 years 9 months ago
Layout-aware gate duplication and buffer insertion
David Bañeres, Jordi Cortadella, Michael Ki...
52
Voted
DATE
2007
IEEE
69views Hardware» more  DATE 2007»
15 years 9 months ago
Verification-guided soft error resilience
Sanjit A. Seshia, Wenchao Li, Subhasish Mitra