1202 search results - page 73 / 241 » Sortings for Reactive Systems |
109
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
137
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
164
click to vote
ECBS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
137
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
133
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Memory bandwidth is a scarce resource in multicore systems. Scheduling has a dramatic impact on the delay introduced by memory contention, but also on the effectiveness of frequen...