Sciweavers

6224 search results - page 292 / 1245
» Recent Advances in Networking
Sort
View
ICSE
2007
IEEE-ACM
16 years 5 months ago
Predicting Faults from Cached History
We analyze the version history of 7 software systems to predict the most fault prone entities and files. The basic assumption is that faults do not occur in isolation, but rather ...
Sunghun Kim, Thomas Zimmermann, E. James Whitehead...
ICCAD
2004
IEEE
100views Hardware» more  ICCAD 2004»
16 years 2 months ago
DynamoSim: a trace-based dynamically compiled instruction set simulator
Instruction set simulators are indispensable tools for the architectural exploration and verification of embedded systems. Different techniques have recently been proposed to spe...
Massimo Poncino, Jianwen Zhu
ICCAD
2002
IEEE
146views Hardware» more  ICCAD 2002»
16 years 2 months ago
Conflict driven learning in a quantified Boolean Satisfiability solver
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
Lintao Zhang, Sharad Malik
145
Voted
CVPR
2010
IEEE
16 years 1 months ago
Covering Trees and Lower-bounds on Quadratic Assignment
Many computer vision problems involving feature correspondence among images can be formulated as an assignment problem with a quadratic cost function. Such problems are computatio...
Julian Yarkony, Charless Fowlkes, Alex Ihler
PERVASIVE
2010
Springer
16 years 11 days ago
No-Look Notes: Accessible Eyes-Free Multi-touch Text Entry
Mobile devices with multi-touch capabilities are becoming increasingly common, largely due to the success of the Apple iPhone and iPod Touch. While there have been some advances in...
Matthew N. Bonner, Jeremy T. Brudvik, Gregory D. A...