Learn More
• 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)
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)
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)