1024 search results - page 81 / 205 » High-Level Execution Time Analysis |
104
click to vote
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Employing COTS components in real-time embedded systems leads to timing challenges. When multiple CPU cores and DMA peripherals run simultaneously, contention for access...
114
click to vote
FAC
2010
14 years 11 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
138
click to vote
PSTV
1992
15 years 2 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
ACRI
2006
Springer
15 years 7 months ago
2006
Springer
The spread of fire is a complex phenomenon that many have tried to study over the years. As one can imagine, the spread of fire depends on many different variables such as the mate...
117
click to vote
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...