619 search results - page 60 / 124 » Visualization of Concurrent Program Executions |
175
click to vote
ASPLOS
2009
ACM
16 years 14 days ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...
113
click to vote
SIGOPS
2008
14 years 11 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
IADIS
2003
15 years 1 months ago
2003
A visual simulator has been developed as an example of Web-based education tool, which is designed for students to understand graphically internal behavior and structure of comput...
113
click to vote
HIPEAC
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Stream programming is a promising way to expose concurrency to the compiler. A stream program is built from kernels that communicate only via point-to-point streams. The ...
PCI
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we present the rationale and the baseline of a notation which can be used on its own or as an extension to standard UML to facilitate specification of an interactive...