1781 search results - page 85 / 357 » Visualizing program execution using user abstractions |
TACAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
AUIC
2004
IEEE
14 years 1 months ago
2004
IEEE
Tactile displays are now becoming available in a form that can be easily used in a user interface. This paper describes a new form of tactile output. Tactons, or tactile re struct...
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper we report on features added to a parallel debugger to simplify the debugging of message passing programs. These features include replay, setting consistent breakpoin...
ICPADS
2000
IEEE
14 years 2 months ago
2000
IEEE
Abstract: The object-oriented (OO) distributed realtime (RT) programming movement started in 1990's and is growing rapidly at this turn of the century. The motivations are rev...
RV
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Concurrent trace programs (CTPs) are slices of the concurrent programs that generate the concrete program execution traces, where inter-thread event order specific to th...