Sciweavers

1963 search results - page 241 / 393
» How is aliasing used in systems software
Sort
View
SIGSOFT
2005
ACM
16 years 6 months ago
Applying classification techniques to remotely-collected program execution data
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
Murali Haran, Alan F. Karr, Alessandro Orso, Adam ...
CANDC
2005
ACM
15 years 7 months ago
The amateur creator
Important design problems are raised in developing software for amateur users, a group distinguished here from novices. The authors argue that these design problems can be approac...
Stephen Boyd Davis, Magnus Moar
RISE
2004
Springer
15 years 11 months ago
A Symbolic Model Checker for tccp Programs
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
María Alpuente, Moreno Falaschi, Alicia Vil...
VL
1992
IEEE
135views Visual Languages» more  VL 1992»
15 years 10 months ago
Tidy Animations of Tree Algorithms
In software visualization and algorithm animation it is important that advances in system technologies are accompanied by corresponding advances in animation presentations. In thi...
John T. Stasko, Carlton Reid Turner
WCRE
2008
IEEE
16 years 7 days ago
Representing and Integrating Dynamic Collaborations in IDEs
Static views of object-oriented source code as presented in a development environment (IDE) do not provide explicit representations of dynamic collaboration to describe how source...
David Röthlisberger, Orla Greevy