Sciweavers

2040 search results - page 197 / 408
» On the Complexity of Error Explanation
Sort
View
CHI
2001
ACM
16 years 4 months ago
Accuracy measures for evaluating computer pointing devices
In view of the difficulties in evaluating computer pointing devices across different tasks within dynamic and complex systems, new performance measures are needed. This paper prop...
I. Scott MacKenzie, Tatu Kauppinen, Miika Silfverb...
136
Voted
RECOMB
2003
Springer
16 years 4 months ago
Finding recurrent sources in sequences
Many genomic sequences and, more generally, (multivariate) time series display tremendous variability. However, often it is reasonable to assume that the sequence is actually gene...
Aristides Gionis, Heikki Mannila
ICSE
2007
IEEE-ACM
16 years 4 months ago
Parallel Randomized State-Space Search
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Per...
120
Voted
ICCD
2006
IEEE
185views Hardware» more  ICCD 2006»
16 years 1 months ago
An accurate Energy estimation framework for VLIW Processor Cores
— In this paper, we present a comprehensive energy estimation framework for software executing on Very Long Instruction Word (VLIW) processor cores. The proposed energy model is ...
Sourav Roy, Rajat Bhatia, Ashish Mathur
ICCAD
2007
IEEE
99views Hardware» more  ICCAD 2007»
16 years 1 months ago
Automating post-silicon debugging and repair
Modern IC designs have reached unparalleled levels of complexity, resulting in more and more bugs discovered after design tape-out However, so far only very few EDA tools for post...
Kai-Hui Chang, Igor L. Markov, Valeria Bertacco