Sciweavers

2662 search results - page 361 / 533
» Tools Demonstrations
Sort
View
VISUALIZATION
2000
IEEE
15 years 10 months ago
Combining local and remote visualization techniques for interactive volume rendering in medical applications
For a comprehensive understanding of tomographic image data in medical routine, interactive and high–quality direct volume rendering is an essential prerequisite. This is provid...
Klaus Engel, Thomas Ertl, Peter Hastreiter, Bernd ...
WCRE
2000
IEEE
15 years 10 months ago
Understanding the Behavior of Java Programs
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are espe...
Tarja Systä
ASPDAC
2000
ACM
97views Hardware» more  ASPDAC 2000»
15 years 10 months ago
Symbolic debugging of globally optimized behavioral specifications
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
Inki Hong, Darko Kirovski, Miodrag Potkonjak, Mari...
DAC
2000
ACM
15 years 10 months ago
Using general-purpose programming languages for FPGA design
ct General-purpose programming languages (GPL) are effective vehicles for FPGA design because they are easy to use, extensible, widely available, and can be used to describe both t...
Brad L. Hutchings, Brent E. Nelson
SC
2000
ACM
15 years 10 months ago
Dynamic Software Testing of MPI Applications with Umpire
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
Jeffrey S. Vetter, Bronis R. de Supinski