Queen's University
School of Computing

Technical Report List (part M)

NOTE: Please read this copyright notice before viewing or retrieving files. This file describes authors whose names begin with M. 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.

Ma, Alan Cheuk-Wai:

1981-126
"Experience with Verification of Parallel Modula Programs", by Alan Cheuk-Wai Ma and D.T. Barnard, September 1981. 24 pages. Ma is from Bata Shoe Co..
1978-89
"Proof Techniques for Parallel Programs", by Alan Cheuk-Wai Ma, October 1979. 167 pages.

MacEwen, Glenn H.:

1995-395 available in PDF (184.111 Kbytes) and Postscript (206.152 Kbytes)
"The Semantics of Viewcharts", by Ayaz Isazadeh, David Alex Lamb and Glenn H. MacEwen, December 1995. 18 pages.
1995-389 available in PDF (158.078 Kbytes) and Postscript (187.926 Kbytes)
"A Review of Post-Factum Software Integration Methods", by Ayaz Isazadeh, Glenn H. MacEwen and Andrew Malton, October 1995 . 19 pages.
1995-388 available in PDF (219.278 Kbytes) and Postscript (241.588 Kbytes)
"Viewcharts: A Behavioural Specification Language for Complex Systems", by Ayaz Isazadeh, David Alex Lamb and Glenn H. MacEwen, October 1995 . 16 pages.
1994-365
"Task Behavior Monitoring for Adaptive Real-Time Communication", by Sam K. Oh and Glenn H. MacEwen, June 1994. 26 pages.
1994-364
"The Two-Phase Virtual-Time CSMA/CD Protocols for Critical Real-Time Systems with Dynamic Environment", by Sam K. Oh and Glenn H. MacEwen, June 1994. 21 pages.
1993-347 available in PDF (242.818 Kbytes) and Postscript (474.904 Kbytes)
"The Best-Effort Virtual-Time CSMA/CD Protocols with Run-Time Clairvoyancy Support", by Sam K. Oh and Glenn H. MacEwen.
1992-343 available in PDF (210.482 Kbytes) and Postscript (371.858 Kbytes)
"The Best-Effort Virtual-Time CSMA/CD Protocols for Real-Time Systems", by Sam K. Oh and Glenn H. MacEwen.
1992-325 available in PDF (158.766 Kbytes) and Postscript (356.706 Kbytes)
"Toward Fault-Tolerant Adaptive Real-Time Distributed Systems", by Sam K. Oh and Glenn H. MacEwen.
1986-185
"A Computational Model for Distributed Systems Using Operator Nets", by J. Glasgow and G.H. MacEwen, October 1986. 24 pages.
1986-183
"The Development and Proof of a Formal Specification for a Multi-level Secure System", by G.H. MacEwen and J.I. Glasgow, June 1986. 39 pages.
1986-180
"R-Net: A Hard Real-Time Distributed Programming System", by Chantal Belzile, Michael Coulas, G.H. MacEwen and Genevieve Marquis, May 1986. 29 pages.
1985-172
"A Two-level Security Model for a Secure Network", by J.I. Glasgow and G.H. MacEwen, June 1985. 13 pages.
1983-152
"Multi-Level Security Based on Physical Distribution", by G.H. MacEwen, January 1984. 20 pages.
1982-135
"Specification Prototyping", by G.H. MacEwen, March 1982. 7 pages.
1981-119
"Abstraction Hierarchies in Top-Down Design", by G.H. MacEwen, September 1980. 30 pages.
1981-118
"The Design for a Secure System Based on Program Analysis", by G.H. MacEwen, July 1981. 28 pages.
1981-116
"A Hierarchical Security Model for Program Certification Systems", by G.H. MacEwen, January 1981. 14 pages.
1979-82
"Algebraic Specifications for Process Scheduling Abstractions", by G.H. MacEwen and J.T. Himmelman, May 1979. 19 pages.
1978-70
"The Use of Abstract Data Types in Top Down Design", by G.H. MacEwen and T. Patrick Martin, October 1978. 40 pages.
1976-40
"Hierarchical Structure in Operating Systems", by G.H. MacEwen, January 1976. 59 pages.
1975-35
"An Experimental Kernel for the PDP-11/45: Introduction", by G.H. MacEwen, March 1975. 33 pages.
1975-33
"A Preliminary Study of Disk Driven Process Scheduling", by G.H. MacEwen, November 1974. 11 pages.
1974-24
"A Programming Project for a Course in Operating Systems", by G.H. MacEwen, January 1974. 13 pages.
1973-10
"Introduction to Computer Organization and Programming Notes for C&IS 102", by G.H. MacEwen, July 1973. 120 pages.
1972-09
"Generalized Software Instrumentation", by G.H. MacEwen, October 1972. 23 pages.
1972-04
"Performance of Moveable-Head Disk Storage Devices", by G.H. MacEwen, January 1972. 54 pages.

