Technical Reports
A List by Author: Stefan Kiefer
- e-mail:
- kiefer(a)in.tum.de
- home page:
- http://www7.informatik.tu-muenchen.de/people/detail/index.php?id=people.detail&arg=115
- telephone:
- +49 (89) 289-17229
- fax:
- +49 (89) 289-17207
On the Memory Consumption of Probabilistic Pushdown Automata
by Tomáš Brázdil, Javier Esparza, Stefan Kiefer, A full version of the paper presented at FSTTCS 2009 October 2009, 52 pages.
FIMU-RS-2009-07. Available as Postscript, PDF.
Abstract:
We investigate the problem of evaluating memory consumption for systems modelled by probabilistic pushdown automata (pPDA). The space needed by a run of a pPDA is the maximal height reached by the stack during the run. The problem is motivated by the investigation of depth-first computations that play an important role for space-efficient schedulings of multithreaded programs.
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.