Sciweavers

1724 search results - page 119 / 345
» Concurrency in the Data Warehouse
Sort
View
IPPS
2008
IEEE
16 years 23 days ago
A deterministic multi-way rendezvous library for haskell
The advent of multicore processors requires mainstream concurrent programming languages with high level concurrency constructs and effective debugging techniques. Unfortunately, m...
Nalini Vasudevan, Satnam Singh, Stephen A. Edwards
AROBOTS
1998
104views more  AROBOTS 1998»
15 years 6 months ago
A Probabilistic Approach to Concurrent Mapping and Localization for Mobile Robots
This paper addresses the problem of building large-scale geometric maps of indoor environments with mobile robots. It poses the map building problem as a constrained, probabilistic...
Sebastian Thrun, Wolfram Burgard, Dieter Fox
SIGMOD
2010
ACM
221views Database» more  SIGMOD 2010»
15 years 11 months ago
Low overhead concurrency control for partitioned main memory databases
Database partitioning is a technique for improving the performance of distributed OLTP databases, since “single partition” transactions that access data on one partition do no...
Evan P. C. Jones, Daniel J. Abadi, Samuel Madden
IPPS
1998
IEEE
15 years 10 months ago
Managing Concurrent Access for Shared Memory Active Messages
Passing messages through shared memory plays an important role on symmetric multiprocessors and on Clumps. The management of concurrent access to message queues is an important as...
Steven Lumetta, David E. Culler
FOSAD
2009
Springer
15 years 10 months ago
Verification of Concurrent Programs with Chalice
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
K. Rustan M. Leino, Peter Müller, Jan Smans