1724 search results - page 278 / 345 » Concurrency in the Data Warehouse |
272
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...
302
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
180
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Structured P2P systems have been developed for constructing applications at internet scale in cooperative environments and exhibit a number of desirable features such as scalabili...
181
click to vote
OOPSLA
2009
Springer
16 years 22 days ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
138
click to vote
ISCA
2008
IEEE
16 years 18 days ago
2008
IEEE
A high-concurrency transactional memory (TM) implementation needs to track concurrent accesses, buffer speculative updates, and manage conflicts. We present a system, FlexTM (FLE...