1471 search results - page 75 / 295 » Composing concurrency control |
PPL
2008
14 years 9 months ago
2008
This discussion paper explores the problems of operating systems support when implementing concurrency controls at the level of the instruction set in processors designed for mult...
114
click to vote
PLDI
2012
ACM
13 years 8 days ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
INFOSCALE
2007
ACM
14 years 11 months ago
2007
ACM
Service-Orientation (SO) is a design and integration paradigm that is based on the notion of well defined, loosely coupled services. Within SO, services are viewed as computation...
ICRA
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper is devoted to the problem of nonlinear robust control design for Underwater Vehicle/Manipulator (UVM) systems composed of a freefloating platform equipped with a robot ...