264 search results - page 13 / 53 » Portable Execution Time Analysis Method |
185
click to vote
CODES
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
198
click to vote
TACAS
2010
Springer
16 years 24 days ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
172
click to vote
LCTRTS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Previously published methods for estimation of the worstcase execution time on contemporary processors with complex pipelines and multi-level memory hierarchies result in...
151
click to vote
RTAS
1998
IEEE
15 years 10 months ago
1998
IEEE
Static timing analyzers need to know the minimum and maximum number of iterations associated with each loop in a real-time program so accurate timing predictions can be obtained. ...
174
Voted
FUIN
2007
15 years 5 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...