3224 search results - page 201 / 645 » Abstract Error Projection |
198
click to vote
HPCC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Tracing parallel programs to observe their performance introduces intrusion as the result of trace measurement overhead. If post-mortem trace analysis does not compensate...
204
click to vote
LCPC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
153
click to vote
AH
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The virtual laboratory (VILAB) supports interactive problem solving in computer science with access to complex software-tools. During the problem solving processes the le...
166
Voted
ICFEM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
183
click to vote
KBSE
2003
IEEE
16 years 3 days ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...