MacEwen, Glenn:

1997-405 available in PDF (258.453 Kbytes) and Postscript (396.401 Kbytes)
"Towards an Action-Based Logic of Causality, Knowledge, Permission and Obligation.", by Glenn MacEwen, Xiao Jun Chen and Scott Knight., May 1997. 35 pages.

Macleod, Ian:

1991-308
"A Review of the Standard Generalized Markup Language (SGML)", by D. Barnard, I. Macleod and B. Nordin.
1989-263
"A Query Language for Retrieving Information from Hierarchic Text Structures", by Ian A. Macleod, December 1989.
1989-262
"An Archive of Structured Texts", by David Barnard and Ian A. Macleod, December 1989.
1989-246
"A Case Study of Cashing Strategies for a Distributed Full Text Retrieval System", by T. Patrick Martin, Ian A. Macleod and Judy I. Russell, February 1989. 15 pages.
1981-124
"A Kernel for Office Information System Implementation", by D.T. Barnard and I.A. Macleod, August 1981. 26 pages.
1981-117
"The Use of Indexing Modules in a Relational Document Retrieval System", by R.G. Crawford and I.A. Macleod, January 1981. 15 pages.
1980-96
"The Relational Model as a Basis for Document Retrieval System Design", by I.A. Macleod, February 1980. 18 pages.
1980-113
"A Modular Design of a General Framework for Interactive Systems", by D.L. Batten, D.T. Barnard and I.A. Macleod, December 1980. 26 pages.
1980-110
"IQL - An Intermediate Query Language for Data and Document Retrieval", by I.A. Macleod, September 1980. 22 pages.
1980-107
"The Mistral/11 Retrieval System", by I.A. Macleod, July 1980. 29 pages.
1979-76
"A Relational Approach to Modular Information Retrieval Systems Design", by R.G. Crawford and I.A. Macleod, February 1979. 6 pages.
1978-62
"SEQUEL as a Language for Document Retrieval", by I.A. Macleod, May 1978. 18 pages.
1977-55
"The Mistral/11 Retrieval System", by R.G. Crawford and I.A. Macleod. N.A.
1977-54
"Godot Users' Manual", by I.A. Macleod, March 1978. 24 pages.
1977-49
"An Interactive Extendible Language Development System", by I.A. Macleod and J.C. Avis, August 1977. 51 pages.
1975-31
"A Query Language System for Information Retrieval", by Ian A. Macleod, April 1975. 17 pages.
1973-19
"Introduction to Computing with ALGOL", by M.A. Jenkins and I.A. Macleod, August 1973. 118 pages.
1973-12
"An Extendible Command Analyser", by K. Leese and I.A. Macleod, March 1973. 37 pages.
1972-05
"An Interactive Retrieval System", by I.A. Macleod and Payer, May 1972. 19 pages.
1972-02
"An Extendible Query Analyser", by K. Leese and I.A. Macleod, March 1972. 18 pages.

Madey, Jan:

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.

Malton, Andrew:

1996-401 available in PDF (212.023 Kbytes) and Postscript (236.122 Kbytes)
"Applying the Theory-Model Paradigm", by David Alex Lamb, Andrew Malton and Xiaobing Zhang, February 1996.
1995-389 available in PDF (158.078 Kbytes) and Postscript (187.926 Kbytes)
"A Review of Post-Factum Software Integration Methods", by Ayaz Isazadeh, Glenn H. MacEwen and Andrew Malton, October 1995 . 19 pages.
1995-377
"Grammar-Based Structural Transformations", by Andrew Malton and Donald Cox, February 1995.
1994-360 available in PDF (299.435 Kbytes) and Postscript (378.957 Kbytes)
"A Semantics for Model-Based Spatial Reasoning", by Janice Glasgow and Andrew Malton, May 1994. 36 pages.

Margulis, Eugene L.:

