2132 search results - page 194 / 427 » Automated software winnowing |
126
Voted
IUI
1997
ACM
15 years 8 months ago
1997
ACM
This paper describes ActionStreams, a system for inducing task models from observations of user activity. The model can represent several task structures: hierarchy, variable sequ...
142
click to vote
AOSE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation ...
143
click to vote
APAQS
2001
IEEE
15 years 7 months ago
2001
IEEE
Infinite looping is a common type of program error. This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on p...
143
click to vote
ISSS
1995
IEEE
15 years 7 months ago
1995
IEEE
Automation of the Hardware/Software Codesign methodology brings with it the need to develop sophisticated high-level profiling tools. This paper presents a profiling tool which us...
115
click to vote
WSC
1997
15 years 5 months ago
1997
This paper describes a general framework for the modeling, design, simulation, and prototyping of large scale systems. The framework uses a coherent set of tools that model the sy...