Sciweavers

165 search results - page 9 / 33
» Visualization and analysis of phased behavior in Java progra...
Sort
View
EMSOFT
2011
Springer
13 years 9 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
90
Voted
APLAS
2001
ACM
15 years 1 months ago
Estimating Exception-Induced Control Flow for Java
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
Byeong-Mo Chang, Jang-Wu Jo
APVIS
2010
14 years 11 months ago
CycleStack: Inferring periodic behavior via temporal sequence visualization in ultrasound video
A range of well-known treatment methods for destroying tumor and similar harmful growth in human body utilizes the coherence between the inherently periodic movement of the affect...
Teng-Yok Lee, Abon Chaudhuri, Fatih Porikli, Han-W...
POPL
2008
ACM
15 years 10 months ago
Automatic inference of stationary fields: a generalization of java's final fields
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...
Christopher Unkel, Monica S. Lam
NORDICHI
2004
ACM
15 years 3 months ago
Visual attention tracking during program debugging
This paper reports on a study which compared two tools for tracking the focus of visual attention - a remote eye tracker and the Restricted Focus Viewer (RFV). The RFV tool blurs ...
Roman Bednarik, Markku Tukiainen