Sciweavers

452 search results - page 5 / 91
» date 2010
Sort
View
DATE
2010
IEEE
121views Hardware» more  DATE 2010»
14 years 2 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»
14 years 2 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»
14 years 2 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»
14 years 2 months ago
Energy-efficient variable-flow liquid cooling in 3D stacked architectures
Ayse Kivilcim Coskun, David Atienza, Tajana Simuni...