Further Enquiries
School of Computer Science
Plaza Building
The University of Adelaide
SA 5005
AUSTRALIA
Email
Telephone: +61 8 8303 5586
Facsimile: +61 8 8303 4366
 |
Publications
By year:
Note: Post-2005 publication listings may be found on staff members' personal websites.
Books
- Michalewicz, M. & Michalewicz, Z., Credibility: the critical success factor. Wydawnictwo Polsko-Japonskiej Wzszej
Szkoly Technik Komputerowych. ISBN 83-89244-45-4
Journal
- Grove, D. & Coddington, P.&, Modeling message-passing programs with a Performance Evaluating Virtual Parallel Machine, Performance Evaluation. 60 (1-4): 165-187, 2005
- Chojnacki W; Brooks MJ; Van Den Hengel AJ & Gawley DJ. FNS, CFNS and HEIV: A unifying approach. Journal of Mathematical Imaging and Vision. 23 (2): 175-183. 2005.
- Grove DA & Coddington PD. Communication benchmarking and performance modelling of MPI programs on
cluster computers. Journal of Supercomputing. 34 (2): 201-217, 2005
- Piraveenan M; Prokopenko M; Wang P & Price D. Towards adaptive clustering in self-monitoring multi-agent
networks. Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence. 3682: 796-805.
http://digital.library.adelaide.edu.au/dspace/handle/2440/16760
- · Jones CE; Baumann U & Brown AL 2005. Automated methods of predicting the function of biological sequences using
GO and BLAST. B M C Bioinformatics. 6 (272): WWW 1-WWW 10.
- · Izu MC; Miguel-Alonso J & Gregorio JA 2005. Evaluation of interconnection network performance under heavy nonuniform
loads. Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence. 3719: 396-405.
- · Johnson RW; Milech ME; Michalewicz Z & Schmidt M 2005. Coevolutionary optimization of fuzzy logic intelligence for
strategic decision support. IEEE Transactions on Evolutionary Computation. 9 (6): 682-694.
- · Leong LKW; Coddington PD & Wendelborn AL 2005. Data grid services for biodiversity informatics. International Journal
of Information Technology. 11 (3): 29-39.
- · Detmold H; Falkner KE; Munro DS; Olds TJ; Morrison R & Norcross S 2005. Server enforced program safety for web
application engineering. Journal of Web Engineering. 4 (4): 339-371.
- · Michalewicz Z; Schmidt M; Michalewicz MT & Chiriac C 2005. Case study: An intelligent decision-support system. IEEE
Intelligent Systems. 20 (4): 44-49.
- · Wagner N; Michalewicz Z; Khouja M & McGregor RR 2005. Forecasting with a dynamic window of time: The DyFor
genetic program model. Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence. 2004: 205-215.
- · Norcross S; Morrison R; Munro DS; Detmold H & Falkner KE 2005. Implementing a family of distributed garbage
collectors. Journal of Research and Practice in Information Technology. 37 (1): 107-126.
Conference Publications
- · Grove DA & Coddington PD 2005. Analytical models of probability distributions for MPI point-to-point communication
times on distributed memory parallel computers. The 6th International Conference on Algorithms and Architectures for
Parallel Processing, M Hobbs, AM Goscinski, W Zhou (eds), 406-415. Melbourne, Australia.
- · Lakos CA 2005. A Petri Net view of mobility. The 25th IFIP WG 6.1 International Conference: 'Formal Techniques for
Networked and Distributed Systems - FORTE 2005', F Wang (eds), 174-188. Taipei, Taiwan.
- · Menon C; Johnson M & Lakos CA 2005. Inconsistency management and view updates. The Second International
Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, M Mislove, J
Kuster-Filipe, I Poernomo, R Reussner, S Shukla (eds), 27-51. Edinburgh, Scotland.
- · Michalewicz Z; Schmidt M; Michalewicz MT & Chiriac C 2005. Evaluation functions for real world problems: A case
study. The 10th Jubilee Meeting of the EURO Working Group on Transportation: 'Advances in Modeling, Optimization
and Management of Transportation Processes and Systems - Theory and Practice', A Jaszkiewicz, M Kaczmarek, J Zak,
M Kubiak (eds), 24-33. Poznan, Poland.
- · Michalewicz Z; Schmidt M; Michalewicz MT & Chiriac C 2005. Prediction, distribution, and transportation: A case study.
The First International Symposium on Intelligence Computation and Applications, K Lishan, C Zhihua, Y Xuesong (eds),
545-557. Wuhan, Hubei.
- · Schmidt M; Michalewicz Z; Michalewicz MT & Chiriac C 2005. Prediction and optimization in a dynamic environment: A
case study. The 2005 IEEE Congress on Evolutionary Computation, B McKay (eds), 781-788. Edinburgh, Scotland.
- · Falkner NJG; Coddington PD & Wendelborn AL 2005. Developing an ontology for the domain name system. The
Sixteenth International Workshop on Database and Expert Systems Applications, A Min Tjoa, RR Wagner (eds), 562-
566. Copenhagen, Denmark.
- · Scoleri T; Chojnacki W & Brooks MJ 2005. A multi-objective parameter estimator for image mosaicing. The 8th
International Symposium on Signal Processing and its Applications, A Bouzerdoum, A Beghdadi (eds), 551-554. Sydney,
Australia.
- · Shen C & Brooks MJ 2005. Adaptive over-relaxed mean shift. The 8th International Symposium on Signal Processing
and its Applications, A Bouzerdoum, A Beghdadi (eds), 575-578. Sydney, Australia.
- · Abdul Hamid NAW; Coddington PD & Vaughan FA 2005. Performance analysis of MPI communications on the SGI Altix
3700. The APAC Conference and Exhibition on Advanced Computing, Grid Applications and eResearch, J Young, R
Chhabra (eds), CD ROM 1-CD ROM 20. Royal Pines Resort, Gold Coast, Queensland.
- · Shen C; Brooks MJ & Van Den Hengel AJ 2005. Fast global kernel density mode seeking with application to localisation
and tracking. The Tenth IEEE International Conference on Computer Vision, S Ma, H-Y Shum (eds), 1516-1523. Beijing,
China.
- · Shen C; Brooks MJ & Van Den Hengel AJ 2005. Augmented particle filtering for efficient visual tracking. The IEEE
International Conference on Image Processing, CS Regazzoni, F De Natale (eds), 1-4. Genoa, Italy.
- · Shen C; Van Den Hengel AJ & Brooks MJ 2005. Visual tracking via efficient kernel discriminant subspace learning. The
IEEE International Conference on Image Processing, CS Regazzoni, F De Natale (eds), 1-4. Genoa, Italy.
- · Brooks MJ; Dick AR & Van Den Hengel AJ 2005. Towards intelligent networked video surveillance for the detection of
suspicious behaviours. The 2005 Science, Engineering and Technology Summit, P Mendis, J Lai, E Dawson (eds), 153-
161. Canberra.
- · Lakos CA & Kristensen LM 2005. State space exploration of object-based systems using equivalence reduction and the
sweepline method. The Third International Symposium: 'Automated Technology for Verification and Analysis', DA Peled,
Y-K Tsay (eds), 187-201. Taipei, Taiwan.
- · Hemer DG; Long G & Strooper P 2005. Plug-in proof support for formal development environments. The Eleventh
Computing: The Australasian Theory Symposium, M Atkinson, F Dehne (eds), 69-79. Newcastle, Australia.
- · Hemer DG 2005. A formal approach to component adaptation and composition. The Twenty Eighth Australasian
Computer Science Conference, V Estivill-Castro (eds), 259-266. Newcastle, Australia.
- · Hemer DG 2005. Specification-based retrieval strategies for component architectures. The 2005 Australian Software
Engineering Conference, P Strooper (eds), 233-242. Brisbane, Australia.
- · Ohta N & Dick AR 2005. Pedestrian detection and identification using two cameras. The Ninth IAPR Conference on
Machine Vision Applications, IS Kweon (eds), 302-305. Tsukuba Science City, Japan.
- · Kelly PM; Coddington PD & Wendelborn AL 2005. Distributed, parallel web service orchestration using XSLT. The First
International Conference on e-Science and Grid Computing, H Stockinger, R Buyya, R Perrott (eds), 312-319.
Melbourne, Australia.
- · Kuehn JMI; Lakos CA & Esser RP 2005. A proposal for relative time petri nets. The Third IEEE International Conference
on Software Engineering and Formal Methods, BK Aichernig, B Beckert (eds), 240-249. Koblenz, Germany.
- · Bastian JW & Van Den Hengel AJ 2005. Computing surface-based photo-consistency on graphics hardware. The 8th
Biennial Conference of the Australian Pattern Recognition Society: 'Digital Image Computing: Techniques and
Applications', BC Lovell, AJ Maeder, T Caelli, S Ourselin (eds), CD ROM 1-CD ROM 8. Cairns, Queensland, Australia.
- · Wagner N; Michalewicz Z; Khouja M & McGregor RR 2005. Time series forecasting for dynamic environments: the
DyFor Genetic Program Model. The First Warsaw International Seminar on Intelligent Systems, O Hryniewicz, J
Kacprzyk, J Koronacki, ST Wierzchon (eds), 287-308. Warsaw.
Journal
- Chojnacki, W,. Brooks, M. J., van den Hengel, A. & Gawley, D., A new constrained parameter estimator for computer vision applications, Image & Vision Computing, 22(2):85-91, 2004
- Chojnacki, W., Brooks, M. J., van den Hengel, A. & Gawley, D., From FNS to HEIV: a link between two vision parameter estimation methods, IEEE Trans Pattern Analysis and Machine Intelligence, 26(2):264-268, 2004
- Dick, A.R., **Torr, P. & **Cipolla, R., Modelling and interpretation of architecture from several images, International Journal of Computer Vision, 60(2) pp: 111-134, 2004
- Grove, D.A. & Coddington, P.D., Modelling Message Passing Programs Using a Performance Evaluating Virtual Parallel Machine, to appear in Performance Evaluation.
- Jin, Y., Lakos, C. & Esser, R., Modular Consistency Analysis of Component-Based Designs. To appear in Journal of Research and Practice in Information Technology, 2004.
- Jin, Y., Esser, R. & **Janneck, J.W., A Method for Describing the Syntax and Semantics of UML Statecharts. To appear in Journal of Software and Systems Modelling, Volume 2, Number 6.
- **Norcross, S., **Morrison, R., Munro, D.S., Detmold, H. & Falkner, K., Implementing a Family of Distributed Garbage Collectors. To appear in Journal of Research and Practice in Information Technology, 2004.
Conference
- Alexander, B, Automated Transformation of BMF Programs, Proceedings of the 1st International Workshop on Object Systems and Software Architectures, Victor Harbor, Australia, 11-14 January 2004.
- Brodie-Tyrrell, W., Detmold, H., Falkner, K. & Munro, D.S., Garbage Collection for Storage-Oriented Clusters, 27th Australasian Computer Science Conference (ACSC 2004), 18-22 January 2004, Dunedin, New Zealand.
- Brodie-Tyrrell, W., Back-Tracing over Distributed Persistent Storage Without Transactions, Proceedings of the 1st International Workshop on Object Systems and Software Architectures, Victor Harbor, Australia, 11-14 January 2004.
- Brown, A.L., Constructing Chromosome Scale Suffix Trees, Proceedings of the 2nd Asia Pacific Bio-informatics Conference, APBC'04, Otago University, Dunedin, New Zealand, 18-22 January 2004.
- Coddington, P.D. & Newell, A.J., JAPARA - A Java Parallel Random Number Generator Library for High-Performance Computing. To appear in Proceedings of Java for Parallel and Distributed Computing Workshop, in conjunction with Int. Parallel and Distributed Processing Symposium (IPDPS'04), Santa Fe, April 2004.
- Falkner, K, Detmold, H., Howard, D., Munro, D.S., **Morrison, R. & **Norcross, S., Unifying Statis and Dynamic Approaches to Evolution through the Compliant Systems Architecture, Thirty-Seventh Hawaii International Conference on System Sciences (HICSS-37), January 2004.
- Grove, D.A. & Coddington, P.D., Communication Benchmarking and Performance Modelling of MPI Programs on Cluster Computers. To appear in Proceedings of Workshop on Perfomance Modelling, Evaluation and Optimization of Parallel and Distributed Systems (PMEO-PDS'04), in conjunction with Int.Parallel and Distributed Processing Symposium (IPDPS'04), Santa Fe, April 2004.
- Howard, D. & Falkner, K., Designing a Flexible Naming System with the Compliant Systems Architecture, Proceedings of the 1st International Workshop on Object Systems and Software Architectures, Victor Harbor, Australia, 11-14 January 2004.
- Lakos, C. & **Petrucci, L., Modular Analysis of Systems Composed of Semiautonomous Subsystems, Proceedings of the 4th International Conference on Application of Concurrency to System Design (to appear), Vancouver, Canada, IEEE Computer Society, 2004.
- Lowry, M., Garbage Collection in Single-Site and Distributed Systems via Hybridisation of the Beltway and Train Algorithms, Proceedings of the 1st International Workshop on Object Systems and Software Architectures, Victor Harbor, Australia, 11-14 January 2004.
- Martinaitis, P., Overview of the JavaF Project, Proceedings of the 1st International Workshop on Object Systems and Software Architectures, Victor Harbor, Australia, 11-14 January 2004.
- Menon, C., Lakos, C. & **Kong, C., Towards a Semantic Basis for Rosetta, Proceedings of the Twenty-seventh Australasian Computer Science Conference, Australian Computer Science Communications, Dunedin, New Zealand, Australian Computer Society, 2004.
- Olds, T., Detmold, H., Falkner, K. & Munro, D.S., Engineering Safe and Efficient Shareability within Web Systems. To appear in the Sixth Asia Pacific Web Conference (APWeb'04), Hangzhou, China, April 2004, pp 681-694.
- Olds, T., The World Wide Web as a Distributed Object System, Proceedings of the 1st International Workshop on Object Systems and Software Architectures, Victor Harbor, Australia, 11-14 January 2004.
- Williams, K. & Esser, R., Verification of the Futurebus+ Cache Coherence Protocol: A case study in model checking, 27th Australasian Computer Science Conference (ACSC 2004), 18-22 January 2004, Dunedin, New Zealand.
Edited Book
- Detmold, H., Falkner, K. & Munro, D.S., (Eds). Proceedings of the 1st International Workshop on Object Systems and Software Architectures, January 2004 (148 pages).
Journal
- Chojnacki, W., Brooks, M. J., van den Hengel, A. & Gawley, D., Revisiting Hartleys normalised eight-point algorithm, IEEE Trans Pattern Analysis and Machine Intelligence, 25(9):1172-1177, 2003.
- Elhay, S., **Golub, G.H. & **Ram, Y.M., On the spectrum of a modified linear pencil, Computers and Maths with Applications 46 (2003 pp 1413-1426.
- **Hawick, K.A., Coddington, P.D. & **James, H.A., Distributed Frameworks and Parallel Algorithms for Processing Large-Scale Geographic Data, Parallel Computing 10, 1297, 2003.
- **Kong, C., **Alexander, P. & Menon, C., Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language, Journal of Universal Computer Science, 9(11):1322-1349, November 2003.
- **Puente, V., **Gregorio, J.A., **Beivide, R. & Izu, C., On the Design of a High-Performance Adaptive Router for CC-NUMA Multiprocessors, IEEE Transactions on Parallel and Distributed Systems, 14(5), May 2003.
Conference
- Bastian, J. & van den Hengel, A., Computing Image-Based Reprojection Error on Graphics Hardware.Digital Image Computing: Techniques and Applications, Proceedings of the Biennial Australian Pattern Recognition Society Conference - DICTA 2003, pages 663-672, 2003.
- **Beivide, R., **Martinez, C., Izu, C., **Gutierrez, J., **Gregorio, J. & **Miguel-Alonso, J., Chordal Topologies for Interconnection Networks, International Symposium on High Performance Computing, October 2003, pp 385-392.
- Chojnacki, W., Brooks, M.J., van den Hengel, A. & Gawley, D., FNS and HEIV: relating to vision parameter estimation frameworks. In 12th International conference on Image Analysis and Processing, Mantova, Italy, 17-19 September, 2003, pp 152-157.
- Chojnacki, W., Brooks, M.J., van den Hengel, A. & Gawley, D., FNS, CFNS ad HEIV: Extending three vision parameter estimation methods. In C. Sun, H. Talbot, S. Ourselin, and T. Adriaansen (Eds), Digital Image Computing: Techniques and Applications, Proceedings of the Biennial Australian Pattern Recognition Society Conference - DICTA 2003, volume 1, pages 449-458, 2003.
- Chojnacki, W., Brooks, M.J., van den Hengel, A. & Gawley, D., A statistical rationalisation of Hartley's normalised eight-point algorithm. In 12th International Conference on Image Analysis and Processing, Mantova, Italy, 17-19 September, 2003, pp 334-339.
- Chojnacki, W., Brooks, M.J.,van den Hengel, A. & Gawley, D., A constrained parameter estimation approach for some vision problems. In M.J. Brooks and K. Kanatani (Eds), Proceedings of the Australia-Japan Advanced Workshop on Computer Vision, 9-11 September, 2003.
- Coddington, P.D., Lu, L., Webb, D. & Wendelborn, A.L., Extensible Job Managers for Grid Computing, Proceedings of the 26th Australasian Computer Science Conference, Adelaide, January 2003.
- Detmold, H., Falkner, K., Munro, D.S., Olds, T., **Morrison, R. & **Norcross, S., An Integrated Approach to Static Safety of Web Applications, Proceedings of the 12th International World Wide Web Conference, Budapest, May 2003.
- Grove, D.A. & Coddington, P.D., Performance Analysis of MPI Communications on the AlphaServer SC, APAC Conference and Exhibition on Advanced Computing, Grid Applications and eResearch, Gold Coast, Queensland, 29 September - 2 October, 2003.
- van den Hengel, A., Hill, R. & Brooks, M.J., Incorporating constraints into the design of locally identifiable calibration patterns. In Proceedings of the 2003 IEEE International Conference on Image Processing, September 14-17, 2003, Barcelona, Spain.
- Howard, D., Towards Flexible Distribution Support in a Database Programming Language, Twentieth British National Conference on Databases (BNCOD'20), PhD Forum, Coventry, July 2003.
- Howard, D., Detmold, H., Falkner, K. & Munro, D.S., Using the Compliant Systems Architecture to Deliver Flexible Policies within Two-Phase Committ, Twentieth British National Conference on Databases (BNCOD'20), Coventry, July 2003.
- Jin, Y., Lakos, C. & Esser, R., Component-based Design and Analysis: A Case Study, Software Engineering and Formal Methods, 22nd-27th September, 2003, Brisbane, Australia.
- Jin, Y., Esser, R., Lakos, C. & **Janneck, J., Modular Analysis of Dataflow Process Networks, 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), European Joint Conference on Theory and Practice of Software (ETAPS), April 5-13, 2003. LNCS 2621, pp 184-199.
- Jin, Y., Esser, R. & Lakos, C., Lightweight Consistency Analysis of Dataflow Process Networks, Twenty-Sizth Australasian Computer Science Conference (ACSC 2003), Adelaide, January 2003.
- **Martinez, C., **Beivide, R., **Gutierrez, J. & Izu, C., Distance-Hereditary Embeddings of Circulant Graphs, IEEE 4th International Conference on Information Technology, Las Vegas, April 2003.
- **Norcross, S., **Morrison, R., Munro, D. & Detmold, H., Implementing a Family of Distributed Garbage Collectors, ACSC2003, Adelaide, Australia, February 2003.
- Pooley, D.W., Brooks, M.J., van den Hengel and Chojnacki, W., A voting scheme for estimating the synchrony of moving-camera videos. In Proceedings of the 2003 IEEE International Conference on Image Processing, September 14-17, 2003, Barcelona, Spain, volume 1, pp 413-416.
- Pope, C., Detmold, H., Munro, D.S & Vaughan, F., Adapting to New Environments: Rethinking the TCP/IP Stack, Proceedings of the 2003 International Conference on Internet computing (IC'03), Las Vegas, June 2003.
- Shen, C., van den Hengel, A. & Dick, A., Probabilistic Multiple Cue Integration for Particle Filter Based Tracking, Digital Image Computing: Techniques and Applications, Proceedings of the Biennial Australian Pattern Recognition Society Conference - DICTA 2003, pp 399-408, 2003.
- Vaughan, F. A., Grove, D. & Coddington, P. D., Communication Performance Issues for Two Cluster Computers, Proceedings of the 26th Australasian Computer Science Conference (ASCS 2003), Adelaide, February 2003.
- Webb, D. & Wendelborn, A.L., The PAGIS Grid Application Environment,International Conference on Computational Science - ICCS2003, June 2003, pp 1113-1122.
Edited Book
- Brooks, M.J. & **Kanatani, K. (Eds), Proceedings of the Australia-Japan Advanced Workshop on Computer Vision, 9-11 September, 2003.
Book Chapter
- Oudshoorn, M.J., Scheduling and Latency - Addressing the Bottleneck. Ch. in Architectural Issues of Web-enabled e-Business, Shi Nansi (Ed.), Idea Group Publishing, 2003, pp 67-83.
Journal
- Chojnacki, W, A generalization of the Widder-Arendt theorem. Proc. Edinburgh Math. Soc., 45:161-179, 2002.
- Elhay, S. & **Ram, Y.M., An Affine Inverse Eigenvalue Problem, Inverse Problems, Vol 18, (April 2002), 455-466
- Lakos, C. & **Malhotra, V., Validation Led Development of Software Specifications, International Journal of Modelling and Simulation, Vol 22 No 1, 57-74, Acta Press, Anaheim, 2002.
- Oudshoorn, M.J. & ** Huang, L., Evolving Toward an Optimal Scheduling Solution Through Adaptivity, Journal of Parallel and Distributed Computing, Vol. 62, 2002, 1203-1222.
- *Zanotti, J.M., *Bilson-Thompson, S., *Bonnet, F.D.R., Coddington, P.D., *Leinweber, D.B., *Williams, A.G., *Zhang, J.B., **Melnitchouk, W. & **Lee, F.X., Hadron Masses from Novel Fat-Link Fermion Actions, Physical Review D, Vol 65, 74507-74512, 2002.
Conference
- Chojnacki, W,. Brooks, M. J., van den Hengel, A. & Gawley, D., A new approach to constrained parameter estimation applicable to some computer vision problems, In D. Suter, (ed.), Proceedings of the Statistical Methods in Video Processing Workshop, held in conjunction with ECCV02, pp. 43-48, Copenhagen, June 2002.
- Cramp, A. & M.J. Oudshoorn, M.J., Employing Hierarchical Federation Communities in the Virtual Ship Architecture. Australian Computer Science Communications, Vol. 24, No. 1, Jan 2002, 41bFalkner, K.E., Detmold, H., Munro, D.S. & Olds, T., Towards Compliant Distributed Shared Memory, Fourth International Workshop on Software Distributed Shared Memory, (WSDSM02), Second International Conference on Cluster Computing and the Grid (CCGRID), Berlin, May 2002.
- Fuad, M. & Oudshoorn, M.J., AdJava - Automatic Distribution of Java Applications. Australian Computer Science Communications, Vol. 24, No 1, Jan 2002, 65-75.
- van den Hengel, A., Chojnacki, W., Brooks, M. J. & Gawley, D., A new constrained parameter estimator: experiments in fundamental matrix computation, British Machine Vision Conference, Cardiff, Sept. 2002.
- **Janneck, J. W. & Esser, R., Higher-order Petri net modelling - techniques and applications Workshop on Software Engineering and Formal Methods In Formal Methods in Software Engineering and Defence Systems 2002, Conferences in Research and Practice in Information Technology, Vol. 12, 17-25 Australian Computer Society, June 2002.
- **Janneck, J. W. & Esser, R., Higher-order Modelling and automated design-space exploration Proceedings of the High Performance Computing Symposium 2002 -HPC 2002 320-327, ISBN 1-56555-250-4 San Diego, USA April 14-18, 2002.
- Jin, Y., Esser, R. & ** Janneck, J. W., Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment Diagrams 2002 - Second International Conference on Theory and Application of Diagrams Callaway Gardens, Georgia, USA In Lecture Notes in Artificial Intelligence, Vol. 2317, PP 320-334, Springer April 18-20, 2002
- Lakos, C., Invited Talk: The Challenge of Object Orientation for the Analysis of Concurrent Systems, Application and Theory of Petri Nets 2002, 59-67, Springer, Berlin, 2002
- Lowry, M.C. & Munro, D.S., Safe and Complete Distributed Garbage Collection with The Train Algorithm, 2002 International Conference on Parallel and Distributed Systems (ICPADS2002), Taiwan, December 2002.
- Webb, D. & Wendelborn, A.L., Java Coglets, Global and Peer-to-Peer Computing on Large Scale Distributed Systems (GP2PC) Workshop, Second IEEE/ACM International Symposium on Cluster Computing and the Grid, CCGrid 2002, Berlin, Germany, 21st - 24th May 2002.
- **Woo, J.W., **Woo, J., **Attali, I., **Caromel, D., **Gaudiot, J.L. & Wendelborn, A.L., Alias Analysis for Exceptions in Java, 25th Australasian Computer Science Conference -Australian Computer Science Communications, vol. 24, no. 1, IEEE Press, Jan. 2002
Edited Book
- **Esparza, J. & Lakos, C., Application and Theory of Petri Nets 2002, Springer, Berlin, ISBN 3-540-43787-8, 2002.
- Lakos, C., Esser, R., **Kristensen, L. & **Billington, J., Formal Methods in Software Engineering and Defence Systems 2002, Australian Computer Society, Adelaide, ISBN 0-909925-90-9, 2002.
- Oudshoorn, M.J., (Ed). Proceedings of the 25th Australasian Computer Science Conference, Australian Computer Science Communications, Volume 24, Number 1, January 2002 (342 pages).
Book Chapter
- Ashenden, P. J., **Alexander, P. & **Barton, D. L., A dual spring system case-study model in Rosetta, System-on-Chip Methodologies & Design Languages, Peter J Ashenden, Jean P Mermet, Ralf Seepold, Kluwer Academic Publishers, Boston/Dordrecht/London, pp: 161-170, ISBN 0-7923-7393-6, 2001
- Ashenden, P. J., **Wilsey, P. A. & **Martin, D. E., Suave: Object-oriented and genericity extensions to VHDL for high-level Modelling, Electronic Chips & Systems Design Languages, Jean Mermet, Kluwer Academic Publishers, Boston/Dordrecht/London, pp: 57-70, ISBN 0-7923-7311-1, 2001
- Lakos, C. A., Object oriented Modelling with Object Petri Nets, Concurrent Object-oriented Programming and Petri Nets, Gul A Agha, Fiorella De Cindio, Grzegorz Rozenberg, Springer-Verlag, Berlin, Heidelberg, pp: 1-37, ISBN 3-540-41942-X, 2001
- Dwyer, B., Translating relational programs into Prolog, Relational Methods for Computer Science Applications, Prof Dr Ewa Orlowska, Prof DR Andrzej Szalas, Physica-Verlag, Heidelberg, pp: 15-35, ISBN 3-7908-1365-6, 2001
Journal
- **Attali, I., **Caromel, D. D., **Chen, Y-S., **Gaudiot, J-L. & Wendelborn, A. L., Enhancing functional and irregular parallelism: Stateful functions and their semantics, in International Journal Of Parallel Programming, Vol No: 29, Issue No: 4, KLUWER, pp: 433-460, ISSN 0885-7458, 2001
- Chojnacki, W., Brooks, M. J. & van Den Hengel, A. J., Rationalising the renormalisation method of Kanatani, in Journal Of Mathematical Imaging And Vision, Vol No: 14, Issue No: 1, Kluwer, pp: 21-38, ISSN 0924-9907, 2001
- **Puente, V., Izu, M. C., **Beivide, R., **Gregorio, J. A., **Vallejo, F. & **Prellezo, J. M., The adaptive bubble router, in Journal Of Parallel And Distributed Computing, Vol No: 61, Issue No: 9, Academic Press Inc, pp: 1180-1208, ISSN 0743-7315, 2001
- Hawick, K. A. & James, H. A., Asynchronous transfer mode and other network technologies for wide-area and high-performance cluster computing, in Journal Of Supercomputing, Vol No: 19, Issue No: 3, Kluwer, pp: 285-297, ISSN 0920-8542, 2001
Conference
- **Woo, J., **Woo, J., **Attali, I., **Caromel, D. D., **Gaudiot, J-L. & Wendelborn, A. L., Alias analysis for Java with reference-set representation, Proceedings of the Eighth International Conference on Parallel and Distributed Systems, Editors: Myong-soon Park, IEEE Computer Society, http://www.takilab.k.dendai.ac.jp/conf/icpads2001/cfp.html, Held at KyongJu City, Korea, starting 26/06/2001, ISBN 0-7695-1153-8, ICPADS 2001, 2001.
- **Woo, J., **Attali, I., **Caromel, D., **Gaudiot, J.L. & Wendelborn, A.L., Alias Analysis on Type Inference for Class Analysis in Java, 24th Australasian Computer Science Conference -Australian Computer Science Communications, 23, 1, 206-214, IEEE Press, Jan. 2001.
- Webb, D. L. & Wendelborn, A. L., Gekko, A Metalevel for adaptation in Nexus, Proceedings of the First IEEE/ACM International Symposium on Cluster Computing and the Grid, Editors: Rajkumar Buyya, George Mohay, Paul Roe, IEEE Computer Society, Los Alamitos, California, USA, Held at Brisbane, Australia, starting 15/05/2001, ISBN 0-7695-1010-8, pp: 269-276, First IEEE/ACM International Symposium on Cluster Computing and the Grid, 2001
- Munro, D. S., Falkner, K. E., Lowry, M. C. & Vaughan, F. A., Mosaic: A non-intrusive complete garbage collector for DSM systems, Proceedings of the First IEEE/ACM International Symposium on Cluster Computing and the Grid, Editors: Rajkumar Buyya, George Mohay, Paul Roe, IEEE COMPUTER SOCIETY, LOS ALAMITOS, CALIFORNIA, USA, Held at Brisbane, Australia, starting 15/05/2001, ISBN 0-7695-1010-8, pp: 539-546, First IEEE/ACM International Symposium on Cluster Computing and the Grid, 2001
- Vaughan, F. A., Brodie-Tyrrell, W. F., Falkner, K. E. & Munro, D. S., Bounded parallel garbage collection: Implementation and adaptation, Proceedings of the 7th Australasian Conference on Parallel and Real-Time Systems, Editors: Hossam ElGindy, Colin Fidge, SPRINGER-VERLAG HONG KONG LTD, HONG KONG, Held at Sydney, Australia, starting 29/11/2000, ISBN 962-430-134-4, pp: 40-49, PART 2000, 2001
- Munro, D. S. & Brown, A. L., Evaluating partition selection policies using the PMOS garbage collector, Proceedings of the 9th International Workshop, POS-9, Editors: Graham NC Kirby, Alan Dearle, Dag IK Sjoberg, SPRINGER-VERLAG, GERMANY, Held at Lillehammer, Norway, starting 06/09/2000, ISBN 3-540-42735-x, pp: 125-137, Persistent Object Systems - Design, Implementation, and Use, 2001
- **Blackburn, S. M., **Hudson, R. L., **Morrison, R., **Moss, J. E., Munro, D. S. & **Zingman, J., Starting with termination: A methodology for building distributed garbage collection algorithms, Proceedings of the 24th Australasian Computer Science Conference ACSC 2001, Editors: Michael Oudshoorn, IEEE COMPUTER SOCIETY, LOS ALAMITOS, CALIFORNIA, USA, Held at Gold Coast, Queensland, Australia, starting 29/01/2001, ISBN 0-7695-0963-0, pp: 20-28, 24th Australasian Computer Science Conference ACSC 2001, 2001
- ** Beivide, R., **Jesshope, C., **Robles, A., & Izu, C., Topic 12 Routing and Communication in Interconnection Networks. Proceedings Euro-Par 2001, Lecture Notes in Computer Science 2150 Springer 2001, ISBN 3-540-42495-4 pp. 611-12
- Brown, A. L., Incremental garbage collection in massive object stores, Proceedings of the 24th Australasian Computer Science Conference ACSC 2001, Editors: Michael Oudshoorn, IEEE COMPUTER SOCIETY, LOS ALAMITOS, CALIFORNIA, USA, Held at Gold Coast, Australia, starting 29/01/2001, ISBN 0-7695-0963-0, pp: 38-46, 24th Australasian Computer Science Conference ACSC 2001, 2001
- Brooks, M. J., Chojnacki, W., Gawley, D. J. & van den Hengel, A. J., What value covariance information in estimating vision parameters?, Proceedings of the Eighth IEEE International Conference on Computer Vision, Editors: Bob Werner, IEEE COMPUTER SOCIETY, LOS ALAMITOS, CALIFORNIA, USA, Held at Vancouver, British Columbia, Canada, starting 07/07/2001, ISBN 0-7695-1143-0, pp: 302-308, Eighth IEEE International Conference on Computer Vision, 2001
- Chojnacki, W., Brooks, M. J., van den Hengel, A. J. & Gawley, D. J., A fast mile-based method for estimating the fundamental matrix, Proceedings of the International Conference on Image Processing, Editors: Professor I Pitas, THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS, CD-ROM, Held at Thessaloniki, Greece, starting 07/10/2001, ISBN 0-7803-6727-8, pp: CDROM 1-CDROM 4, ICIP 2001, 2001
- **Lewis, G. & Lakos, C. A., Incremental state space construction for coloured petri nets, Proceedings of the 22nd International Conference, ICATPN 2001, Editors: Jose-Manuel Colom, Maciej Koutny, SPRINGER-VERLAG, GERMANY, Held at Newcastle upon Tyne, UK, starting 25/06/2001, ISBN 3-540-42252-8, pp: 263-282, Applications and Theory of Petri Nets 2001, 2001
- Gao, P. & Esser, R. P., Polymorphic CSP type checking, Proceedings of the 24th Australasian Computer Science Conference ACSC 2001, Editors: Michael Oudshoorn, IEEE COMPUTER SOCIETY, LOS ALAMITOS, CALIFORNIA, USA, Held at Gold Coast, Australia, starting 29/01/2001, ISBN 0-7695-0963-0, pp: 156-162, ACSC 2001, 2001
- **Janneck, J. W. & Esser, R. P., A predicate-based approach to defining visual language syntax, Proceedings of 2001 IEEE Symposia on Human-Centric Computing Languages and Environments, Editors: Paolo Bottoni, IEEE Computer Society, Dipartimento di Scienze dellInformazione, Uni di Roma, Held at Stresa, Italy, starting 05/09/2001, ISBN 0-7965-0474-4, pp: 40-47, 2001 IEEE Symposia on Human-Centric Computing Languages and Environments, 2001
- Esser, R. P. & **Janneck, J. W., Moses - a tool suite for visual Modelling of discrete-event systems, Proceedings of 2001 IEEE Symposia on Human-Centric Computing Languages and Environments, Editors: Yoshihiro Akiyama, IEEE Computer Society, Dipartimento di Scienze dellInformazione, Uni di Roma, Held at Sresa, Italy, starting 05/09/2001, ISBN 0-7965-0474-4, pp: 272-279, 2001 IEEE Symposia on Human-Centric Computing Languages and Es, 2001
- **Hawick, K. A., James, H. A. & Coddington, P. D., A reconfigurable component-based problem solving environment, Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), Editors: Ralph H Sprague Jr, Institute of Electrical and Electronics Engineers, Inc, http://www.computer.org/Proceedings/hicss/0981/0981toc.htm, Held at Maui, Hawaii, starting 03/01/2001, pp: www1-www10, 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001
- James, H. A., **Hawick, K. A. & Coddington, P. D., An environment for workflow applications on wide-area distributed systems, Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), Editors: Ralph H Sprague Jr, Institute of Electrical and Electronics Engineers Inc, http://www.computer.org/Proceedings/hicss/0981/0981toc.htm, Held at Maui, Hawaii, starting 03/01/2001, pp: www1-www10, 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001
- **Hawick, K. A., Coddington, P. D., James, H. A. & Patten, C. J., On-line data archives, Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), Editors: Ralph H Sprague Jr, Institute of Electrical and Electronics Engineers Inc, http://www.computer.org/Proceedings/hicss/0981/0981toc.htm, Held at Maui, Hawaii, starting 03/01/2001, pp: www1-www10, 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001
- Grove, D. A. & Coddington, P. D., Precise MPI performance measurement using MPIBench, Proceedings of the 5th International Conference and Exhibition on High-Performance Computing in the Asia-Pacific Region, Editors: Joseph Young, HPC, CD-ROM, Held at Gold Coast, Australia, starting 24/09/2001, ISBN 0-9579303-0-5, pp: www1-www14, HPC Asia 2001, 2001
Edited Book
- Oudshoorn, M.J., (Ed). Journal of Research and Practice in Information Technology, Special Issue on Dis-tributed Systems, Volume 33, Number 2, 2001 (88 pages)
- Oudshoorn, M.J., (Ed). Proceedings of the 24th Australasian Computer Science Conference, Australian Computer Science Communications, Volume 23, Number 1, January 2001 (230 pages).
Book Chapter
- **Morrison, R., **Connor, R., **Kirby, G., **Munro, D. S., **Atkinson, M. P., **Cutts, Q., Brown, A. L. & **Dearle, A., The Napier88 persistent programming language and environment, Fully Integrated Data Environments: Persistent Programming Languages, Object Stores, and Programming Environments, Malcolm P Atkinson, Ray Welland, Springer, Berlin, pp: 98-154, ISBN 3-540-65772-X, 2000
- **Morrison, R., Brown, A. L., **Connor, R., **Cutts, Q., **Kirby, G., Dearle, A., **Rosenberg, J. & **Stemple, D., Protection in persistent object systems, in Fully Integrated Data Environments, Publ by Springer, Place Pub Germany, Pages: 234-237, ISBN 3-540-65772-X, 2000
- Brown, A. L., **Mainetto, G., **Matthes, F., **Muller, R. & **McNally, D., An open system architecture for a persistent object store, in Fully Integrated Data Environments, Publ by Springer, Place Pub Germany, Pages: 387-391, ISBN 3-540-65772-X, 2000
- **Morrison, R., **Dearle, A., **Connor, R. & Brown, A. L., An ad hoc approach to the implementation of polymorphism, in Fully Integrated Data Environments, Publ by Springer, Place Pub Germany, Pages: 502-504, ISBN 3-540-65772-X, 2000
Journal
- **Morrison, R., **Balasubramaniam, D., **Greenwood, M., **Kirby, G., **Mayes, K., Munro, D. S. & **Warboys, B., A compliant persistent architecture, in SOFTWARE-PRACTICE & EXPERIENCE, Vol No: 30, JOHN WILEY & SONS LTD, BAFFINS LANE CHICHESTER W SUSSEX ENGLAND PO19 1UD, pp: 363-386, ISSN 0038-0644, 2000
- **Kanatani, K., **Shimizu, Y., **Ohta, N., Brooks, M. J., Chojnacki, W. & van Den Hengel, A. J., Fundamental matrix from optical flow: optimal computation and reliability evaluation, in JOURNAL OF ELECTRONIC IMAGING, Vol No: 9, Issue No: 2, I S & T - SOC IMAGING SCIENCE TECHNOLOGY, 7003 KILWORTH LANE SPRINGFIELD VA22151, pp: 194-202, ISSN 1017-9909, 2000
- Chojnacki, W., Brooks, M. J., van Den Hengel, A. J. & Gawley, D. J., On the fitting of surfaces to data with covariances, in IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, Vol No: 22, Issue No: 11, IEEE COMPUTER SOC, 10662 LOS VAQUEROS CIRCLEPO BOX 3014 LOS ALAMITOS CA 90720-1314, pp: 1294-1303, ISSN 0162-8828, 2000
- Hawick, K. A., Grove, D. A., Coddington, P. D. & *Buntine, M. A., Commodity cluster computing for computational chemistry, in INTERNET JOURNAL OF CHEMISTRY, Vol No: 3, INTERNET JOURNAL OF CHEMISTRY, C/O STEVEN M BACHRACHNORTHERN ILLINOIS UNIVDEPT CHEMISTRYDE KALB IL60115, pp: www, ISSN 1099-8292, 2000
- **Datta, B. N., Elhay, S., **Ram, Y. M. & **Sarkissian, D. R., Partial eigenstructure assignment for the quadratic pencil, in JOURNAL OF SOUND AND VIBRATION, Vol No: 230, Issue No: 1, ACADEMIC PRESS LTD, 24-28 OVAL RD LONDON ENGLAND NW1 7DX, pp: 101-110, ISSN 0022-460X, 2000
- **Morrison, R., **Balasubramaniam, D., **Greenwood, M., **Kirby, G., **Mayes, K., Munro, D. S. & **Warboys, B., An approach to compliance in software architectures, in COMPUTING & CONTROL ENGINEERING JOURNAL, Vol No: 11, Issue No: 4, IEE-INST ELEC ENG, MICHAEL FARADAY HOUSE SIX HILLS WAYSTEVENAGE HERTFORD ENGLAND SG1 2AY, pp: 195-200, ISSN 0956-3385, 2000
Conference
- *Woodbury, R. F., *Datta, S. & Burrow, A. L., Erasure in design space exploration, Artificial Intelligence in Design 00, Editors: JS Gero, Kluwer Academic Publishers, Netherlands, Held at USA, starting 26/06/2000, ISBN 0-7923-6353-1, pp: 521-543, 6th International Conference on Artificial Intelligence in Design 00, 2000
- Webb, D. L., Wendelborn, A. L. & Vayssiere, V., A study of computational reconfiguration in a process network, Proceedings of The Seventh IDEA International Workshop, Editors: CJ Barter, DS Munro, The University of Adelaide, Adelaide, Australia, Held at Victor Harbor, South Australia, Australia, starting 4/02/2000, pp: 48-52, The Seventh IDEA International Workshop, 2000
- *Woodbury, R. F., Burrow, A. L., **Drogemuller, R. M. & **Datta, S., An introduction to representation comparison, Proceedings of CIT2000 - Construction Information Technology 2000 taking the construction industry into the 21st century Volume 1, Editors: G Gudnason, Icelandic Building Research Institute, Iceland, Held at Iceland, starting 28/06/2000, ISBN 9979 9174 3 1, pp: 1058-1068, CIT2000 Construction Information Technology 2000, 2000
- Brodie-Tyrrell, W. F. & Munro, D. S., Implementation of a multi-processor garbage collector in processbase abstract machine, Proceedings of The Seventh IDEA International Workshop, Editors: CJ Barter, DS Munro, The University of Adelaide, Adelaide, Australia, Held at Victor Harbor, Australia, starting 4/02/2000, pp: 33-38, The Seventh IDEA International Workshop, 2000
- Vaughan, F. A. & Munro, D. S., Self-adaptive compliant persistent architectures, Proceedings of The Seventh IDEA International Workshop, Editors: CJ Barter, DS Munro, The University of Adelaide, Adelaide, Australia, Held at Victor Harbor, Australia, starting 4/02/2000, pp: 6-11, The Seventh IDEA International Workshop, 2000
- Bastian, J. W., Modelling lens blur, Proceedings of The Seventh IDEA International Workshop, Editors: CJ Barter, DS Munro, The University of Adelaide, Adelaide, Australia, Held at Victor Harbor, Australia, starting 4/02/2000, pp: 12-15, The Seventh IDEA International Workshop, 2000
- Falkner, K. E., A model of location transparency, Proceedings of The Seventh IDEA International Workshop, Editors: CJ Barter, DS Munro, The University of Adelaide, Adelaide, Australia, Held at Victor Harbor, Australia, starting 4/02/2000, pp: 24-28, The Seventh IDEA International Workshop, 2000
- Detmold, H., Ambassadors in an orbital super-cluster, Proceedings of The Seventh IDEA International Workshop, Editors: CJ Barter, DS Munro, The University of Adelaide, Adelaide, South Australia, Held at Victor Harbor, Australia, starting 4/02/2000, pp: 39-44, The Seventh IDEA International Workshop, 2000
- Lowry, M. C., FATWa: a testbed for time warp in Java, Proceedings of The Seventh IDEA International Workshop, Editors: CJ Barter, DS Munro, The University of Adelaide, Adelaide, Australia, Held at Victor Harbor, Australia, starting 4/02/2000, pp: 45-47, The Seventh IDEA International Workshop, 2000
- **Puente, V., Izu, M. C., **Gregorio, J. A., **Beivide, R., **Prellezo, J. M. & **Vallejo, F., Improving parallel system performance by changing the arrangement of the network links, Proceedings of the 2000 International Conference on Supercomputing, Editors: A Veidenbaum, ICS, New Mexico, USA, Held at Santa Fe, New Mexico, USA, starting 8/05/2000, ISBN 1-58113-270-0, pp: 44-53, 2000 International Conference on Supercomputing, 2000
- Hawick, K. A. & James, H. A., A Java-based parallel programming support environment, Proceedings of High Performance Computing and Networking, Editors: M Bubak, H Afsarmanesh, R Williams, B Hertzberger, Springer-Verlag, Berlin, Heidelberg, New York, Held at Amsterdam, The Netherlands, starting 1/05/2000, ISBN 3 540
- Chojnacki, W., Brooks, M. J., van Den Hengel, A. J. & Gawley, D. J., A fast MLE-based method for estimating the fundamental matrix, Proceedings of APRS/IEEE Workshop on Stereo Image and Video Processing, Editors: C Sun, P Ogunbona, W Li, R Beare, Australian Pattern Recognition Society, Australia, Held at Sydney, Australia, starting 8/12/2000, ISBN 0 646 40646 9, pp: 33-36, APRS/IEEE Workshop on Stereo Image and Video Processing, 2000
- Mathew, J. A., James, H. A. & Hawick, K. A., Development routes for message passing parallelism in Java, Proceedings of the ACM 2000 Conference on Java Grande, Editors: P Mehrotra, Association for Computing Machinery, San Francisco, USA, Held at San Francisco, USA, starting 3/06/2000, ISBN 1 58113 288 3, pp: 54-61, ACM 2000 Conference on Java Grande, 2000
- Chojnacki, W., Brooks, M. J. & van Den Hengel, A. J., A framework for understanding renormalisation-type methods in computer vision, Proceedings of Advanced Concepts for Intelligent Vision Systems ACIVS - 2000, Editors: J Blanc-Talon, D Popescu, GE Lasker, The International Institute for Advanced Studies in Systems Research and Cybernetics, Ontario, Canada, Held at Baden-Baden, Germany, starting 3/08/2000, ISBN 0 921836 87 2, pp: 13-19, Advanced Concepts for Intelligent Vision Systems ACIVS - 2000, 2000
- Chojnacki, W., Brooks, M. J. & Van Den Hengel, A. J., A simplified treatment of Kanatanis renormalisation method, Proceedings of ICARV 2000 - Sixth International Conference on Control, Automation, Robotics and Vision, Editors: J Wang, School of Electrical & Electronic Engineering, NTU, Singapore, Held at Singapore, starting 5/12/2000, ISBN 981 04 3445 6, pp: CD, ICARC 2000 - Sixth International Conference on Control, Automation, Robotics and Vision, 2000
- James, H. A. & Hawick, K. A., Data futures in DISCWorld, Proceedings of High Performance Computing and Networking - 8th International Conference, Editors: M Bubak, H Afsarmanesh, R Williams, B Hertzberger, Springer-Verlag, Berlin, Heidelberg, Held at Amsterdam, The Netherlands, starting 1/05/2000, ISBN 3 540 67553 1, pp: 41-50, 8th International Conference, High Performance Computing and Networking, 2000
- Chojnacki, W., Brooks, M. J., van Den Hengel, A. J. & Gawley, D. J., Estimating vision parameters given data with covariances, Proceedings of the 11th British Machine Vision Conference 2000, Editors: M Mirmehdi, B Thomas, ILES Central Press, Bristol, UK, Held at Bristol, UK, starting 11/09/2000, ISBN 1 901725 13 8, pp: 182-191, British Machine Vision Conference 2000, 2000
- Dwyer, B., The fragility of system organisation, Proceedings of the 11th Australasian Conference on Information Systems 2000, Editors: GG Gable, MR Vitale, Information Systems Management Research Centre, Brisbane, Australia, Held at Brisbane, Australia, starting 6/12/2000, ISBN 1 86435 512 3, pp: CD, 11th Australasian Conference on Information Systems 2000, 2000
- Brown, A. L., Exposing memory mapped I/O using NFS, Proceedings of the 23rd Australasian Computer Science Conference ACSC 2000, Editors: J Edwards, IEEE Computer Society, Los Alamitos, California, USA, Held at Canberra, Australia, starting 31/01/2000, ISBN 0-7695-0518-x, pp: 17-23, 23rd Australasian Computer Science Conference ACSC 2000, 2000
- Lew, K. C. & Brown, A. L., A model of persistent software composition, Proceedings of the 23rd Australasian Computer Science Conference ACSC 2000, Editors: J Edwards, IEEE Computer Society, Los Alamitos, California, USA, Held at Canberra, Australia, starting 31/01/2000, ISBN 0-7695-0518-x, pp: 143-149, 23rd Australasian Computer Science Conference ACSC 2000, 2000
- Esser, R., & **Janneck, J.W., Exploratory performance evaluation using dynamic and parametric Petri nets, Proceedings of the HPC 2000,Pages 357-364. Society for Computer Simulation, April 2000
- Lakos, C. A., Composing abstractions for coloured petri nets, Proceedings of Application and Theory of Petri Nets 2000, Editors: M Nielsen, D Simpson, Springer-Verlag, Berlin, Heidelberg, Held at Aarhus, Denmark, starting 26/06/2000, ISBN 3-540-67693-7, pp: 323-345, 21st International Conference: Application and Theory of Petri Nets 2000, 2000
- Brown, A. L. & Munro, D. S., PMOS Revitalised, Proceedings of The Seventh IDEA International Workshop, Editors: CJ Barter, DS Munro, University of Adelaide, Adelaide, Australia, Held at Victor Harbor, South Australia, starting 4/02/2000, pp: 68-71, The Seventh IDEA International Workshop, 2000
- Lakos, C. A. & **Lewis, G., Behaviour inheritance for object lifecycles, Proceedings of 33rd International Conference on Technology of Object-Oriented Languages Tools 33, Editors: R Mitchell, JM Jezequel, J Bosch, B Meyer, A Cameron Wills, M Woodman, IEEE Computer Society, Los Alamitos, California, USA, Held at Mont-Saint-Michel, France, starting 5/06/2000, ISBN 0-7695-0731-x, pp: 262-273, 33rd International Conference on Technology of Object-Oriented Languages TOOLS 33, 2000
- Lakos, C. A. & **Lewis, G., A practical approach to incremental specification, Proceedings of Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), Editors: JF Smith, CL Talcott, Kluwer Academic Publishers, Boston, Dordrecht, London, Held at Stanford, California, USA, starting 6/09/2000, ISBN 0-7923-7923-3, pp: 233-256, Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), 2000
- Oudshoorn, M. J. & Detmold, H., Ambassadors: A communication structure for mobile Java objects, International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet: Conference Papers, Editors: V Milutinovic, Scuola Superiore Guglielmo Reiss Romoli, Italy, Held at LAquila, Italy, ISBN 88-85280-52-8, pp: CD, SSGRR 2000: International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, 2000
- Oudshoorn, M. J. & Huang, L., Adaptive scheduling in distributed systems, International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet: Conference Papers, Editors: V Milutinovic, Scuola Superiore Guglielmo Reiss Romoli, Italy, Held at LAquila, Italy, ISBN 88-85280-52-8, pp: CD, SSGRR 2000: International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, 2000
- Oudshoorn, M.J., *Hayes, J.R., & *Yeo, M.,. Basic Building Blocks for an Information Technology Career, First International Conference on Technical Education and Training and the APEC 2000 Symposium on IT Enablement for Trainers in the Next Millenium, Brunei Darussalam, July 2000. CD-ROM, 4 pages.
Book Chapter
- Lakos, C. and L. J. (1999). The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets. Application of Petri Nets to Communications Networks. Berlin, Springer-Verlag: 37-68.
Journal
- Ashenden, P. J. and P. A. Wilsey (1999). Principles for Extensions to VHDL for High-Level Modelling. VLSI Design 10 No 2: 217-236.
- Ashenden, P. J. and P. A. Wilsey (1999). Protected Shared Variables in VHDL:IEE Std 1076a. IEEE Design and Test of Computers 16 No 4: 74-83.
- Chojnacki, W. (1999). Multiplier Algebras, Banach Bundles, and One-Parameter Semigroups. Annali Della Scuola Normale Superiore Di Pisa, Classe Di Scienze, Serie IV 28: 287-322.
- Chojnacki, W. (1999). A Characterisation of the Circle Group. Collectanea Mathematica 50: 303-310.
- Hawick, K. A., H. A. James, et al. (1999). DISCWorld : An Environment for Service-Based Metacomputing. Future Generation Computer Systems 15: 623-635.
- Hawick, K. A. and P. D. Coddington (1999). Interfacing to Distributed Data Archives. Future Generation Computer Systems 16: 73-89.
Conference
- Ashenden, P. J., R. Esser, et al. (1999). Communication and Synchronization Using Bounded Channels in SUAVE. G. Peterson. Boulder, CO, USA, IHDL.
- Brown, A. L. (1999). Using NFS to Expose Persistent Object Store I/O. C. J. Barter, S. Blackburn and A. L. Brown. Adelaide, SA 5005, Australia, The University of Adelaide.
- Brown, A. L. and D. Munro (1999). PMOS Revisited. C. J. Barter, S. Blackburn and A. L. Brown. Adelaide, SA 5005, Australia, The University of Adelaide.
- Coddington, P. D., K. A. Hawick, et al. (1999). Web-based Access to Distributed High-Performance Geographic Information Systems for Decision Support. R. H. Sprague. USA, IEEE CS Press.
- Coddington, P. D., M. W. Grigg, et al. (1999). Interfacing to On-Line Geospatial Imagery Archives. E. G. Masters. New South Wales, Australia, AURISA.
- Coddington, P. D., J. A. Mathew, et al. (1999). Interfaces and Implementations of Random Number Generators for Java Grande Applications. P. Sloot. Berlin, Germany, Springer.
- Corbett, D. R. and R. F. Woodbury (1999). Unification over Constraints in Conceptual Graphs. W. Tepfenhart and W. Cyre. Berlin, Springer-Verlag.
- Detmold, H., M. Hollfelder, et al. (1999). Ambassadors : Structured Object Mobility in Worldwide Distributed Systems. M. G. Gouda. Washington, USA, IEEE Computer Society.
- Grove, D. A., P. D. Coddington, et al. (1999). Cluster Computing with iMacs and Power Macintoshes. S. Olarin and J. Wu. Fort Lauderdale, Florida, U.S.A., International Society for Computers and their Applications (ISCA).
- Hawick, K. A., D. A. Grove, et al. (1999). Beowulf - A New Hope for Parallel Computing? C. J. Barter, S. Blackburn and A. L. Brown. Adelaide, S.A. 5005, Australia, The University of Adelaide.
- Hollfelder, M., H. Detmold, et al. (1999). A Structured Communication Mechanism using Mobile Objects as Ambassadors. J. Edwards. Singapore, Springer-Verlag.
- Huang, L. and M. J. Oudshoorn (1999). Scheduling Preemptive Tasks in Parallel and Distributed Systems. J. Edwards. Singapore, Springer-Verlag.
- Izu, C. (1999). Restrictive Turning : Deadlock-Freedom and Congestion Control for Oblivious Cut-Through Networks. J. Morris. Singapore, Springer-Verlag.
- James, H. A. and K. A. Hawick (1998). Resource Descriptions for Job Scheduling in DISCWorld. C. J. Barter and A. L. Brown. Adelaide, South Australia, University of Adelaide.
- James, H. A., K. A. Hawick, et al. (1999). Scheduling Independent Tasks on Metacomputing Systems. S. Olariu and J. Wu. Florida, U.S.A., ISCA, NC, U.S.A.
- Kerry Falkner, K. E., P. D. Coddington, et al. (1999). Implementing Asynchronous Remote Method Invocation in Java. W. C. H. Cheng and A. S. M. Sajeev. Singapore, Springer-Verlag.
- Lew, K. C. F. and A. L. Brown (1999). Localities and Indirections - A Foundation for Interaction in Confederated Persistent Object Stores. J. Edwards. Singapore, Springer-Verlag.
- Li, Y. and M. J. Brooks (1999). An Efficient Recursive Factorization Method for Determining Structure from Motion. CVPR 1999, T. Baldwin and R. S. Sipple. Los Alamitos, California, USA, IEEE Computer Society.
- Mathew, J. A., P. D. Coddington, et al. (1999). Analysis and Development of Java Grande Benchmarks. M. Snir. New York, U.S.A., ACM Press.
- Patten, C. J., K. A. Hawick, et al. (1999). Distributed and Hierarchical Storage Systems. C. J. Barter, S. Blackburn and A. L. Brown. Adelaide, S.A. 5005, Australia, The University of Adelaide.
- Patten, C. J., K. A. Hawick, et al. (1999). Towards a Scalable Metacomputing Storage Service. S. P., M. Bubak, A. Hoekstra and B. Hertzberger. Germany, Springer.
- Puente, V., R. Beivide, et al. (1999). Adaptive Bubble Router : A Design to Improve Performance in Torus Networks. D. Panda and N. Shiratori. Los Alamitos, California, IEEE Computer Society.
- Puente, V., J. A. Gregorio, et al. (1999). Low Level Router Design and its Impact on Supercomputer System Performance. C. Polychronopoulos. New York, USA, The Association for Computer Machinery - ACM Press.
- Puente, V., J. A. Gregorio, et al. (1999). Impact of the Head-of-Line Blocking on Parallel Computer Networks : Hardware to Applications. P. Amestoy, B. P., M. Daydeet al. Heidelber, Germany, Springer-Verlag.
- Warboys, B. C., D. Balasubramaniam, et al. (1999). Collarboration and Composition : Issues for a Second Generation Process Language. O. Nierstrasz and M. Lemoine. Berlin, Germany, Springer.
Journal
- Ashenden, P. J. (1998). Modelling Digital Systems using VHDL. IEEE Potentials Vol 17 No 2: 27 - 30.
- Ashenden, P. J., P. A. Wilsey, et al. (1998). SUAVE : Extending VHDL to Improve Data Modelling Support. IEEE Design and Test of Computers Volume 15 No 2: 34 - 44.
- Brooks, M. J., L. de Agapito, et al. (1998). Towards Robust Metric Reconstruction via a Dynamic Uncalibrated Stereo Head. Image and Vision Computing 16: 989 - 1002.
- Chojnacki, W. (1998). On the Equivalence of a Theorem of Kisynski and the Hille-Yosida Generation Theorem. Proceedings of the American Mathematical Society 126: 491-497.
- Chojnacki, W., M. J. Brooks, et al. (1998). On the Feasibility of Determining Light-Source Direction from an Image. Quarterly of Applied Mathematics 56: 289-307.
- Chojnacki, W. and J. Kisynski (1998). On the Favard Classes of Semigroups Associated with Pseudo-Resolvents. Acta Scientiarum Mathematicarum 64: 681-696.
- Chojnacki, W. (1998). A New Proof of a Theorem Concerning Decomposable Groups. Glasnik Matematicki 33: 13-17.
- Ram, Y. M. and S. Elhay (1998). Constructing the shape of a rod from Eigenvalues. Communicaions in Numerical Methods in Engineering 14(7): 597-696.
Conference
- Ashenden, P. J. and P. A. Wilsey (1998). Considerations on System-Level Behavioural and Structural Modelling Extensions to VHDL. M. Baird. Los Alamitos, California, U.S.A., IEEE Computer Society.
- Ashenden, P. J. and P. A. Wilsey (1998). Extensions to VHDL for Abstraction of Concurrency and Communication. C. Williamson and P. Wilsey. Los Alamitos, USA, IEEE Computer Society.
- Ashenden, P. J. and P. A. Wilsey (1998). A Comparison of Alternative Extensions for Data Modelling in VHDL. R. H. J. Sprague. Los Alamitos, California, U.S.A., IEEE Computer Society.
- Brooks, M. J., W. Chojnacki, et al. (1998). Robust Techniques for the Estimation of Structure from Motion in the Uncalibrated Case. H. Burkhardt and B. Neumann. Berlin, Germany, Springer-Verlag.
- Brown, A. L. (1998). Graph Based Structural Type Equivalence in the Presence of Concurrency, Distribution & Persistence. C. McDonald. Singapore, Springer-Verlag.
- Carrion, C., C. Izu, et al. (1998). Ghost Packets : A Deadlock-Free Solution for k-ary n-cube Networks. R. Werner. Los Alamitos, California, IEEE Computer Society.
- Chang, Y.-J., P. Coddington, et al. (1998). Viewing the Visible Human Using Java and the Web. Y. Yang, M. Li and A. Ellis. Beijing, China, International Academic Publishers.
- Coddington, P. D. and S.-H. Ko (1998). Techniques for Empirical Testing of Parallel Random Number Generators. D. Gannon. New York, USA, ACM Press.
- Coddington, P. D., K. A. Hawick, et al. (1998). Implementation of a Geospatial Imagery Digital Library using Java and CORBA. J. Chen, M. Li, C. Mingins and B. Meyer. Los Alamitos, California, USA, IEEE Computer Society.
- de Agapito, L., D. Q. Huynh, M. Brooks (1998). Self Calibrating a Stereo Head : An Error Analysis in the Neighbourhood of Degenerate Configurations. ICCV 1998, N. Ahuga and U. Desai. New Delhi, India, Narosa Publishing House.
- Dwyer, B. (1998). Separability Analysis can Expose Parallelism. K. A. Hawick and H. A. James. Singapore, Springer.
- Dwyer, B. (1998). Relational Programming in Libra. A. Jaoua, P. Kempf and G. Schmidt. Munich, Germany, Universitat der Bundeswehr Munchen.
- Falkner, N. and M. J. Oudshoorn (1998). Smarter Compilation : A Step Towards Automated Distribution. C. J. Barter and A. L. Brown. Adelaide, University of Adelaide.
- Falkner, N. J. G. and M. J. Oudshoorn (1998). Congress : A Dynamic Distributed Task Allocation Environment. C. McDonald. Singapore, Springer.
- Grove, D., A. Silis, et al. (1998). Authenticated Transmission of Discoverable Portable Code Objects in a Distributed Computing Environment. H. R. Arabnia. Nevada, USA, CSREA Press.
- Hawick, K., A. Brown, et al. (1998). DISCWorld: An Integrated Data Environment for Distributed High-Performance Computing. C. L. Barter and A. L. Brown. Adelaide, South Australia, University of Adelaide.
- Hawick, K. A., H. A. James, et al. (1998). DISCWorld : A Distibuted High Performance Computing Environment. P. Sloot, M. Bubak and B. Hertzberger. Germany, Springer-Verlag.
- Hercus, J. and K. Hawick (1998). Compression of Image Data and Performance Tradeoffs for Client/Server Systems. C. J. Barter and A. L. Brown. Adelaide, South Australia, University of Adelaide.
- Izu, C. and A. Arruabarrena (1998). Congestion control for a k-ary n-cube Static Network with bimodal traffic. K. A. Hawick and H. A. James. Singapore, Springer-Verlag.
- Izu, C. and A. Arruabarrena (1998). Applying Segment Routing to k-ary n-cube Networks. D. Gannon. New York, ACM Press.
- James, H. A. and K. A. Hawick (1998). Resource Descriptions for Job Scheduling in DISCWorld. C. J. Barter and A. L. Brown. Adelaide, South Australia, University of Adelaide.
- James, H. A. and K. A. Hawick (1998). A Web-Based Interface for On-Demand Processing of Satellite Imagery Archives. C. McDonald. Perth, Western Australia, Springer-Verlag.
- Kerry, K. and K. Hawick (1998). Service Management in DISCWorld Using CORBA. C. J. Barter and A. L. Brown. Adelaide, South Australia, University of Adelaide.
- Kerry, K. and K. Hawick (1998). Kriging Interpolation on High-Performance Computers. P. Sloot, M. Bubak and B. Hertzberger. Germany, Springer-Verlag.
- Leung, A. and P. Coddington (1998). Interactive Viewing of 3D Terrain Models Using VRML. Y. Yang, M. Li and A. Ellis. Beijing, China, International Academic Publishers.
- Lew, K., C.F. and A. L. Brown (1998). Orthogonally Persistent Modula-3 : Design Issues. N. Callaos, O. Omolayole and L. Wang. Florida, International Institute of Informatics and Systemics.
- Lew, K. and A. L. Brown (1998). Orthogomal Persistence & Object Oriented Languages. C. McDonald. Singapore, Springer-Verlag.
- Magarey, J. and A. Dick (1998). Multiresolution Stereo Image Matching Using Complex Wavelets. A. K. Jain, S. Venkatesh and B. C. Lovell. Los Alamitos, California, U.S.A., IEEE Computer Society.
- Mathew, J. and K. Hawick (1998). Querying and Auxilliary Data in the DISCWorld. C. J. Barter and A. L. Brown. Adelaide, South Australia, University of Adelaide.
- Mathew, J., A. Silis, et al. (1998). Inter-Server Transport Performance of Java_ Bytecode in a Metacomputing Environment. C. Mingins and B. Meyer. Los Alamitos, California, USA, IEEE Computer Society.
- Oudshoorn, M. J. and H. Widjaja (1998). Visor++: A Visualisation Tool for Concurrent Object-Oriented Programs. Y. Bayakovski. Moscow, Russia, Keldsyk Institute of Applied Mathem?atics.
- Patten, C., F. Vaughan, et al. (1998). DWorFS: File System Support for Legacy Applications in DISCWorld. C. L. Barter and A. L. Brown. Adelaide, South Australia, University of Adelaide.
- Pope, C. L. (1998). Delay Bounds for Non-Rate Controlled Real-Time Traffic in Multi-Hop Networks. K. Hawick and H. James. Singapore, Springer.
- Ram, Y. M. and S. Elhay (1998). An Inverse Eigenvalue Problem for the Symmetric Positive Linear Pencil with Applications to Vibrating Systems. J. Noye, M. Teubner and A. Gill. Singapore, World Scientific.
- Silis, A. and K. Hawick (1998). The DISCWorld Peer to Peer Architecture. C. J. Barter and A. L. Brown. Adelaide, South Australia, University of Adelaide.
- Silis, A. J. and K. A. Hawick (1998). Java as a Front-End to High-Performance Computing Resources. H. R. Arabnia. USA, CSREA Press.
- Vaughan, F. (1998). A Bulk Data Transfer Bus. C. J. Barter and A. L. Brown. Adelaide, South Australia, University of Adelaide.
|