 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/910065.perrott.ps.Z, 19920709 MACQUARIE COMPUTING REPORTS Object Recognition, A Survey of the Literature Chris G. Perrott and Leonard G. C. Hamey January 26, 1991 Report No. 91{0065C School of MPCE, Macquarie University, NSW 2109 AUSTRALIA |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/920094.hamey.ps.Z, 19920715 MACQUARIE COMPUTING REPORTS On Human Perception of Regular Repetitive Textures Leonard G. C. Hamey len@mpce.mq.edu.au May 26, 1992 Report No. 92{0094C School of MPCE, Macquarie University, NSW 2109 AUSTRALIA |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/orgun.adc93.ps.Z, 19921016 A TEMPORAL ALGEBRA BASED ON AN ABSTRACT MODEL MEHMET A. ORGUN School of Mathematics, Physics, Computing and Electronics Macquarie University, North Ryde, NSW 2109, Australia and HAUSI A. MULLER Department of Computer Science, University of Victoria P.O.Box 3055, Victoria, B.C. V8W 3P6, Canada |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/920113.hamey.ps.Z, 19930208 MACQUARIE COMPUTING REPORTS Efficient Image Processing on RISC Workstations Leonard G. C. Hamey len@mpce.mq.edu.au December 1992 Report No. 92-0113C School of MPCE, Macquarie University, NSW 2109 AUSTRALIA |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/930125.orgun.ps.Z, 19930419 Chronolog admits a complete proof procedurey MEHMET A. ORGUN Department of Computing, Macquarie University Sydney, NSW 2109, Australia and WILLIAM W. WADGE Department of Computer Science, University of Victoria Victoria, B.C. V8W 3P6, Canada |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/930129.zhang.ps.Z, 19930617 EXPLOITING AND-PARALLELISM AND COMBINED AND/OR- PARALLELISM IN LOGIC PROGRAMS: A SURVEY Kang Zhang Department of Computing, School of MPCE Macquarie University, NSW 2109, Australia |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/930140.orgun.ps.Z, 19931214 On Temporal Deductive Databasesy MEHMET A. ORGUN Department of Computing, Macquarie University Sydney, NSW 2109, Australia Tel: +61 (0)2 805-9916, Fax: +61 (0)2 805-8983 E-mail: mehmet@mpce.mq.edu.au |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/zhang.phoenix94.ps.Z, 19940224 Parallel Program Visualisation for a Message-Passing System Gaurav Marwaha Kang Zhang Department of Computing, Macquarie University, NSW 2109, Australia |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/920121.zhang.ps.Z, 19940227 1. INTRODUCTION The execution speed of sequential logic programming systems has been constantly improving since D.H.D. Warren's Prolog interpreter/compiler for the DEC-System10 proved the usefulness of logic as a practical programming tool . Yet, in order to meet the requirements of today's and |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/930137.zhang.ps.Z, 19940326 1 Meta Logic Programming for Modelling Message Passing Parallel Programs Kang Zhang Department of Computing, Macquarie University Sydney, NSW 2109, Australia Email: kang@mpce.mq.edu.au Fax: +61 2 8059531 |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/zhang.icci94.ps, 19940409 1 Parallel Execution of Temporal Logic Programs Using Dataflow Computation Kang Zhang Mehmet A. Orgun Department of Computing, Macquarie University Sydney, NSW 2109, Australia |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/orgun.icci93.ps.Z, 19940420 Chronolog(Z): Linear-time logic programming Mehmet A. Orgun William W. Wadge Weichang Du Department of Computing Department of Computer Science Department of Computer Science Macquarie University University of Victoria University of New Brunswick Sydney, NSW 2109, Australia Victoria, B.C. V8W 3P6, |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/orgun.jlc94.ps.Z, 19940422 Extending Temporal Logic Programming with Choice Predicates Non-determinismy MEHMET A. ORGUN WILLIAM W. WADGE Department of Computing Department of Computer Science Macquarie University University of Victoria Sydney, NSW 2109, Australia Victoria, B.C. V8W 3P6, Canada |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/orgun.icci94.ps.Z, 19940508 Multi-Dimensional Logic Programming Mehmet A. Orgun Weichang Du Department of Computing Department of Math & Computer Science Macquarie University University of New Brunswick Sydney, NSW 2109, Australia Saint John, N.B. E2L 4L5, Canada E-mail: mehmet@mpce.mq.edu.au E-mail: wdu@unb.ca |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/lei.pdcs94.ps.Z, 19940804 1 Performance Visualisation of Message Passing Programs Using Relational Approach Sute Lei Kang Zhang Department of Computing, Macquarie University Sydney, NSW 2109, Australia |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/zhang.VL94.ps.Z, 19940807 Graphical Assistance in Parallel Program Development Kang Zhang* Wanli Ma** *Department of Computing, Macquarie University, NSW 2109, Australia **Computer Sciences Laboratory, Australian National University, ACT 0200, Australia |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/940146.orgun.ps.Z, 19941026 An Overview of Temporal and Modal Logic Programming Mehmet A. Orgun1 and Wanli Ma2 1 Department of Computing, Macquarie University, Sydney, NSW 2109, Australia 2 Computer Sciences Laboratory, RSISE, The Australian National University, Canberra, ACT 0200, Australia |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/940160.herbert.ps.Z, 19941222 Generating Optimal Policies with the Murphy Model R.D. Herbert & R.D. Bell Department of Computing Macquarie University Sydney1 This paper is concerned with economic policy evaluation using the Murphy model and control theoretic principles. The approach taken here is to build a learning (or observing) |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/orgun.sigart94.ps.Z, 19941222 Temporal and Modal Logic Programming: An Annotated Bibliography Compiled by Mehmet A. Orgun Department of Computing Macquarie University Sydney, NSW 2109, Australia mehmet@mpce.mq.edu.au |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/liu.ica3pp95.ps.Z, 19950308 A Framework for Exploiting Parallelism in Chronology Chuchang Liu Mehmet A. Orgun Kang Zhang Department of Computing, Macquarie University, NSW 2109, Australia Tel: +61 2 850-9514 (dept), Fax: +61 2 850-9551 E-mail: fcliu, mehmet, kangg@krakatoa.mpce.mq.edu.au |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/950166.liu.ps.Z, 19950308 A Parallel Execution Model for Chronolog Chuchang Liu Mehmet A. Orgun Kang Zhang Department of Computing, Macquarie University Sydney, NSW 2109, Australia Tel: +61 2 850-9514 (dept), Fax: +61 2 850-9551 E-mail: fcliu, mehmet, kangg@krakatoa.mpce.mq.edu.au |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/raychaudhuri.acnn95.ps.Z, 19950316 Copyright 1995 by T. RayChaudhuri, J. Yeh, L. Hamey and C. Westcott. All rights reserved. Proceedings of the Sixth Australian Conference on Neural Networks Sydney, 6-8 February 1995, pages 152-155. Baked Product Classification with the Use of a Self-Organising Map T.RayChaudhuriy J.Chien-Hong Yehy |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/950167.hamey.ps.Z, 19950316 Analysis of the Error Surface of the XOR Network with Two Hidden Nodes Leonard G. C. Hamey Department of Computing Macquarie University NSW 2109 Australia len@mpce.mq.edu.au Computing Report 95{167C 9 Feb 1995 |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/hamey.acnn95.ps.Z, 19950316 Copyright 1995 by Leonard G. C. Hamey. All rights reserved. Proceedings of the Sixth Australian Conference on Neural Networks Sydney, 6-8 February 1995, pages 197-200. The Structure of Neural Network Error Surfaces Leonard G. C. Hamey Department of Computing, Macquarie University, NSW 2109 Australia |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/950170.raychaudhuri.ps.Z, 19950324 From Conventional Control to Intelligent Neurocontrol Methods - A Survey of the Literature. Tirthankar RayChaudhuri Leonard G.C. Hamey tirthank@mpce.mq.edu.au This publication is available at the following URL ftp://ftp.mpce.mq.edu.au/pub/comp/techreports Macquarie University Technical Report No. |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/950173.raychaudhuri.ps.Z, 19950508 An Algorithm for Active Data Collection for Learning | Feasibility Study with Neural Networks. Tirthankar RayChaudhuri Leonard G.C. Hamey tirthank@mpce.mq.edu.au This publication is available at the following URL ftp://ftp.mpce.mq.edu.au/pub/comp/techreports Macquarie University Technical Report No. |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/zhang.VL95.ps.Z, 19950614 employs a visual language as a high level specification tool for integrating existing software packages as built in units. The built in units cannot only be served as elements of a visual program, but also be used to provide computational details (e.g. textual code). Therefore high level modelling and |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/ma.islip95.ps.Z, 19951017 VERIFYING MULTRAN PROGRAMS WITH TEMPORAL LOGIC Wanli Ma Computer Sciences Laboratory, Research School of Information Science and Engineering The Australian National University Canberra, ACT 0200, Australia E-mail: ma@cslab.anu.edu.au and Mehmet Orgun Department of Computing, School of MPCE Macquarie |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/950174.orgun.ps.Z, 19951023 Proceedings of ISLIP'95 The Eighth International Symposium on Languages for Intensional Programming May 3{5, 1995, Macquarie University, Sydney, Australia Editors Mehmet A. Orgun Department of Computing Macquarie University Sydney, New South Wales, Australia Edward A. Ashcroft Department of Computer |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/950004.liu.ps.Z, 19951102 Dealing with Multiple Granularity of Time in Temporal Logic Programming CHUCHANG LIU AND MEHMET A. ORGUN Department of Computing, Macquarie University, NSW 2109, Australia Tel: +61 2 850-9514 (dept), Fax: +61 2 850-9551 E-mail: fcliu,mehmetg@krakatoa.mpce.mq.edu.au |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/liu.acsc96.ps.Z, 19951121 Clocked Temporal Logic Programming Chuchang Liu Mehmet A. Orgun Department of Computing Macquarie University NSW 2109, Australia E-mail: fcliu,mehmetg@krakatoa.mpce.mq.edu.au |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/950005.orgun.ps.Z, 19951129 A Temporal Algebra with Recursive Equations Mehmet Al_ Orgun Department of Computing, Macquarie University Sydney, NSW 2109, Australia E-mail: mehmet@mpce.mq.edu.au |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/raychaudhuri.icnn95.ps.Z, 19960122 Copyright IEEE 1995. Appears in Proc. 1995 IEEE Int. Conf. Neural Networks, pp. 1338-1341. Minimisation of Data Collection by Active Learning Tirthankar RayChaudhuri and Leonard G.C. Hamey tirthank@mpce.mq.edu.au School of MPCE, Macquarie University, New South Wales 2109, Australia |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/yeh.acnn94.ps.Z, 19960122 Copyright 1994 J. Yeh and L. Hamey. Proceedings of the Fifth Australian Conference on Artificial Neural Networks 1994, pages 266-269. Biscuit Bake Assessment by an Artificial Neural Network Jeffrey C.H. Yeh, and Leonard G.C. Hamey Department of Computing Macquarie University, NSW 2109, Australia |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/raychaudhuri.control95.ps.Z, 19960122 Copyright 1995 T. RayChaudhuri, L. Hamey and R. Bell. Appears in Control 95, vol 2, pp 369-373. Neural Network Control Using Active Learning Tirthankar RayChaudhuri Leonard G.C. Hamey Rodney D. Bell School of MPCE, Macquarie University, New South Wales, Australia Summary Neural networks have been shown |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/raychaudhuri.ai95.ps.Z, 19960122 Copyright 1995 by T. RayChaudhuri, J. Yeh, L. Hamey, S. Sung and T. Westcott Appears in Proc. 8th Australian Joint Conf. Artificial Intelligence, 1995, pp. 435-441. A Connectionist Approach to Quality Assessment of Food Products Tirthankar RayChaudhuriy Jeffrey C.H. Yehy Leonard G.C. Hameyy Samuel K.Y. |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/hamey.nips91.ps.Z, 19960122 Copyright 1991, L. Hamey. Appears in Advances in Neural Information Processing Systems 4 Morgan Kaufmann Publishers, 1992, pages 1167-1174. Benchmarking Feed-Forward Neural Networks: Models and Measures Leonard G. C. Hamey Computing Discipline Macquarie University NSW 2109 AUSTRALIA |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/hamey.dicta93.ps.Z, 19960122 Appears in Proc. Digital Image Computing: Techniques and Applications Sydney, 8-10 December 1993, pages 124-129. Copyright 1993 L. Hamey, A. Watson and T. Westcott. MACHINE INSPECTION OF BISCUIT BAKE Leonard G. C. Hamey (+) Annesley J. Watson (*) C. Tasman Westcott (*) (+) Department of Computing, |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/yeh.icnn95.ps.Z, 19960301 Copyright IEEE 1995. 10. References Bob Sperber. Prime Time For Machine Vision, Food Processing, vol 53, No 10, pp19, 21, 24 25, October, 1992. R.M. Hodgson. Digital Image Processing A Developing Technology For Enhancing Productivity, In Proceedings of Control, 1992. L.G.C. Hamey, A.J. |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/950006.gibb.ps, 19960304 A Comparison of Back Propagation Implementations Jondarr Gibb and Leonard Hamey Department of Computing Macquarie University Technical Report C/TR95-06 September, 1995 |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/95C006.gibb.ps.Z, 19960304 A Comparison of Back Propagation Implementations Jondarr Gibb and Leonard Hamey Department of Computing Macquarie University Technical Report C/TR95-06 September, 1995 |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/orgun.time96.ps.Z, 19960319 A Recursive Temporal Algebra and Temporal Completeness Mehmet A. Orgun Department of Computing Macquarie University Sydney, NSW 2109, Australia http://www-comp.mpce.mq.edu.au/ mehmet |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/hamey.acnn96b.ps.Z, 19960415 Copyright 1996 by Leonard G. C. HameyAppears in Proc. Seventh Australian Conf. Artificial Neural Networks,pages 173-178, 1996. Results on Weight Configurations that are not Local Minima in Feed-Forward Neural Networks Leonard G. C. Hamey len@mpce.mq.edu.au School of MPCE Macquarie University NSW 2109 |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/hamey.acnn96a.ps.Z, 19960415 Copyright 1996 by Leonard G. C. HameyAppears in Proc. Seventh Australian Conf. Artificial Neural Networks,pages 179-183, 1996. Analysis of the Error Surface of the XOR Network with Two Hidden Nodes Leonard G. C. Hamey len@mpce.mq.edu.au School of MPCE Macquarie University NSW 2109 Australia |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/960002.sommer.ps.Z, 19960415 /PERATING 3YSTEM %XTENSIONS FOR $YNAMIC 2EAL 4IME !PPLICATIONSffi 3TEVEN 3OMMER AND *OHN 0OTTER -ICROSOFT 2ESEARCH )NSTITUTE ffl $EPARTMENT OF #OMPUTINGfi -ACQUARIE 5NIVERSITYfi .ffi3ffi7ffi ssfi !USTRALIA %MAILae STEVE MPCEffiMQffiEDUffiAUfi POTTER MPCEffiMQffiEDUffiAU )NTRODUCTION 4RADITIONAL REAL |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/sommer.acsc96.ps.Z, 19960510 Removing Priority Inversion from an Operating System Steven Sommer Distributed Computing Group, Microsoft Institute Research, P.O. Box 91, North Ryde, N.S.W. 2113 Australia t-ssomr@microsoft.com Department of Computing, Macquarie University, N.S.W. 2109 Australia steve@mpce.mq.edu.au |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/960003.orgun.ps, 19960529 Multi-Dimensional Logic Programming: Theoretical Foundations Mehmet A. Orgun Weichang Du Department of Computing Department of Mathematics & Computer Science Macquarie University University of New Brunswick Sydney, NSW 2109, Australia Saint John, N.B. E2L 4L5, Canada Tel: +61 2 850-9570 Tel: +1 506 |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/danielli.ica3pp.ps, 19960816 A Knowledge Based Performance Tuning Tool for Parallel Programs Kei Chun Li Kang Zhang Department of Computing Macquarie University Sydney, NSW 2109, Australia @mpce.mq.edu.au |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/sommer.part96.ps, 19960816 An Overview of the Real-Time Dreams Extensions Steven Sommer Microsoft Research Institute / Department of Computing, Macquarie University, N.S.W. 2109, Australia steve@mpce.mq.edu.au John Potter Microsoft Research Institute, School of MPCE, Macquarie University, N.S.W. 2109, Australia |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/960005.gibb.ps, 19960828 Back Propagation Family Album jondarr c g h 2 ~ gibb Department of Computing Macquarie University NSW 2109 Technical Report C/TR96-05 August, 1996 Version 1.0 |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/96C005.gibb.ps, 19960828 Back Propagation Family Album jondarr c g h 2 ~ gibb Department of Computing Macquarie University NSW 2109 Technical Report C/TR96-05 August, 1996 Version 1.0 |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/960006.sommer.ps, 19961018 1 Interrupted EDF Scheduling Steven Sommer Technical Report C/TR96-06 Microsoft Research Institute & Department of Computing School of MPCE Macquarie University NSW 2109 Australia October 1996 1. Introduction In this paper we extend the results for the mixed scheduling algorithm of Liu and Layland in |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/sommer.acsc97.ps, 19970117 Temporal Protection in Dreams Steven Sommer Microsoft Research Institute and Department of Computing, School of Mathematics, Physics, Computing and Electronics, Macquarie University, NSW 2109, Australia steve@mpce.mq.edu.au |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/liu.acsc97.ps, 19970211 Specifying Timing Properties of Reactive Systems with TLC Chuchang Liu Mehmet A. Orgun Department of Computing Macquarie University NSW 2109, Australia E-mail: fcliu,mehmetg@krakatoa.mpce.mq.edu.au |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/gibb.acsc97.ps, 19970211 MINNI: Micromouse Incorporating Neural Network Intelligence Jondarr Gibb Computing Department Macquarie University NSW 2109 jondarr@mpce.mq.edu.au Len Hamey Computing Department Macquarie University NSW 2109 len@mpce.mq.edu.au |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/hamey.seg96.ps, 19970211 Copyright 1996 by L. Hamey and J. Yeh Appears in Image Segmentation Workshop, pp 65-68, Australian Pattern Recognition Society, 1996. Segmentation of Bake Images by a Self-Organising Map Leonard G. C. Hamey and Jeffrey C.-H. Yeh Department of Computing Macquarie University NSW 2109 Phone: (02)9850-9527 |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/960007.raychaudhuri.ps, 19970212 Macquarie Computing Report No. C/TR 96-07 COST-EFFECTIVE QUERYING LEADING TO DUAL CONTROL Tirthankar RayChaudhuri and Leonard G.C. Hamey June 1996 c 1996 Tirthankar RayChaudhuri and Leonard G.C. Hamey All Rights Reserved Cost-Effective Querying leading to Dual Control Tirthankar RayChaudhuri and Leonard |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/960008.quail.ps, 19970214 Space Time Ray Tracing using Ray Classification Matthew Quail Submitted for the partial fulfilment of the requirements of the Bachelor of Science with Honours November 1996 Department of Computing School of Maths, Physics, Computing and Electronics Macquarie University |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/970007.liu.ps, 19970606 STRUCTURAL SIMULATION OF DISTRIBUTED COMPUTATIONS USING CHRONOLOG(MC) CHUCHANG LIU and MEHMET A. ORGUN Department of Computing, Macquarie University Sydney, NSW 2109, Australia E-mail: fcliu, mehmetg@krakatoa.mpce.mq.edu.au |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/raychaudhuri.phd_thesis.97.ps, 19970616 SEEKING THE VALUABLE DOMAIN - QUERY LEARNING IN A COST-OPTIMAL PERSPECTIVE Tirthankar RayChaudhuri, B.E.E., M.E.E. Thesis for the degree of Doctor of Philosophy School of Mathematics, Physics, Computing and Electronics Macquarie University, Sydney January 1997 c 1997 Tirthankar RayChaudhuri Research |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/970010.sommer.ps, 19970627 1 Admissibility Tests for Interrupted Earliest Deadline First Scheduling with Priority Inheritance Steven Sommer and John Potter 7HFKQLFDO 5HSRUW & 75oae <= LFURVRIW 5HVHDUFK ,QVWLWXWH 'HSDUWPHQW RI &RPSXWLQJffl 6FKRRO RI 03&(ffl DFTXDULH 8QLYHUVLWffl 1 6 : >=<= offl $XVWUDOLD -XQH <=ooae (PDLOAE |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/970009.holland.ps, 19970704 A Constrained Interface Refinement Method for Embedded System Design Michael G. Holland Department of Computing, MPCE, Macquarie University, Sydney, NSW 2109, Australia. email: mholland@mpce.mq.edu.au Report No. C/TR97-09 1st June, 1997 |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/zhang.VL97.ps, 19970716 Reserved Graph Grammar: A Specification Tool for Diagrammatic VPLs Da Qian Zhang Kang Zhang Department of Computing, Macquarie University, NSW 2109, Australia {daqian, kang}@mpce.mq.edu.au |
 | ftp://ftp.mpce.mq.edu.au/pub/comp/papers/stankovic.VL97.ps, 19970716 Towards Visual Development of Message-Passing Programs Nenad Stankovic Kang Zhang Department of Computing, Macquarie University Sydney, NSW 2109, Australia {nstankov, kang}@mpce.mq.edu.au |