Sciweavers

DATE
2010
IEEE
163views Hardware» more  DATE 2010»
13 years 10 months ago
A methodology for the characterization of process variation in NoC links
—Associated with the ever growing integration scales is the increase in process variability. In the context of networkon-chip, this variability affects the maximum frequency that...
Carles Hernandez, Federico Silla, José Duat...
DATE
2010
IEEE
144views Hardware» more  DATE 2010»
13 years 10 months ago
A robust ADC code hit counting technique
—This paper presents a robust, low-cost ADC code hit counting technique to record the number of times each ADC output code word appears with respect to the ramp input. Using a sm...
Jiun-Lang Huang, Kuo-Yu Chou, Ming-Huan Lu, Xuan-L...
DATE
2010
IEEE
173views Hardware» more  DATE 2010»
13 years 10 months ago
Robust design of embedded systems
—This paper presents a methodology to evaluate and optimize the robustness of an embedded system in terms of invariability in case of design revisions. Early decisions in embedde...
Martin Lukasiewycz, Michael Glaß, Jürge...
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
13 years 10 months ago
HORUS - high-dimensional Model Order Reduction via low moment-matching upgraded sampling
— This paper describes a Model Order Reduction algorithm for multi-dimensional parameterized systems, based on a sampling procedure which incorporates a low order moment matching...
Jorge Fernandez Villena, Luis Miguel Silveira
DATE
2010
IEEE
204views Hardware» more  DATE 2010»
13 years 10 months ago
Assertion-based verification of RTOS properties
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
Marcio F. S. Oliveira, Henning Zabel, Wolfgang M&u...
DATE
2010
IEEE
149views Hardware» more  DATE 2010»
13 years 10 months ago
DynAHeal: Dynamic energy efficient task assignment for wireless healthcare systems
—Energy consumption is a critical parameter in wireless healthcare systems which consist of battery operated devices such as sensors and local aggregators. The system battery lif...
Priti Aghera, Dilip Krishnaswamy, Diana Fang, Ayse...
DATE
2010
IEEE
104views Hardware» more  DATE 2010»
13 years 10 months ago
Large-scale Boolean matching
— We propose a methodology for Boolean matching under permutations of inputs and outputs (PP-equivalence checking problem) — a key step in incremental logic design that identif...
Hadi Katebi, Igor L. Markov
DATE
2010
IEEE
131views Hardware» more  DATE 2010»
13 years 10 months ago
Energy-performance design space exploration in SMT architectures exploiting selective load value predictions
—This paper presents a design space exploration of a selective load value prediction scheme suitable for energyaware Simultaneous Multi-Threaded (SMT) architectures. A load value...
Arpad Gellert, Gianluca Palermo, Vittorio Zaccaria...
DATE
2010
IEEE
156views Hardware» more  DATE 2010»
13 years 10 months ago
Non-intrusive virtualization management using libvirt
—The success of server virtualization has let to the deployment of a huge number of virtual machines in today’s data centers, making a manual virtualization management very lab...
Matthias Bolte, Michael Sievers, Georg Birkenheuer...
DATE
2010
IEEE
162views Hardware» more  DATE 2010»
13 years 10 months ago
Error resilience of intra-die and inter-die communication with 3D spidergon STNoC
: Scaling down in very deep submicron (VDSM) technologies increases the delay, power consumption of on-chip interconnects, while the reliability and yield decrease. In high perform...
Vladimir Pasca, Lorena Anghel, Claudia Rusu, Ricca...