Sciweavers

19003 search results - page 3538 / 3801
» We Need Assurance!
Sort
View
SIGMOD
1999
ACM
108views Database» more  SIGMOD 1999»
15 years 10 months ago
DynaMat: A Dynamic View Management System for Data Warehouses
Pre-computation and materialization of views with aggregate functions is a common technique in Data Warehouses. Due to the complex structure of the warehouse and the different pro...
Yannis Kotidis, Nick Roussopoulos
HPDC
1999
IEEE
15 years 10 months ago
The Cactus Computational Toolkit and using Distributed Computing to Collide Neutron Stars
We are developing a system for collaborative research and development for a distributed group of researchers at different institutions around the world. In a new paradigm for coll...
Gabrielle Allen, Tom Goodale, Joan Massó, E...
ICCV
1999
IEEE
15 years 10 months ago
Robust Estimation of Curvature Information from Noisy 3D Data for Shape Description
We describe an effective and novel approach to infer sign and direction of principal curvatures at each input site from noisy 3D data. Unlike most previous approaches, no local su...
Chi-Keung Tang, Gérard G. Medioni
ISCA
1999
IEEE
104views Hardware» more  ISCA 1999»
15 years 10 months ago
Is SC + ILP=RC?
Sequential consistency (SC) is the simplest programming interface for shared-memory systems but imposes program order among all memory operations, possibly precluding high perform...
Chris Gniady, Babak Falsafi, T. N. Vijaykumar
SRDS
1999
IEEE
15 years 10 months ago
Formal Hazard Analysis of Hybrid Systems in cTLA
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
Peter Herrmann, Heiko Krumm
« Prev « First page 3538 / 3801 Last » Next »