1724 search results - page 187 / 345 » Concurrency in the Data Warehouse |
152
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
143
click to vote
NIPS
2004
15 years 7 months ago
2004
Motivated by the particular problems involved in communicating with "locked-in" paralysed patients, we aim to develop a braincomputer interface that uses auditory stimul...
147
click to vote
ENTCS
2008
15 years 6 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
137
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Middleware-based database replication protocols require few or no changes in the database engine. As a consequence, they are more portable and flexible than kernel-based protocols...
194
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
In this demonstration we present BRRL, a library for making distributed main-memory applications fault tolerant. BRRL is optimized for cloud applications with frequent points of c...