Sciweavers

2452 search results - page 71 / 491
» On Reduction of Lagrange Systems
Sort
View
HICSS
2010
IEEE
161views Biometrics» more  HICSS 2010»
16 years 18 days ago
Analysis of Marginal Carbon Intensities in Constrained Power Networks
Jurisdictions across the globe are implementing CO2 emissions reduction policies. These policies typically ignore most locational issues, probably because the consequences of gree...
Pablo A. Ruiz, Aleksandr Rudkevich
139
Voted
ISVLSI
2006
IEEE
82views VLSI» more  ISVLSI 2006»
15 years 11 months ago
Reliability-Aware SOC Voltage Islands Partition and Floorplan
— Based on the proposed reliability characterization model, reliability-bounded low-power design as a methodology to balance reliability enhancement and power reduction in chip d...
Shengqi Yang, Wayne Wolf, Narayanan Vijaykrishnan,...
ISCAS
1999
IEEE
113views Hardware» more  ISCAS 1999»
15 years 10 months ago
Energy efficient software through dynamic voltage scheduling
The energy usage of computer systems is becoming important, especially for portablebattery-operated applications and embedded systems. A significant reduction in the energy consum...
Gangadhar Konduri, James Goodman, Anantha Chandrak...
CDC
2010
IEEE
130views Control Systems» more  CDC 2010»
15 years 22 days ago
Lyapunov stability of linear predictor feedback for distributed input delays
Compensation of distributed delays in MIMO, LTI systems is achieved using Artstein's reduction method. In this technical note, we construct a Lyapunov functional for the resul...
Nikolaos Bekiaris-Liberis, Miroslav Krstic
ISMVL
2010
IEEE
188views Hardware» more  ISMVL 2010»
15 years 10 months ago
MDGs Reduction Technique Based on the HOL Theorem Prover
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
Sa'ed Abed, Otmane Aït Mohamed