- Full text PDF available (41)
- This year (8)
- Last five years (51)
• Need for Cache Memory • Cache Memory types • Cache memory replacement methodologies Worst case execution time • Need for WCET • Problems in Estimating WCET 2 Aim :Cache behavior prediction by Abstract interpretation for WCET analysis Dynamic random access memory (DRAM): • Stores each data bit in a separate capacitor. • Need refresh cycles to protect… (More)
In previous work 1], we have developed the theoretical basis for the prediction of the cache behavior of programs by abstract interpretation. Abstract interpretation is a technique for the static analysis of dynamic properties of programs. It is semantics based, that is, it computes approximative properties of the semantics of programs. On this basis, it… (More)
• Controllers in planes, cars, plants, … are expected to finish their tasks reliably within time bounds. • Task scheduling must be performed • Hence, it is essential that the Worst-Case Execution Time (WCET) of all program tasks is known.
Towards a systems toxicology-based risk assessment, we investigated molecular perturbations accompanying histopathological changes in a 28-day rat inhalation study combining transcriptomics with classical histopathology. We demonstrated reduced biological activity of a prototypic modified risk tobacco product (pMRTP) compared with the reference research… (More)
We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded during the ILP-based longest path analysis which helps to improve precision. The new analysis works at the assembly level and uses the Omega library to evaluate Pres-burger formulas.
The techniques which are used to implement (non-trivial) interprocedural data ow analyzers can be generally divided into two subsets: the call string and the functional approach as presented in Sharir and Pnueli, 1981]. Both diier in their time and space complexity as well as in the precision due to properties of the abstract domains and transfer functions.… (More)
Cadmium accumulation in crop plants, such as tobacco (Nicotiana tabacum L.), can lead to human exposure to this carcinogenic metal. To better define actual Cd distribution in cured or processed tobacco leaves from chief tobacco-producing regions, we analyzed 755 leaf samples of three major types (Flue-cured, Burley, and Oriental) obtained from 13 countries… (More)
Cigarette smoke (CS) has a major impact on lung biology and may result in the development of lung diseases such as chronic obstructive pulmonary disease or lung cancer. To understand the underlying mechanisms of disease development, it would be important to examine the impact of CS exposure directly on lung tissues. However, this approach is difficult to… (More)