Sciweavers

452 search results - page 5 / 91
» date 2010
Sort
View
DATE
2010
IEEE
121views Hardware» more  DATE 2010»
15 years 10 months ago
Tighter integration of BDDs and SMT for Predicate Abstraction
Alessandro Cimatti, Anders Franzén, Alberto...
DATE
2010
IEEE
152views Hardware» more  DATE 2010»
15 years 10 months ago
Passive reduced order modeling of multiport interconnects via semidefinite programming
Zohaib Mahmood, Brad Bond, Tarek Moselhy, Alexandr...
DATE
2010
IEEE
157views Hardware» more  DATE 2010»
15 years 10 months ago
An 11.6-19.3mW 0.375-13.6GHz CMOS frequency synthesizer with rail-to-rail operation
Arnd Geis, Pierluigi Nuzzo, Julien Ryckaert, Yves ...
DATE
2010
IEEE
124views Hardware» more  DATE 2010»
15 years 10 months ago
Energy-efficient variable-flow liquid cooling in 3D stacked architectures
Ayse Kivilcim Coskun, David Atienza, Tajana Simuni...