Sciweavers

23 search results - page 5 / 5
» ras 2000
Sort
View
DEXAW
2000
IEEE
84views Database» more  DEXAW 2000»
13 years 9 months ago
Visualizing Multidimensional Raster Data with rView
rView is a visual frontend to the RasDaMan DBMS, providing raster data visualization functionality and a graphical user interface to the database system. RasDaMan, a commercial ar...
Andreas Dehmel, Peter Baumann
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
13 years 8 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
NAR
2000
128views more  NAR 2000»
13 years 4 months ago
The IMB Jena Image Library of Biological Macromolecules
The IMB Jena Image Library of Biological Macromolecules (http://www.imb-jena.de/IMAGE.html ) is aimed at a better dissemination of information on three-dimensional biopolymer stru...
Jan Reichert, Andreas Jabs, Peter Slickers, Jü...