Sciweavers

1015 search results - page 91 / 203
» Syntactic Control of Concurrency
Sort
View
ASPLOS
2008
ACM
14 years 12 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, ...
TOOLS
2008
IEEE
15 years 4 months ago
Ownership, Uniqueness, and Immutability
Programming in an object-oriented language demands a fine balance between high degrees of expressiveness and control. At one level, we need to permit objects to interact freely t...
Johan Östlund, Tobias Wrigstad, Dave Clarke, ...
AIIA
2005
Springer
15 years 3 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 2 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
ASYNC
2004
IEEE
90views Hardware» more  ASYNC 2004»
15 years 1 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...