2940 search results - page 312 / 588 » Relational Parametricity and Control |
182
click to vote
RTAS
2006
IEEE
16 years 19 days ago
2006
IEEE
Prior research on schedulability bounds focused primarily on bounding utilization as a means to meet deadline constraints. Non-trivial bounds were found for a handful of schedulin...
185
click to vote
CEFP
2005
Springer
16 years 5 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
175
click to vote
ECSQARU
2005
Springer
16 years 5 days ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...
155
click to vote
KES
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents a technique for an intelligent robot to adaptively behave in unforeseen and dynamic circumstances. Since the traditional methods utilized the relatively reliabl...
188
click to vote
VRST
2004
ACM
16 years 1 days ago
2004
ACM
We have integrated technologies related to virtual social interaction, e.g. virtual environments, visual simulations, and lifelike characters. In our previous efforts to integrate...