ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • rats  (1)
  • symbolic execution  (1)
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Real-time systems 17 (1999), S. 183-207 
    ISSN: 1573-1383
    Keywords: Real-time systems ; worst-case execution time ; timing analysis ; path analysis ; symbolic execution ; multiple-issue processor ; caches ; architecture simulation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Previously published methods for estimation of the worst-case execution time on high-performance processors with complex pipelines and multi-level memory hierarchies result in overestimations owing to insufficient path and/or timing analysis. This does not only give rise to poor utilization of processing resources but also reduces the schedulability in real-time systems. This paper presents a method that integrates path and timing analysis to accurately predict the worst-case execution time for real-time programs on high-performance processors. The unique feature of the method is that it extends cycle-level architectural simulation techniques to enable symbolic execution with unknown input data values; it uses alternative instruction semantics to handle unknown operands. We show that the method can exclude many infeasible (or non-executable) program paths and can calculate path information, such as bounds on number of loop iterations, without the need for manual annotations of programs. Moreover, the method is shown to accurately analyze timing properties of complex features in high-performance processors using multiple-issue pipelines and instruction and data caches. The combined path and timing analysis capability is shown to derive exact estimates of the worst-case execution time for six out of seven programs in our benchmark suite.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    ISSN: 1573-904X
    Keywords: microdialysis ; methods ; theophylline ; pharmacokinetics ; rats
    Source: Springer Online Journal Archives 1860-2000
    Topics: Chemistry and Pharmacology
    Notes: Abstract Three microdialysis methods, the “tritium” method, the “point-of-no-net-flux” method, and a method using the low perfusion rate of 0.1 µl/min, were compared with respect to their ability to generate estimates of unbound steady-state concentrations (Cuss) of the antiasthmatic drug theophylline in blood and brain tissue in anesthetized rats. Concomitantly, the influence of the perfusion flow rate on the estimated extracellular Cuss obtained with the point-of-no-net-flux method was investigated. Theophylline was administered as a rapid intravenous bolus dose followed by constant intravenous infusion. Changes in perfusion flow rate from 2.0 to 0.75 µl/min and, finally, to 0.25 µl/min, using the point-of-no-net-flux method, had no significant effect on the estimated Cuss of theophylline in blood and striatum. This observation, particularly in the case of brain tissue, is not consistent with the theory that the process of dialysis drains a significant amount of substance from the immediate vicinity of the dialysis probe. Similar estimates of Cuss in blood as well as in brain tissue were obtained with all three methods. Their accuracy in estimating Cuss in blood was further strengthened by observations of unbound fractions similar to those reported in the literature. Furthermore, all three methods gave striatum/blood ratios at steady state of approximately 0.5, indicating that there is active transport of theophylline from brain tissue. It is concluded that the tritium method, when validated, can be used to study the time course of unbound drug concentrations in blood and tissues.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...