7380 search results - page 31 / 1476 » time 2008 |
ENTCS
2008
15 years 3 months ago
2008
Abstract
112
click to vote
WCET
2008
15 years 4 months ago
2008
The complexity of hardware and software architectures used in today's embedded systems make a hierarchical, composable timing analysis impossible. This paper describes the so...
139
click to vote
FUIN
2008
15 years 3 months ago
2008
The aim of the work is twofold. In order to face the problem of modeling time constraints in Promela, a timed extension of the language is presented. Next, timed Promela is transla...
89
Voted
SODA
2008
ACM
15 years 4 months ago
2008
ACM
51
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer