2632 search results - page 76 / 527 » Alternating Timed Automata |
122
click to vote
FORMATS
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we study timed games played on weighted timed automata. In this context, the reachability problem asks if, given a set T of locations and a cost C, Player 1 has a st...
119
click to vote
ENTCS
2006
15 years 1 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
115
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
127
click to vote
RTSS
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
145
click to vote
IWPT
2001
15 years 2 months ago
2001
We define a new model of automata for the description of bidirectional parsing strategies for tree adjoining grammars and a tabulation mechanism that allow them to be executed in ...