84 search results - page 9 / 17 » Consistency Analysis in Bloom: a CALM and Collected Approach |
POPL
2006
ACM
14 years 8 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
DGO
2010
13 years 9 months ago
2010
We address the problem of publishing parliamentary proceedings in a digital sustainable manner. We give an extensive requirements analysis, and based on that propose a uniform XML...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper studies connectivity maintenance of robotic networks that communicate at discrete times and move in continuous space. We propose a distributed algorithm that allows ...
LWA
2004
13 years 9 months ago
2004
For the realization of this strategic roadmap project a scenario-driven approach has been used, i.e. several scenarios for possible future applications concerning KM have been deve...
LREC
2010
13 years 9 months ago
2010
The goal of our research is the development of algorithms for automatic estimation of a person's verbal intelligence based on the analysis of transcribed spoken utterances. I...