645 search results - page 41 / 129 » concurrency 2007 |
88
Voted
CONCURRENCY
2010
15 years 17 days ago
2010
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
83
Voted
WOTUG
2007
15 years 1 months ago
2007
The LEGO Mindstorms RCX is a widely deployed educational robotics platform. This paper presents a concurrent operating environment for the Mindstorms RCX, implemented natively usin...
111
click to vote
CIDR
2009
15 years 1 months ago
2009
The traditional architecture for a DBMS engine has the recovery, concurrency control and access method code tightly bound together in a storage engine for records. We propose a di...
93
Voted
ML
2007
ACM
14 years 12 months ago
2007
ACM
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
CONCURRENCY
2007
15 years 13 days ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...