1965 search results - page 107 / 393 » On the analysis of interacting pushdown systems |
MOMM
2009
ACM
14 years 1 months ago
2009
ACM
In this paper, we describe completed and ongoing work towards an interactive multimedia system that will appeal to today’s youth culture identified as most likely to adopt such ...
CGF
2008
13 years 9 months ago
2008
We present the Memory Trace Visualizer (MTV), a tool that provides interactive visualization and analysis of the sequence of memory operations performed by a program as it runs. A...
CL
1999
Springer
13 years 8 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
We present the results of a user study inspired by previous work in document navigation comparing rate and position control for navigating an audio timeline. Although interfaces f...
METRICS
2002
IEEE
14 years 1 months ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...