Sciweavers

1448 search results - page 45 / 290
» Visualizing Program Slices
Sort
View
WCRE
2002
IEEE
15 years 7 months ago
Dynamic Component Program Visualization
Dynamic program visualization, i.e. the visualization of the runtime behavior of a program as opposed to the static structure of its source code has been investigated for various ...
Ludger Martin, Anke Giesl, Johannes Martin
CSC
2007
15 years 4 months ago
Visualization a la Unix
A visualization framework can be seen as a solution to a specialized data flow problem. Spiegel1 is a visualization framework which uses the Unix pipeline model to execute program...
Hans-Peter Bischof, Tim Peterson
133
Voted
VISUALIZATION
2003
IEEE
15 years 7 months ago
Exploring Curved Anatomic Structures with Surface Sections
The extraction of planar sections from volume images is the most commonly used technique for inspecting and visualizing anatomic structures. We propose to generalize the concept o...
Laurent Saroul, Sebastian Gerlach, Roger D. Hersch
FM
2009
Springer
124views Formal Methods» more  FM 2009»
15 years 9 months ago
Reasoning about Memory Layouts
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
Holger Gast
124
Voted
ET
2010
83views more  ET 2010»
15 years 1 months ago
Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems
—Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. For the class of static affine program...
Sven Verdoolaege, Martin Palkovic, Maurice Bruynoo...