Sciweavers

1196 search results - page 95 / 240
» DASCOSA: Database Support for Computational Science Applicat...
Sort
View
SPIN
2000
Springer
15 years 1 months ago
The Temporal Rover and the ATG Rover
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
Doron Drusinsky
TCOS
2010
14 years 8 months ago
Constructing Two-Dimensional Voronoi Diagrams via Divide-and-Conquer of Envelopes in Space
We present a general framework for computing two-dimensional Voronoi diagrams of different classes of sites under various distance functions. Most diagrams mentioned in the paper ...
Ophir Setter, Micha Sharir, Dan Halperin
ICDE
2007
IEEE
159views Database» more  ICDE 2007»
15 years 11 months ago
The Multi-Relational Skyline Operator
Most of the existing work on skyline query has been extensively used in decision support, recommending systems etc, and mainly focuses on the efficiency issue for a single table. ...
Wen Jin, Martin Ester, Zengjian Hu, Jiawei Han
IPPS
1999
IEEE
15 years 2 months ago
The Impact of Memory Hierarchies on Cluster Computing
Using off-the-shelf commodity workstations and PCs to build a cluster for parallel computing has become a common practice. A choice of a cost-effective cluster computing platform ...
Xing Du, Xiaodong Zhang
DIS
2006
Springer
15 years 1 months ago
Automatic Recognition of Landforms on Mars Using Terrain Segmentation and Classification
Mars probes send back to Earth enormous amount of data. Automating the analysis of this data and its interpretation represents a challenging test of significant benefit to the doma...
Tomasz F. Stepinski, Soumya Ghosh, Ricardo Vilalta