Sciweavers

6709 search results - page 420 / 1342
» Performance Modelling of the Computational Hardware: A Stati...
Sort
View
170
Voted
ICCAD
2001
IEEE
256views Hardware» more  ICCAD 2001»
16 years 3 months ago
An Analytical High-Level Battery Model for Use in Energy Management of Portable Electronic Systems
Once the battery becomes fully discharged, a battery-powered portable electronic system goes off-line. Therefore, it is important to take the battery behavior into account. A syst...
Daler N. Rakhmatov, Sarma B. K. Vrudhula
ICCAD
2007
IEEE
130views Hardware» more  ICCAD 2007»
16 years 3 months ago
Modeling, optimization and control of rotary traveling-wave oscillator
Abstract— Rotary traveling-wave oscillator (RTWO) is a recently proposed transmission-line approach for multi-gigahertz rate clock generation. RTWO has the characteristics of bot...
Cheng Zhuo, Huafeng Zhang, Rupak Samanta, Jiang Hu...
ICCAD
2006
IEEE
133views Hardware» more  ICCAD 2006»
16 years 3 months ago
Stable and compact inductance modeling of 3-D interconnect structures
Recent successful techniques for the efficient simulation of largescale interconnect models rely on the sparsification of the inverse of the inductance matrix L. While there are...
Hong Li, Venkataramanan Balakrishnan, Cheng-Kok Ko...
ICPR
2010
IEEE
16 years 13 days ago
Symbol Recognition Combining Vectorial and Pixel-Level Features for Line Drawings
—In this paper, we present an approach for symbol representation and recognition in line drawings, integrating both the vector-based structural description and pixel-level statis...
Feng Su, Tong Lu
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 11 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi