Sciweavers

619 search results - page 52 / 124
» Visualization of Concurrent Program Executions
Sort
View
HOPL
2007
15 years 8 months ago
Statecharts in the making: a personal account
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...
David Harel
JAVA
1999
Springer
15 years 8 months ago
Dynamic Denotational Semantics of Java
This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrenc...
Jim Alves-Foss, Fong Shing Lam
120
Voted
CAV
2009
Springer
116views Hardware» more  CAV 2009»
16 years 5 months ago
Meta-analysis for Atomicity Violations under Nested Locking
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
Azadeh Farzan, P. Madhusudan, Francesco Sorrentino
126
Voted
INFOCOM
2006
IEEE
15 years 10 months ago
Holographic and 3D Teleconferencing and Visualization: Implications for Terabit Networked Applications
— We discuss the evolution of teleconferencing and networked visualization applications to support 3-dimensional display technologies. The implications of a continuation of Moore...
Ladan Gharai, Colin Perkins
IPPS
1999
IEEE
15 years 9 months ago
Visualization and Performance Prediction of Multithreaded Solaris Programs by Tracing Kernel Threads
Efficient performance tuning of parallel programs is often hard. We present a performance prediction and visualization tool called VPPB. Based on a monitored uni-processor executi...
Magnus Broberg, Lars Lundberg, Håkan Grahn