Sciweavers

3507 search results - page 405 / 702
» Slicing for architectural analysis
Sort
View
DAC
2000
ACM
16 years 8 months ago
Run-time voltage hopping for low-power real-time systems
This paper presents a novel run-time dynamic voltage scaling scheme for low-power real-time systems. It employs software feedback control of supply voltage, which is applicable to...
Seongsoo Lee, Takayasu Sakurai
DAC
2006
ACM
16 years 8 months ago
Elmore model for energy estimation in RC trees
This paper presents analysis methods for energy estimation in RC trees driven by time-varying voltage sources, e.g., buffers, timevarying power supplies, and resonant clock genera...
Quming Zhou, Kartik Mohanram
VLSID
2003
IEEE
145views VLSI» more  VLSID 2003»
16 years 7 months ago
Immediate Neighbor Difference IDDQ Test (INDIT) for Outlier Identification
Increasing values and spread in leakage current makes it impossible to distinguish between faulty and fault-free chips using single threshold method. Neighboring chips on a wafer ...
Sagar S. Sabade, D. M. H. Walker
PERCOM
2007
ACM
16 years 7 months ago
Macro Programming through Bayesian Networks: Distributed Inference and Anomaly Detection
Macro programming a distributed system, such as a sensor network, is the ability to specify application tasks at a global level while relying on compiler-like software to translat...
Marco Mamei, Radhika Nagpal
202
Voted
ICALT
2009
IEEE
16 years 2 months ago
Towards a Flexible Intelligent Tutoring System for Argumentation
Supporting students in the acquisition of argumentation skills is an important goal of educational technology. However, there has not been much work done towards developing generi...
Frank Loll, Niels Pinkwart, Oliver Scheuer, Bruce ...