Sciweavers

537 search results - page 87 / 108
» tools 1999
Sort
View
SSDBM
1999
IEEE
135views Database» more  SSDBM 1999»
15 years 2 months ago
Query Processing in the TAMBIS Bioinformatics Source Integration System
Conducting bioinformatic analyses involves biologists in expressing requests over a range of highly heterogeneous information sources and software tools. Such activities are labor...
Norman W. Paton, Robert Stevens, Patricia G. Baker...
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 2 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
FPGA
1999
ACM
115views FPGA» more  FPGA 1999»
15 years 2 months ago
Using Cluster-Based Logic Blocks and Timing-Driven Packing to Improve FPGA Speed and Density
In this paper, we investigate the speed and area-efficiency of FPGAs employing “logic clusters” containing multiple LUTs and registers as their logic block. We introduce a ne...
Alexander Marquardt, Vaughn Betz, Jonathan Rose
VISUALIZATION
1999
IEEE
15 years 2 months ago
Skip Strips: Maintaining Triangle Strips for View-Dependent Rendering
View-dependentsimplification has emerged as a powerful tool for graphics acceleration in visualization of complex environments. However, view-dependent simplification techniques h...
Jihad El-Sana, Elvir Azanli, Amitabh Varshney
VISUALIZATION
1999
IEEE
15 years 2 months ago
Digital Design of a Surgical Simulator for Interventional Magnetic Resonance Imaging
We present the design of a simulator for a prototype interventional magnetic resonance imaging scanner. This MRI scanner is integrated with an operating theater, enabling new tech...
Terry S. Yoo, Penny Rheingans