4164 search results - page 52 / 833 » Timing model reduction for hierarchical timing analysis |
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
CODES
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper, we present thread-based optimistic distributed timed cosimulation methods which reduce the overhead of optimistic simulation. First, we present thread simulation mo...
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
This paper is motivated through the advantages offered by employing real-time (priority-driven) scheduling (RTS) for efficiently implementing quality-of-service guarantees. For em...
TSE
2008
13 years 9 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...