1989-254
"On Scheduling in Hard Real Time Monitoring Systems", by Eugene L. Margulis, May 1989. 90 pages.

Marquis, Genevieve:

1986-180
"R-Net: A Hard Real-Time Distributed Programming System", by Chantal Belzile, Michael Coulas, G.H. MacEwen and Genevieve Marquis, May 1986. 29 pages.

Martin, Pat:

2010-576 (477.414 Kbytes)
"Relational Universal Index Structure for Evaluating XML Twig Queries", by Samir Mohammad and Patrick Martin, November 2010. 12 pages.
2010-570 available in PDF (430.611 Kbytes) and Postscript (31.649 Mbytes)
"LTIX: A Compact Level-based Tree to Index XML Databases", by Samir Mohammad and Patrick Martin, May 2010. 29 pages.
2009-560 available in PDF (347.494 Kbytes) and Postscript (53.176 Mbytes)
"XML Structural Indexes", by Samir Mohammad and Patrick Martin, June 2009. 54 pages.
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.
2002-461 available in PDF (468.651 Kbytes) and Postscript (2.437 Mbytes)
"Characterizing Computer Systems' Workloads", by Said Elnaffar and Patrick Martin, December 2002. 66 pages.
1996-399
"A Real-time Broadband Multimedia Transport Protocol", by Zhenjun Zhu, Patrick Martin and H.T. Mouftah, May 1996.
1995-394 available in PDF (211.596 Kbytes) and Postscript (519.402 Kbytes)
"The Performance of SQL Queries on an X.500 Directory System", by David Barrowman and Patrick Martin, November 1995. 28 pages.
1995-393 available in PDF (46.176 Kbytes) and Postscript (174.056 Kbytes)
"A Management Information Repository for Distributed Applications Management", by Patrick Martin, November 1995. 15 pages.
1995-392 available in PDF (210.533 Kbytes) and Postscript (333.043 Kbytes)
"Information Capacity Preserving Translations of Relational Schemas Using Structural Transformation", by Patrick Martin, James R. Cordy and Rateb Abu-Hamdeh, November 1995. 25 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.
1993-345
"Database Intergration: A Survey", by T. Patrick Martin.
1992-324
"The Effect of Data Skew on the Performance of Hash-Based Join Algorithms in a Shared-Everything Environment", by Edi Winarko and T. Patrick Martin.
1989-246
"A Case Study of Cashing Strategies for a Distributed Full Text Retrieval System", by T. Patrick Martin, Ian A. Macleod and Judy I. Russell, February 1989. 15 pages.
1988-240
"Algorithm for Site Selection in Distributed Query Processing", by T.P. Martin and K.H. Lam. 16 pages.
1978-70
"The Use of Abstract Data Types in Top Down Design", by G.H. MacEwen and T. Patrick Martin, October 1978. 40 pages.

Mayes, L.W.:

1979-85
"ASK-IVI: An IVI-based Information Retrieval System for the PDP-11", by L. Mayes and M. Levison, October 1979. 8 pages.
1978-69
"MISTRAL/11 Users' Manual, Computing and Information Science", by R.G. Crawford, L.A. Coughlin and L.W. Mayes, October 1978. 31 pages.

McAloney, Christopher L.:

2004-476 available in PDF (414.213 Kbytes) and Postscript (734.968 Kbytes)
"Error-Correction and Finite Transductions", by Christopher L. McAloney, March 2004. 42 pages.

McConnell, S.M.:

2002-458 available in PDF (1.429 Mbytes) and Postscript (495.949 Kbytes)
"Using Competitive Learning to Handle Missing Values in Astrophysical Datasets", by R.A. Browse, D.B. Skillicorn and S.M. McConnell, August 2002. 15 pages.
2001-452 available in PDF (169.516 Kbytes) and Postscript (223.065 Kbytes)
"Outlier Detection Using Semi Discrete Decomposition", by S. McConnell and D.B. Skillicorn, November 2001.

McCrosky, Carl:

1985-173
"ACE: The Array-Theoretic Computational Engine", by Carl McCrosky, June 1985. 251 pages.
1984-163
"User Defined Parallel Control Strategies", by J.I. Glasgow, M.A. Jenkins and C.D. McCrosky, November 1984. 18 pages.
1984-159
"NIAL: A Candidate Language for Fifth Generation Computer Systems", by C.D. McCrosky, J.I. Glasgow and M.A. Jenkins, June 1984. 24 pages.

