277 search results - page 27 / 56 » Automated mechanism design for a self-interested designer |
SIES
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
DANCE
2002
IEEE
14 years 1 months ago
2002
IEEE
Panda is middleware designed to bring the benefits of active networks to applications not written with active networks in mind. This paper describes the architecture and implement...
ICRA
1998
IEEE
14 years 9 days ago
1998
IEEE
This paper presents a class of fundamental control policies suitable for use in a novel method for designing and specifying the dynamic motion of robotic systems. Through recourse...
PDPTA
1997
13 years 9 months ago
1997
This paper describes the design and implementation of the Legion run-time library LRTL , focusing speci cally on facilities that enable extensibility and con gurability. These fac...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...