Sciweavers

4469 search results - page 464 / 894
» Dynamic Program Slicing
Sort
View
ASE
2011
14 years 10 months ago
Alattin: mining alternative patterns for defect detection
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...
Suresh Thummalapenta, Tao Xie
HPCA
2005
IEEE
16 years 7 months ago
Transition Phase Classification and Prediction
Most programs are repetitive, where similar behavior can be seen at different execution times. Proposed on-line systems automatically group these similar intervals of execution in...
Jeremy Lau, Stefan Schoenmackers, Brad Calder
FMCO
2007
Springer
103views Formal Methods» more  FMCO 2007»
16 years 1 months ago
Safety Guarantees from Explicit Resource Management
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
David Aspinall, Patrick Maier, Ian Stark
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
16 years 1 months ago
High Accuracy Navigation in Unknown Environment Using Adaptive Control
Aiming to reduce cycle time and improving the accuracy on tracking, a modified adaptive control was developed, which adapts autonomously to changing dynamic parameters. The platfor...
Fernando Ribeiro, Ivo Moutinho, Nino Pereira, Fern...
CGO
2006
IEEE
16 years 1 months ago
Constructing Virtual Architectures on a Tiled Processor
As the amount of available silicon resources on one chip increases, we have seen the advent of ever increasing parallel resources integrated on-chip. Many architectures use these ...
David Wentzlaff, Anant Agarwal