McFadden, John:

1987-204
"SGML-Based Markup for Literary Texts: Two Problems and Some Solutions", by David Barnard, Ron Hayer, Maria Karababa, George Logan and John McFadden. 18 pages.

McGugan, J.H.S.:

1980-111
"Local Neighbourhood Search Heuristics for the Traveling Salesman Problem", by J.H.S. McGugan, September 1980. 133 pages.

McKay, Cameron D.:

2007-539 available in PDF (339.083 Kbytes) and Postscript (1.856 Mbytes)
"Molecular Codebreaking and Double Encoding", by Cameron D. McKay, Joslynn G. Affleck, Naya Nagy, Selim G. Akl and Virginia K. Walker, September 2007. 20 pages.

McQuillan, Ian:

2006-513 available in PDF (208.541 Kbytes) and Postscript (221.292 Kbytes)
"Iterated TGR languages: Membership problem and effective closure properties", by Ian McQuillan, Kai Salomaa and Mark Daley, April 2006. 14 pages.

Meijer, Henk:

2003-474 available in PDF (171.181 Kbytes) and Postscript (249.537 Kbytes)
"Track Drawings of Graphs with Constant Queue Number", by Emilio Di Giacomo and Henk Meijer, October 2003. 15 pages.
2003-473 available in PDF (221.799 Kbytes) and Postscript (301.113 Kbytes)
"3D Straight-line Drawings of k-trees", by Emilio Di Giacomo, Giuseppe Liotta and Henk Meijer, October 2003. 18 pages.
1997-408
"On the Visibility of Convex Translates", by Kiyoshi Hosono, Henk Meijer and David Rappaport, August 1997.
1994-362 available in PDF (171.104 Kbytes) and Postscript (567.498 Kbytes)
"Optimal Communication Primitives on the Generalized Hypercube Network", by Paraskevi Fragopoulou, Selim G. Akl and Henk Meijer, June 1994. 25 pages.
1994-357
"Optimal Nearly-Similar Polygon Stabbers of Convex Polygons", by P. Colley, H. Meijer and D. Rappaport, June 1994. 15 pages.
1993-356
"", by Hayward, Kearney and H. Meijer.
1992-341
"On the Cycle Structure of Star Graphs", by Ke Qiu, Henk Meijer and Selim G. Akl, November 1992. 25 pages.
1991-297
"The Star And Pancake Interconnection Networks: Properties and Algorithms", by K. Qiu, S. G. Akl and H. Meijer.
1991-296
"Computing The Minimum Weight Triangulation Of A Set Of Linearly Ordered Points", by Henk Meijer and David Rappaport.
1990-286A
"Parallel Sorting Algorithm On The Star Graph", by K. Qiu, H. Meijer and S. Akl.
1990-279
"Minimum Polygon Covers Of Parallel Line Segments", by Henk Meijer and David Rappaport.
1990-278
"Decomposing A Star Graph Into Disjoint Cycles", by K. Qiu, H. Meijer and S. Akl.
1990-270
"Optimal Parallel ALgorithms for Generating Permutations", by S.G. Akl, H. Meijer and I. Stojmenovic, February 1990.
1989-257
"Parallel Binary Search with Delay Read Conflicts", by Henk Meijer and Selim G. Akl, June 1989.
1989-248
"Parallel Binary Search", by Selim G. Akl and Henk Meijer, March 1989. 5 pages.
1988-238
"Parallel Geometry on a Grid", by S.G. Akl, H. Meijer and D. Rappaport, November 1988. 9 pages.
1987-199
"Fault-Tolerant Networks of Specified Diameter", by H. Meijer and R. Dawes. 15 pages.
1987-192
"Optimal Computation of Prefix Sums On A Binary Tree of Processors", by H. Meijer and S.G. Akl, April 1987. 15 pages.
1986-187
"On the Bit Complexity of Parallel Computations", by S.G. Akl and H. Meijer, November 1986. 21 pages.
1986-184
"Bit Serial Addition Trees & Their Applications", by H. Meijer and S.G. Akl, September 1986. 11 pages.
1985-171
"Multiplication-Permutation Encryption Networks", by H. Meijer, June 1985. 15 pages.
1982-137
"An exponential lower bound on the complexity of the cryptographic knapsack problem", by H. Meijer, March 1982. 12 pages.
1981-120
"Digital Signature Schemes", by H. Meijer and S.G. Akl, April 1981. 10 pages.
1981-115
"On the average-case complexity of 'bucketing' algorithms", by S.G. Akl and H. Meijer, January 1981. 8 pages.
1980-97
"Hybrid Sorting Algorithms: A Survey", by S.G. Akl and H. Meijer, April 1980. 24 pages.
1980-92
"Hybridsort (Extended version of T.R. #79-79)", by H. Meijer and S.G. Akl, January 1980. 17 pages.
1979-79
"The Design and Analysis of A New Hybrid Sorting Algorithm", by H. Meijer and S.G. Akl, May 1979. 12 pages.

Mennie, Capt. A.L.:

1980-102
"A Compile Time Information Flow Certification Mechanism", by Capt. A.L. Mennie, May 1980. 184 pages.

Mian, Rizwan:

2011-581 (1.076 Mbytes)
"Managing Data-Intensive Workloads in a Cloud (Ph.D. Depth Paper)", by Rizwan Mian, September 2011. 43 pages.

Michel, J.:

1980-104
"ALICE: An Extensible Language Based on APL Concepts", by M.A. Jenkins and J. Michel, June 1980. 85 pages.
1978-60
"Operators in an APL Including Nested Arrays", by M.A. Jenkins and J. Michel, March 1978. 29 pages (REPLACED WITH copies from APL Quote Quad, Vol. 9, #2).
1977-59
"On types in recursive data structures: A study from the APL literature", by M.A. Jenkins and J. Michel, December 1977. 15 pages. Michel is from Universite Paris XI (Orsay).
1977-50
"A Translator System for APL-Like Languages Written in APL", by J. Michel and M.A. Jenkins, August 1977. 10 pages, Michel is from University of Paris, Orsay..

Miller, Mirka:

1994-361
"Dominance Drawings of Bipartite Graphs", by Peter Eades, Hossam ElGindy, Michael Houle, Bill Lenhart, Mirka Miller, David Rappaport and Sue Whitesides, May 1994. 16 pages .

Moffat, D.G.:

1974-23
"A Turing Machine Simulator for the PDP-11", by D.G. Moffat and M. Levison, February 1974. 5 pages.
1974-22
"A Neural Net Simulator", by M. Levison and D.G. Moffat, January 1974. 8 pages.
1973-14
"APL/11 - A Poor Man's APL", by D. Moffat and M.A. Jenkins, April 1973. 5 pages.
1972-06
"A Simulator for the PDP-11", by D. Moffat and M. Levison, May 1972. 12 pages.

Mohamed, Atef:

2009-559 available in PDF (226.207 Kbytes) and Postscript (2.710 Mbytes)
"A Comparative Study on the Reliability Efforts in Component-Based Software Systems", by Atef Mohamed and Mohammad Zulkernine, June 2009. 33 pages.

Mohammad, Samir:

2010-576 (477.414 Kbytes)
"Relational Universal Index Structure for Evaluating XML Twig Queries", by Samir Mohammad and Patrick Martin, November 2010. 12 pages.
2010-570 available in PDF (430.611 Kbytes) and Postscript (31.649 Mbytes)
"LTIX: A Compact Level-based Tree to Index XML Databases", by Samir Mohammad and Patrick Martin, May 2010. 29 pages.
2009-560 available in PDF (347.494 Kbytes) and Postscript (53.176 Mbytes)
"XML Structural Indexes", by Samir Mohammad and Patrick Martin, June 2009. 54 pages.

Mohammadi, Arezou:

2007-536 available in PDF (192.711 Kbytes) and Postscript (410.522 Kbytes)
"Penalty Minimization in Scheduling a Set of Soft Real-Time Tasks", by Arezou Mohammadi and Selim G. Akl, June 2007. 19 pages.
2007-535 available in PDF (167.060 Kbytes) and Postscript (389.197 Kbytes)
"Number of Processors for Scheduling a Set of Real-Time Tasks: Upper and Lower Bounds", by Arezou Mohammadi and Selim G. Akl, June 2007. 22 pages.
2005-499 available in PDF (469.850 Kbytes) and Postscript (4.199 Mbytes)
"Scheduling algorithms for real-time systems", by Arezou Mohammadi and Selim G. Akl, July 2005. 49 pages.

Mouftah, H.T.:

1996-399
"A Real-time Broadband Multimedia Transport Protocol", by Zhenjun Zhu, Patrick Martin and H.T. Mouftah, May 1996.