219 search results - page 38 / 44 » Dynamic partial-order reduction for model checking software |
121
click to vote
QEST
2009
IEEE
15 years 6 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
103
click to vote
SAC
2005
ACM
15 years 5 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
ICSE
2008
IEEE-ACM
16 years 13 days ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
115
click to vote
WCRE
2003
IEEE
15 years 4 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
117
click to vote
HIPEAC
2005
Springer
15 years 5 months ago
2005
Springer
This paper shows that Appel-style garbage collectors often make suboptimal decisions both in terms of when and how to collect. We argue that garbage collection should be done when ...