Sciweavers

1471 search results - page 122 / 295
» Composing concurrency control
Sort
View
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
15 years 10 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
135
Voted
CCGRID
2006
IEEE
15 years 7 months ago
Component-Based Modeling, Analysis and Animation
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
Jeff Kramer
IANDC
2007
152views more  IANDC 2007»
15 years 1 months ago
The reactive simulatability (RSIM) framework for asynchronous systems
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
Michael Backes, Birgit Pfitzmann, Michael Waidner
ICRA
2007
IEEE
137views Robotics» more  ICRA 2007»
15 years 8 months ago
Disturbance Rejection for Biped Humanoids
— This paper proposes a simple passivity-based disturbance rejection scheme for force-controllable biped humanoids. The disturbance rejection by force control is useful not only ...
Sang-Ho Hyon, Gordon Cheng
CDC
2009
IEEE
134views Control Systems» more  CDC 2009»
15 years 5 months ago
Output-feedback controlled-invariant polyhedra for constrained linear systems
Abstract— A design method is proposed for outputfeedback control of linear systems subject to state and control constraints, additive disturbances and measurement noise. First, n...
Carlos Eduardo Trabuco Dórea