2848 search results - page 462 / 570 » A Contract Based System For Large Data Visualization |
108
Voted
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
124
click to vote
VLDB
1992
ACM
15 years 6 months ago
1992
ACM
This paper evaluates the performance of the parallel, main-memory DBMS, PRISMA/DB. First, an architecture for parallel query execution is presented. A performance model for the ex...
223
Voted
GIS
2004
ACM
16 years 3 months ago
2004
ACM
Modern database applications including computer-aided design, multimedia information systems, medical imaging, molecular biology, or geographical information systems impose new re...
103
Voted
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This work is motivated by experiences in the course of developing an ontology-based application within a real-world setting. We found out that current benchmarks are not ...
120
Voted
IJVR
2008
15 years 2 months ago
2008
Real-time virtual heritage application is normally executed with a high performance computer system. This is due to the complexity and highly computational cost which makes such sy...