Sciweavers

2253 search results - page 323 / 451
» An Approach to Specifying Software Frameworks
Sort
View
ICRA
2010
IEEE
143views Robotics» more  ICRA 2010»
15 years 2 months ago
Optimal Feedback Control for anthropomorphic manipulators
— We study target reaching tasks of redundant anthropomorphic manipulators under the premise of minimal energy consumption and compliance during motion. We formulate this motor c...
Djordje Mitrovic, Sho Nagashima, Stefan Klanke, Ta...
135
Voted
JOT
2010
108views more  JOT 2010»
15 years 2 months ago
Dynamic adaptability with .NET service components
In self-adaptive systems components are dynamically modified according to the execution environment requirement, where each component is a probable point of failure. Existing appr...
Arun Mishra, A. K. Misra
CDC
2010
IEEE
122views Control Systems» more  CDC 2010»
14 years 11 months ago
On optimal input design in system identification for control
Abstract-- This paper considers a recently proposed framework for experiment design in system identification for control. We will consider model based control design methods, such ...
Bo Wahlberg, Håkan Hjalmarsson, Mariette Ann...
IPSN
2007
Springer
15 years 10 months ago
Interface contracts for TinyOS
TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable finegrained code reuse, this approach has been successf...
Will Archer, Philip Levis, John Regehr
ISSTA
2004
ACM
15 years 9 months ago
Exploiting purity for atomicity
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer