7134 search results - page 1037 / 1427 » A comparative study of map use |
226
click to vote
ICSE
1999
IEEE-ACM
15 years 12 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
194
click to vote
VLDB
1998
ACM
15 years 12 months ago
1998
ACM
Many applications compute aggregate functions over an attribute (or set of attributes) to find aggregate values above some specified threshold. We call such queries iceberg querie...
205
Voted
EUROPAR
1997
Springer
15 years 12 months ago
1997
Springer
The large latency of memory accesses is a major obstacle in obtaining high processor utilization in large scale shared-memory multiprocessors. Access to remote memory is likely to ...
224
click to vote
VVS
1996
IEEE
15 years 12 months ago
1996
IEEE
A critical issue in understanding high speed flows is the study of shock waves. This paper summarizes our research on techniques for the detection and visualization of shock waves...
281
click to vote
CPE
1994
Springer
15 years 11 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...