Sciweavers

340 search results - page 50 / 68
» On second order operators and quadratic operators
Sort
View
ICCAD
1995
IEEE
88views Hardware» more  ICCAD 1995»
13 years 11 months ago
Estimation and bounding of energy consumption in burst-mode control circuits
This paper describes two techniques to quantify energy consumption of burst-modeasynchronous(clock-less)controlcircuits. The circuit specifications consideredare extended burst-m...
Peter A. Beerel, Kenneth Y. Yun, Steven M. Nowick,...
ICCAD
1995
IEEE
84views Hardware» more  ICCAD 1995»
13 years 11 months ago
Statistical behavioral modeling and characterization of A/D converters
This paper presents a method to characterize Nyquist rate A/D converters based on the use of a first order statistical behavioral model. The proposed model is derived from a very...
Eduardo J. Peralías, Adoración Rueda...
ISLPED
1995
ACM
112views Hardware» more  ISLPED 1995»
13 years 11 months ago
Ultra-low-power analog associative memory core using flash-EEPROM-based programmable capacitors
Analog techniques can lead to ultra-efficient computational systems when applied to the right applications. The problem of associative memory is well suited to array-based analog ...
Alan Kramer, Roberto Canegallo, Mauro Chinosi, D. ...
AICCSA
2005
IEEE
113views Hardware» more  AICCSA 2005»
13 years 9 months ago
Towards autonomic Web services
Autonomic Computing was introduced to reduce the complexity of managing computing systems; however, the heterogeneous nature existing in most computing systems introduces some dif...
Amir Zeid, Sherif A. Gurguis
CONCUR
2006
Springer
13 years 9 months ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink