Queen's University
School of Computing

Technical Report List (part P)

NOTE: Please read this copyright notice before viewing or retrieving files. This file describes authors whose names begin with P. Click on an author's name to find reports by that author.

Electronic copies of some reports are available in Adobe PDF and Postscript formats; click the appropriate link to download for display. Some postscript files may not display properly at your site, especially if they contain embedded font file descriptions.

Parnas, David:

1990-295
"Assessment Of Safety-Critical Software", by David Lorge Parnas, G.J.K. Asmis and Jan Madey.
1990-287
"Functional Specifications For Computer Systems Engineering", by David Lorge Parnas and Jan Madey.
1990-272
"Documentation of Communications Services and Protocols", by David Parnas, February 1990. 6 pages.
1989-261
"The Trace Assertion Method of Module-Interface Specification", by David Parnas and Yabo Wang, October 1989, N.A.
1989-247
"Education for Computing Professionals", by David L. Parnas, March 1989. 12 pages.
1988-236
"Making Formal Software Documentation More Practical", by D. Parnas, D. Smith and T. Pearce, November 1988. 53 pages.
1988-220
"Evaluation Standards for Safety Critical Software", by D. Parnas, A. John van Schouewen and Po Kwan, May 1988. 25 pages. Kwan is from AECB.
1986-186
"Less Restrictive Constructs for Structured Programs", by D.L. Parnas, October 1986. 16 pages.

Pavel, Sandy:

1996-398
"Integer Sorting and Routing in Arrays with Reconfigurable Optical Buses ", by Sandy Pavel and Selim G. Akl, April 1996 .
1995-374 available in PDF (265.502 Kbytes) and Postscript (403.098 Kbytes)
"On the Power of Arrays with Reconfigurable Optical Buses", by Sandy Pavel and Selim G. Akl, January 1995.

Pavel, S.:

1995-387
"Efficient algorithms for the Hough transform on arrays with reconfigurable optical buses", by S. Pavel and S.G. Akl, August 1995. 34 pages.
1995-385
"Area-Time Lower Bounds for Arrays with Optical Pipelined Buses", by S. Pavel and S.G. Akl, May 1995. 20 pages .

Payer,:

1972-05
"An Interactive Retrieval System", by I.A. Macleod and Payer, May 1972. 19 pages.

Pearce, Trevor:

1991-314
"The Deterministic Trace-Automata Method", by Trevor W. Pearce.
1988-236
"Making Formal Software Documentation More Practical", by D. Parnas, D. Smith and T. Pearce, November 1988. 53 pages.

Phillips, W. Greg:

2005-493 available in PDF (547.788 Kbytes) and Postscript (2.783 Mbytes)
"Workspace Model Specification Version 1.0", by W. Greg Phillips and T.C. Nicholas Graham, March 2005. 46 pages.
1999-425 available in PDF (487.995 Kbytes) and Postscript (1.224 Mbytes)
"Architectures for Synchronous Groupware", by G. Phillips, May 1999. 53 pages.

Piao, Xiaoxue:

2011-577 available in PDF (613.410 Kbytes) and Postscript (1.949 Mbytes)
"State Complexity of Star and Quotient Operation for Unranked Tree Automata", by X. Piao and K. Salomaa, April 2011. 19 pages.
2010-567 available in PDF (260.040 Kbytes) and Postscript (459.517 Kbytes)
"State complexity of unranked tree automata", by Xiaoxue Piao and Kai Salomaa, January 2010. 20 pages.

Plenderleith, William T.:

1990-291
"Software Engineering For Signal-Processing Systems: A Case Study", by William T. Plenderleith.

Posse, Ernesto:

2010-569 available in PDF (565.305 Kbytes) and Postscript (1.316 Mbytes)
"Mapping UML-RT State Machines to kiltera", by Ernesto Posse, April 2010. 43 pages.
2009-557 available in PDF (544.065 Kbytes) and Postscript (1.003 Mbytes)
"A real-time extension to the π-calculus", by Ernesto Posse, May 2009. 55 pages.
2008-552 available in PDF (340.829 Kbytes) and Postscript (4.110 Mbytes)
"Mapping UML State Machines to kiltera", by Ernesto Posse and Juergen Dingel, November 2008. 34 pages.

Powley, Wendy:

2003-469 available in PDF (166.357 Kbytes) and Postscript (783.332 Kbytes)
"Today.s DBMSs: How autonomic are they?", by Said Elnaffar, Wendy Powley, Darcy Benoit and Pat Martin, September 2003. 9 pages.
1995-391 available in PDF (57.685 Kbytes) and Postscript (223.584 Kbytes)
"CORDS Schema Integration Environment", by Patrick Martin and Wendy Powley, November 1995. 20 pages.

Promislow, Eric:

1989-251
"Specification and Automatic Prototype Implementation of Object-Oriented Concepts Using the TXL Dialect Processor", by James R. Cordy and Eric Promislow, March 1989. 12 pages.

Putnam, D.:

1989-244 available in PDF (33.594 Kbytes) and Postscript (86.126 Kbytes)
"SPRUCE: A Framework for Software Restructuring", by D.A. Lamb and D. Putnam, February 1989. 10 pages.