799 search results - page 36 / 160 » Synthesis for Probabilistic Environments |
144
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— We explore the control synthesis problem for a robot dynamically manipulating an object in the presence of multiple frictional contacts. Contacts occur both between the object ...
121
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...
168
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
156
click to vote
ASYNC
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
132
click to vote
IWSAS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Self-adaptive systems must recon gure themselves, at runtime, to compensate for changing environments, objectives, and system capabilities. This paper discusses how the S...