1724 search results - page 79 / 345 » Concurrency in the Data Warehouse |
157
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
194
click to vote
PASTE
1998
ACM
15 years 9 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
160
click to vote
CF
2010
ACM
15 years 4 months ago
2010
ACM
Lock-free data objects offer several advantages over their blocking counterparts, such as being immune to deadlocks and convoying and, more importantly, being highly concurrent. H...
167
click to vote
DNIS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. As data warehousing technology gains a ubiquitous presence in business today, companies are becoming increasingly reliant upon the information contained in their data war...
148
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...