2638 search results - page 62 / 528 » A Framework for Automatic Debugging |
110
click to vote
CSMR
2008
IEEE
15 years 8 months ago
2008
IEEE
To understand the evolution of software researchers have developed a plethora of tools to parse, model, and analyze the history of systems. Despite their usefulness, a common down...
PLDI
1996
ACM
15 years 5 months ago
1996
ACM
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...
106
click to vote
IADIS
2003
15 years 2 months ago
2003
The purpose of MARIAN is to investigate the degree of suitability for mobile agent technology in routing, topology discovery, and automatic network reconfiguration in ad-hoc wirel...
130
click to vote
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
ICIP
2010
IEEE
14 years 11 months ago
2010
IEEE
We propose a flexible framework for producing highly personalized basketball video summaries, by intergrating contextural information, narrative user preferences on story pattern,...