1448 search results - page 33 / 290 » Visualizing Program Slices |
101
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
122
click to vote
IV
2010
IEEE
15 years 28 days ago
2010
IEEE
We propose an interactive framework for the 3D visualization of the time-series of Web graphs. The purpose of our framework is to enable users to examine the evolution of Web grap...
143
click to vote
SCP
2010
14 years 9 months ago
2010
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
116
Voted
VIIP
2001
15 years 3 months ago
2001
This project addresses the issue of developing interactive rendering methods for datasets which cannot be stored on a single hard drive or in main memory anymore. Our dataset is a...
140
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper describes a Bayesian algorithm for rigid/non-rigid 2D visual object tracking based on sparse image features. The algorithm is inspired by the way human visual cortex se...