Sciweavers

23 search results - page 5 / 5
» ras 2000
Sort
View
DEXAW
2000
IEEE
84views Database» more  DEXAW 2000»
15 years 4 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»
15 years 3 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»
14 years 11 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ü...