2116 search results - page 341 / 424 » Resource Analysis by Sup-interpretation |
149
Voted
QOSA
2010
Springer
15 years 7 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
138
click to vote
AINA
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--The steadily growing importance of Internetbased applications and their resilience requirements lead to a rising number of multi-homed sites. The idea of Concurrent Multi...
107
Voted
DAC
2010
ACM
15 years 6 months ago
2010
ACM
With the end of clock-frequency scaling, parallelism has emerged as the key driver of chip-performance growth. Yet, several factors undermine efficient simultaneous use of onchip ...
128
Voted
COORDINATION
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
146
Voted
AAAI
2007
15 years 5 months ago
2007
In many sensing applications we must continuously gather information to provide a good estimate of the state of the environment at every point in time. A robot may tour an environ...