Sciweavers

2038 search results - page 127 / 408
» Loops under Strategies
Sort
View
ICSE
2010
IEEE-ACM
15 years 9 months ago
Adaptive bug isolation
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...
Piramanayagam Arumuga Nainar, Ben Liblit
ICCD
2003
IEEE
177views Hardware» more  ICCD 2003»
16 years 1 months ago
SAT-Based Algorithms for Logic Minimization
This paper introduces a new method for two-level logic minimization. Unlike previous approaches, the new method uses a SAT solver as an underlying engine. While the overall minimi...
Samir Sapra, Michael Theobald, Edmund M. Clarke
BIBE
2007
IEEE
113views Bioinformatics» more  BIBE 2007»
15 years 10 months ago
Quantitative and Probabilistic Modeling in Pathway Logic
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
Alessandro Abate, Yu Bai, Nathalie Sznajder, Carol...
ICNSC
2007
IEEE
15 years 10 months ago
Optimization and Control of a Pendulum-driven Cart-pole System
— This paper investigates the motion generation for a pendulum-driven cart-pole system. The dynamic model of this system is developed by using the Newton’s Law. A sixstep motio...
Yang Liu, Hongnian Yu, Brian Burrows
90
Voted
DATE
2006
IEEE
117views Hardware» more  DATE 2006»
15 years 10 months ago
Activity clustering for leakage management in SPMs
This paper we proposes compiler-based leakage optimization strategy for on-chip scratch-pad memories (SPMs). The idea is to keep only a small set of SPM regions active at a given ...
Mahmut T. Kandemir, Guangyu Chen, Feihui Li, Mary ...