Sciweavers

880 search results - page 79 / 176
» Semantics-Based Concurrency Control
Sort
View
145
Voted
ASPLOS
2008
ACM
15 years 4 months ago
General and efficient locking without blocking
Standard concurrency control mechanisms offer a trade-off: Transactional memory approaches maximize concurrency, but suffer high overheads and cost for retrying in the case of act...
Yannis Smaragdakis, Anthony Kay, Reimer Behrends, ...
AIIA
2005
Springer
15 years 8 months ago
Human-Robot Interaction Through Mixed-Initiative Planning for Rescue and Search Rovers
Abstract. In this paper we present a mixed-initiative planning approach to humanrobot interaction in a rescue domain. We deploy a model-based executive monitoring system to coordin...
Alberto Finzi, Andrea Orlandini
CONPAR
1992
15 years 6 months ago
Asynchronous Polycyclic Architecture
The Asynchronous Polycyclic Architecture (APA) is a new processor design for numerically intensive applications. APA resembles the VLIW architecture, in that it provides independen...
Geraldo Lino de Campos
101
Voted
ASYNC
2004
IEEE
90views Hardware» more  ASYNC 2004»
15 years 6 months ago
Handshake Protocols for De-Synchronization
De-synchronization appears as a new paradigm to automate the design of asynchronous circuits from synchronous netlists. This paper studies different protocols for de-synchronizatio...
Ivan Blunno, Jordi Cortadella, Alex Kondratyev, Lu...
110
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
Data Flow Analysis for CCS
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
Hanne Riis Nielson, Flemming Nielson