Conference paper
Placement of multimedia blocks on zoned disks
Renu Tewari, Richard P. King, et al.
IS&T/SPIE Electronic Imaging 1996
In this paper we give a probabilistic analog PPDL of Propositional Dynamic Logic. We prove a small model property and give a polynomial space decision procedure for formulas involving well-structured programs. We also give a deductive calculus and illustrate its use by calculating the expected running time of a simple random walk. © 1985.
Renu Tewari, Richard P. King, et al.
IS&T/SPIE Electronic Imaging 1996
Leo Liberti, James Ostrowski
Journal of Global Optimization
A. Grill, B.S. Meyerson, et al.
Proceedings of SPIE 1989
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007