2286 search results - page 42 / 458 » Statistical timing analysis based on a timing yield model |
154
click to vote
CSREAESA
2003
15 years 5 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
126
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
163
click to vote
WCE
2007
15 years 5 months ago
2007
— This paper presents the initial results of a study aimed at improving the method by which the vibrations produced by transport vehicles are characterised and simulated. More sp...
131
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
129
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
A technique based on the sensitivity of the output to input waveform is presented for accurate propagation of delay information through a gate for the purpose of static timing ana...