Sciweavers

1404 search results - page 56 / 281
» Increasing Concurrency in Databases Using Program Analysis
Sort
View
99
Voted
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
15 years 6 months ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick
EMSOFT
2009
Springer
15 years 7 months ago
Compositional deadlock detection for rendezvous communication
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...
Baolin Shao, Nalini Vasudevan, Stephen A. Edwards
102
Voted
SIGMOD
1989
ACM
94views Database» more  SIGMOD 1989»
15 years 4 months ago
Redundancy in Spatial Databases
Spatial objects other than points and boxes can be stored in spatial indexes, but the techniques usually require the use of approximations that can be arbitrarily bad. This leads ...
Jack A. Orenstein
201
Voted
ASPLOS
2009
ACM
16 years 1 months ago
Dynamic prediction of collection yield for managed runtimes
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...
Michal Wegiel, Chandra Krintz
110
Voted
DEXAW
2004
IEEE
132views Database» more  DEXAW 2004»
15 years 4 months ago
Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...
Samir Jafar, Sébastien Varrette, Jean-Louis...