882 search results - page 62 / 177 » Analysis of Composite Corridors |
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
PODS
2003
ACM
14 years 8 months ago
2003
ACM
The emerging paradigm of electronic services promises to bring to distributed computation and services the flexibility that the web has brought to the sharing of documents. An und...
GISCIENCE
2004
Springer
14 years 2 months ago
2004
Springer
Reasoning about events or temporal aspects is fundamental for modeling geographic phenomena. This work concerns the analysis of events as configurations of temporal intervals. It...
FMCO
2009
Springer
13 years 6 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
CC
2008
Springer
13 years 10 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...