1039 search results - page 62 / 208 » The Def-inite Approach to Dependency Analysis |
101
click to vote
VLSID
2008
IEEE
16 years 1 months ago
2008
IEEE
Worst-case execution time (WCET) analysis and, in general, the predictability of real-time applications implemented on multiprocessor systems has been addressed only in very restri...
131
click to vote
CC
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Alias analysis, traditionally performed statically, is unsuited for a dynamic binary translator (DBT) due to incomplete control-flow information and the high complexity o...
118
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
149
click to vote
AOSD
2008
ACM
15 years 3 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
117
click to vote
BMCBI
2011
14 years 5 months ago
2011
Background: Flux coupling analysis (FCA) is a useful method for finding dependencies between fluxes of a metabolic network at steady-state. FCA classifies reactions into subsets (...