9842 search results - page 578 / 1969 » Compositional timing analysis |
202
click to vote
RTCSA
2005
IEEE
16 years 22 days ago
2005
IEEE
In this report, we propose an approach to integrate a hybrid garbage collection algorithm into the current response time analysis framework for real-time systems. In our approach,...
182
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Points-to analysis is a fundamental analysis technique whose results are useful in compiler optimization and software engineering tools. Although many points-to analysis algorithm...
215
click to vote
SIGSOFT
1994
ACM
15 years 11 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
172
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modelin...
183
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...