Sciweavers

1419 search results - page 91 / 284
» Power Droop Testing
Sort
View
ICML
1990
IEEE
15 years 6 months ago
An Incremental Method for Finding Multivariate Splits for Decision Trees
Decision trees that are limited to testing a single variable at a node are potentially much larger than trees that allow testing multiple variables at a node. This limitation redu...
Paul E. Utgoff, Carla E. Brodley
160
Voted
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 10 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
LREC
2008
95views Education» more  LREC 2008»
15 years 3 months ago
Evaluating Summaries Automatically - A system Proposal
We propose in this paper an automatic evaluation procedure based on a metric which could provide summary evaluation without human assistance. Our system includes two metrics, whic...
Paulo C. F. de Oliveira, Edson Wilson Torrens, Ale...
ISLPED
2005
ACM
91views Hardware» more  ISLPED 2005»
15 years 8 months ago
LAP: a logic activity packing methodology for leakage power-tolerant FPGAs
As FPGAs enter the nanometer regime, several modifications are needed to reduce the increasing leakage power dissipation. Hence, this work presents some modifications to the FPG...
Hassan Hassan, Mohab Anis, Mohamed I. Elmasry
130
Voted
ICCAD
2003
IEEE
159views Hardware» more  ICCAD 2003»
15 years 11 months ago
Energy-Aware Fault Tolerance in Fixed-Priority Real-Time Embedded Systems
We investigate an integrated approach to fault tolerance and dynamic power management in real-time embedded systems. Fault tolerance is achieved via checkpointing and power manage...
Ying Zhang, Krishnendu Chakrabarty, Vishnu Swamina...