466 search results - page 72 / 94 » A Theory of Rate-Based Execution |
132
click to vote
TCAD
2010
14 years 4 months ago
2010
For real-time applications, it is necessary to estimate the worst-case performance early in the design process without actual hardware implementation. While the non-preemptive task...
100
click to vote
JOCN
2011
14 years 18 days ago
2011
■ Humans are constantly confronted with environmental stimuli that conflict with task goals and can interfere with successful behavior. Prevailing theories propose the existence...
POPL
2011
ACM
14 years 17 days ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
102
click to vote
WWW
2003
ACM
15 years 10 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...