1202 search results - page 59 / 241 » Sortings for Reactive Systems |
ENTCS
2008
14 years 11 months ago
2008
The construction of reactive systems often requires the combination of different individual functionalities, thus leading to a complex overall behavior. To achieve an efficient co...
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
Embedded software design for real time reactive system
ISOLA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
ATVA
2010
Springer
14 years 8 months ago
2010
Springer
The problem of synthesising a reactive system is discussed. The most standard instance of this problem ask to construct a finite input-output automaton satisfying a given regular s...
175
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Algorithms that exploit sort orders are widely used to implement joins, grouping, duplicate elimination and other set operations. Query optimizers traditionally deal with sort ord...