Jurisdictions across the globe are implementing CO2 emissions reduction policies. These policies typically ignore most locational issues, probably because the consequences of gree...
— 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,...
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...
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...
—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...