Sciweavers

2638 search results - page 57 / 528
» A Framework for Automatic Debugging
Sort
View
WWW
2007
ACM
16 years 2 months ago
A fault model and mutation testing of access control policies
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking...
Evan Martin, Tao Xie
ASPLOS
2012
ACM
13 years 9 months ago
Comprehensive kernel instrumentation via dynamic binary translation
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
Peter Feiner, Angela Demke Brown, Ashvin Goel
SPIESR
2003
136views Database» more  SPIESR 2003»
15 years 2 months ago
Automatic Soccer Video Analysis and Summarization
Abstract—We propose a fully automatic and computationally efficient framework for analysis and summarization of soccer videos using cinematic and object-based features. The propo...
Ahmet Ekin, A. Murat Tekalp
ICCS
2009
Springer
15 years 8 months ago
Automated Provenance Collection for CCA Component Assemblies
The problem of capturing provenance for computational tasks has recently received significant attention, due to the new set of beneficial uses (for optimization, debugging, etc.)...
Kostadin Damevski, Hui Chen
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
15 years 8 months ago
On Automated Trigger Event Generation in Post-Silicon Validation
When searching for functional bugs in silicon, debug data is acquired after a trigger event occurs. A trigger event can be configured at run-time using a set of control registers...
Ho Fai Ko, Nicola Nicolici