Sciweavers

1594 search results - page 176 / 319
» Visualizing Program Executions on Large Data Sets
Sort
View
ICSE
2004
IEEE-ACM
16 years 3 months ago
Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams
Dynamic slicing algorithms can greatly reduce the debugging effort by focusing the attention of the user on a relevant subset of program statements. Recently algorithms for forwar...
Xiangyu Zhang, Rajiv Gupta, Youtao Zhang
150
Voted
AGP
2003
IEEE
15 years 8 months ago
Local Closed-World Assumptions for reasoning about Semantic Web data
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
Elisa Bertino, Alessandro Provetti, Franco Salvett...
142
Voted
ISPAN
1997
IEEE
15 years 7 months ago
A Parallel Pipelined Renderer for Time-Varying Volume Data
This paper presents a strategy for efficiently rendering time-varying volume data on a distributed-memory parallel computer. Visualizing time-varying volume data take both large s...
Tzi-cker Chiueh, Kwan-Liu Ma
114
Voted
LREC
2010
152views Education» more  LREC 2010»
15 years 5 months ago
A Software Toolkit for Viewing Annotated Multimodal Data Interactively over the Web
This paper describes a software toolkit for the interactive display and analysis of automatically extracted or manually derived annotation features of visual and audio data. It ha...
Nick Campbell, Akiko Tabata
110
Voted
FMCAD
1998
Springer
15 years 7 months ago
Symbolic Simulation: An ACL2 Approach
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
J. Strother Moore