Sciweavers

1404 search results - page 109 / 281
» Increasing Concurrency in Databases Using Program Analysis
Sort
View
204
Voted
SIGMOD
2006
ACM
107views Database» more  SIGMOD 2006»
16 years 2 months ago
Relaxed space bounding for moving objects: a case for the buddy tree
Rapid advancements in positioning systems and wireless communications enable accurate tracking of continuously moving objects. This development poses new challenges to database te...
Shuqiao Guo, Zhiyong Huang, H. V. Jagadish, Beng C...
202
Voted
VLDB
2005
ACM
123views Database» more  VLDB 2005»
16 years 2 months ago
Querying XML streams
Efficient querying of XML streams will be one of the fundamental features of next-generation information systems. In this paper we propose the TurboXPath path processor, which acce...
Vanja Josifovski, Marcus Fontoura, Attila Barta
BTW
1999
Springer
145views Database» more  BTW 1999»
15 years 6 months ago
A Multi-Tier Architecture for High-Performance Data Mining
Data mining has been recognised as an essential element of decision support, which has increasingly become a focus of the database industry. Like all computationally expensive data...
Ralf Rantzau, Holger Schwarz
107
Voted
CAV
2008
Springer
130views Hardware» more  CAV 2008»
15 years 4 months ago
A Hybrid Type System for Lock-Freedom of Mobile Processes
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
Naoki Kobayashi, Davide Sangiorgi
131
Voted
ASPLOS
2006
ACM
15 years 8 months ago
AVIO: detecting atomicity violations via access interleaving invariants
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou