42507 search results - page 395 / 8502 » On the analysis of |
196
click to vote
TGC
2010
Springer
15 years 5 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
169
click to vote
WCET
2010
15 years 4 months ago
2010
Schedulability analysis for hard real-time systems requires bounds on the execution times of its tasks. To obtain useful bounds in the presence of caches, cache analysis is mandat...
204
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
202
click to vote
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
We deepen the theoretical analysis of the genetic algorithm for the all-pairs shortest path problem proposed by Doerr, Happ and Klein (GECCO 2008). We show that the growth of the ...
177
click to vote
ICMLA
2009
15 years 4 months ago
2009
Exergy is a way to sustainable development and may be defined as the maximum theoretical useful work, while exergy analysis identifies the sources, the magnitude and the causes of...