1202 search results - page 92 / 241 » Sortings for Reactive Systems |
158
Voted
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
134
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
115
Voted
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
127
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
167
click to vote
SIGCOMM
1991
ACM
15 years 7 months ago
1991
ACM
This paper presents a control-theoretic approach to reactive flow control in networks that do not reserve bandwidth. We assume a round-robin-like queue service discipline in the o...