853 search results - page 39 / 171 » On Integrating Visualization Techniques for Effective Softwa... |
170
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
185
click to vote
CASCON
2006
15 years 7 months ago
2006
Model Driven Development is helping software developers rapidly engineer today's most sophisticated business applications. Tool support, such as the Eclipse Modeling Framewor...
157
click to vote
IUI
2010
ACM
15 years 11 months ago
2010
ACM
In this paper we examine the use of multi faceted recommendations to aid users while carrying out exploratory video retrieval tasks. These recommendations are integrated into ViGO...
162
click to vote
VISUALIZATION
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents an algorithm, UFLIC (Unsteady Flow LIC), to visualize vectordata in unsteadyflow fields. Using the Line Integral Convolution (LIC) as the underlying method, ...
170
click to vote
VISUALIZATION
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes tools and techniques for the exploration of geo-scientific data from the oil and gas domain in stereoscopic virtual environments. The two main sources of data...