Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
B. Scholz:
"Probabilistic Data Flow Analysis and its Applications";
Vortrag: French National Institute for Research in Computer Science and Control (INRIA),
Paris;
01.02.2002
- 02.02.2002.
Kurzfassung englisch:
Classical data flow analysis determines whether a data flow fact may hold or does not hold at some program point. Probalistic data flow analysis (PDFA) systems compute a range, i.e. a probability, with which a data flow fact will hold at some program point. In this talk a novel, practicable framework for probabilistic data flow problems is presented and some applications for PDFA are given. Effectivenees and efficiency of our approach are shown by performance numbers of the SPECint95 benchmarksuite.
Elektronische Version der Publikation:
http://www-rocg.inria.fr/a3/seminars/scholz.html
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.