7820 search results - page 322 / 1564 » Formalization of Time and Space |
222
Voted
CONCUR
2012
Springer
13 years 10 months ago
2012
Springer
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
155
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
205
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
204
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper...
156
Voted
JOT
2010
15 years 5 months ago
2010
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...