Browse

ftp://ftp.cse.unsw.edu.au (41)

	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9301.ps.Z, 19930209 SCS&E Report 9301 February, 1993 Computational Limits on Team Identification of Languages Sanjay Jain and Arun Sharma SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9306.ps.Z, 19930416 SCS&E Report 9306 April, 1993 VHDL vs Functional Hardware Description: A Comparison and Critique P. Kanthamanon, G. R. Hellestrand and M. C. Kam SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9305.ps.Z, 19930416 SCS&E Report 9305 April, 1993 Signal Transition Graph Constraints for Synthesis of Hazard-Free Asynchronous Circuits with Unbounded-Gate Delays Radhakrishna Nagalla and Graham Hellestrand SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9304.ps.Z, 19930420 SCS&E Report 9304 April, 1993 Marksheets: marking easier and more consistently J. Lions SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9308.ps.Z, 19930630 SCS&E Report 9308 June, 1993 A Comparison of Two Real-time Description Techniques John J. Zic SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9309.ps.Z, 19930706 SCS&E Report 9309 July, 1993 Using CSP+T to Describe a Timing Constrained Stop-and-Wait Protocol John J. Zic SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9315.ps.Z, 19931201 SCS&E Report 9315 November, 1993 Two-dimensional Numerical Simulations of High-efficiency Silicon Solar Cells Gernot Heiser, Armin G. Aberle, Stuart R. Wenham, Martin A. Green (The text of this report will also appear in the Microelectronics Journal) SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9311.ps.Z, 19931213 SCS&E Report 9311 November, 1993 Conceptual Graphs for Natural Language Representation Graham A. Mann SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9317.ps.Z, 19931216 SCS&E Report 9317 December, 1993 Non-Interleaving Semantics for CCS and Fast Deadlock Detection Jacek Olszewski SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9316.ps.Z, 19931216 SCS&E Report 9316 December, 1993 Real-Time Colour Image Segmentation Mehdi N. Fesharaki and Graham R. Hellestrand SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9318.ps.Z, 19940104 SCS&E Report 9318 December, 1993 Designing a Video Rate Edge Detection ASIC Mehdi N. Fesharaki and Graham R. Hellestrand SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9401.ps.Z, 19940208 SCS&E Report 9401 Extending Statecharts with Temporal Logic A. Sowmya and S. Ramesh SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9402.ps.Z, 19940222 SCS&E Report 9402 HTPNET: A New Transport Protocol for High-speed Networks Toong Shoon Chan and Ian Gorton SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9405.ps.Z, 19940323 SCS&E Report 9405 March, 1994 On Aggregating Teams of Learning Machines Sanjay Jain and Arun Sharma SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES Abstract1 The present paper studies the problem of when a team of learning machines can be aggregated into a single learning
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9404.ps.Z, 19940323 SCS&E Report 9404 March, 1994 On the Intrinsic Complexity of Language Identification Sanjay Jain and Arun Sharma SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9403.ps.Z, 19940323 SCS&E Report 9403 March, 1994 Motion planning in Prototypical Corridors N. Ahmed and A. Sowmya SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9312.ps.Z, 19940428 SCS&E Report 9312 November, 1993 Address Space Management Issues in the Mungi Operating System Kevin Elphinstone SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9314.ps.Z, 19940428 SCS&E Report 9314 November, 1993 Mungi: A Distributed Single Address-Space Operating System Gernot Heiser, Kevin Elphinstone, Stephen Russell, Jerry Vochteloo (The text of this report has been accepted for ACSC-17) SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9303.ps.Z, 19940428 SCS&E Report 9303 March, 1993 Capability-Based Protection in a Persistent Global Virtual Memory System Jerry Vochteloo, Stephen Russell, Gernot Heiser SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9302.ps.Z, 19940428 SCS&E Report 9302 March, 1993 A Distributed Single Address-Space Operating System Supporting Persistence Gernot Heiser, Kevin Elphinstone, Stephen Russell, Graham R. Hellestrand SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9406.ps.Z, 19940603 SCS&E Report 9406 March, 1994 A Parallel Approach to High-Speed Protocol Processing Toong Shoon Chan and Ian Gorton SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9407.ps.Z, 19940603 SCS&E Report 9407 March, 1994 Time Constrained Buffer Specifications in CSP+T and Timed CSP John J. Zic SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9409.ps.Z, 19940718 SCS&E Report 9409 April, 1994 Tracing Kernel Activity in SunOS 4.0 David Goodall and Stephen Russell Communicated by Gernot Heiser SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9410.ps.Z, 19940919 On Reinforcement Learning of Control Actions in Noisy and Non-Markovian Domains. Mark Pendrith School of Computer Science and Engineering The University of New South Wales Sydney 2052 Australia E-mail: pendrith@cse.unsw.edu.au UNSW-CSE-TR-9410 \| 30 AUGUST 1994 Communicated by Claude Sammut
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9411.ps.Z, 19941017 Issues in Implementing Virtual Memory Kevin Elphinstone Stephen Russell Gernot Heiser School of Computer Science and Engineering University of NSW 2052 Australia E-mail: kevine@vast.unsw.edu.au UNSW-CSE-TR-9411 29 SEPTEMBER 1994
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9412.ps.Z, 19941103 Representing Closed CCS Systems by Petri Nets Jacek Olszewski1 Microsoft Institute of Advanced Software Technology 65 Epping Rd, North Ryde, 2113 Australia E-mail: jacek@cse.unsw.edu.au UNSW-CSE-TR-9412 \| 31 OCTOBER 1994 1on leave from the School of Computer Science and Engineering, University of New
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9413.ps.Z, 19941104 A Simple, Expressive Real-Time CCS C. Fidge Software Verification Research Centre Department of Computer Science University of Queensland 1 J. <=Zic School of Computer Science and Engineering UNSW 2 4th November 1994 1Software Verification Research Centre, Department of Computer Science, The University
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9501.ps.Z, 19950411 Medium Access Control for Synchronous Traffic in the AMNET LAN David Goodall Computer and Systems Technology Laboratory (CaST) School of Computer Science and Engineering The University of New South Wales Sydney 2052 Australia Keith Burston Manager, Communications Unit The University of New South Wales
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9502.ps.Z, 19950919 Checkpointing and Recovery for Distributed Shared Memory Applications Jinsong Ouyang and Gernot Heiser School of Computer Science and Engineering University of New South Wales Sydney 2052, Australia jinsong,gernot@cse.unsw.edu.au UNSW-CSE-TR-9502 \| June, 1995
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9504.ps.Z, 19951120 Single Address Space Operating Systems Tim Wilkinson1 Kevin Murray1 Stephen Russell2 Gernot Heiser2 Jochen Liedtke3 UNSW-CSE-TR-9504 13 November 1995 1Systems Architecture Research Centre, City University, Northampton Square, London EC1V 0HB, UK, e-mail: ftim,kamg@sarc.city.ac.uk, fax: +44 171 477 8587
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9503.ps.Z, 19951204 Guarded Page Tables on the MIPS R4600 Jochen Liedtke GMD \| German National Research Center for Information Technology GMD SET-RS, Schloss Birlinghoven, 53757 Sankt Augustin, Germany email: jochen.liedtke@gmd.de Kevin Elphinstone School of Computer Science and Engineering The University of New South
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9505.ps.Z, 19951217 Simulation of Large-Area Silicon Solar Cells 1 Gernot Heiser 2 Pietro P. Altermatt 3 The University of NSW, Sydney 2052, Australia. UNSW-CSE-TR-9505 12 December 1995 1This work was supported by a grant from the Australian Research Council (ARC). The Centre for Photovoltaic Devices and Systems is
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9601.ps.Z, 19960304 Supporting Persistent Object Systems in a Single Address Space1 Kevin Elphinstone, Stephen Russell, Gernot Heiser2 School of Computer Science & Engineering, The University of New South Wales, Sydney 2052, Australia Jochen Liedtke GMD SET-RS, Schlo Birlinghoven, 53757 Sankt Augustin, Germany
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9702.ps.Z, 19970313 An Analysis of non-Markov Automata Games: Implications for Reinforcement Learning Mark D. Pendrith School of Computer Science and Engineering The University of New South Wales Sydney 2052 Australia Michael J. McGarity School of Electrical Engineering The University of New South Wales Sydney 2052
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9701.ps.Z, 19970605 The Mungi Kernel API, Release 1.0 Gernot Heiser Jerry Vochteloo Kevin Elphinstone Stephen Russell E-mail: fgernot,jerry,kevine,smrg@cse.unsw.edu.au WWW: http://www.cse.unsw.edu.au/ ~disy UNSW-CSE-TR-9701 April 1997
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9704.ps.Z, 19970623 Implementation and Performance of the Mungi Single-Address-Space Operating System Gernot Heiser Kevin Elphinstone Jerry Vochteloo Stephen Russell Department of Computer Systems School of Computer Science and Engineering The University of New South Wales, Sydney 2052, Australia E-mail:
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9705.ps.Z, 19970824 Resource Management in the Mungi Single-Address-Space Operating System Gernot Heiser, Fondy Lam and Stephen Russell Department of Computer Systems School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia E-mail: G.Heiser@unsw.edu.au, WWW: http://www.cse.unsw.edu.au/ disy
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9703.ps.Z, 19970907 Estimator Variance in Reinforcement Learning: Theoretical Problems and Practical Solutions Mark D. Pendrith and Malcolm R.K. Ryan School of Computer Science and Engineering The University of New South Wales Sydney 2052 Australia E-mail: fpendrith,malcolmrg@cse.unsw.edu.au UNSW-CSE-TR-9703 \| 13 MARCH
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9707.ps.Z, 19971217 Performance Evaluation for Parallel Systems: A Survey Lei Hu and Ian Gorton Department of Computer Systems School of Computer Science and Engineering University of NSW, Sydney 2052, Australia E-mail: {lei, iango}@cse.unsw.edu.au UNSW-CSE-TR-9707 October 1997 2
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9708.ps.Z, 19971218 Extracting Hidden Context Michael Harries Claude Sammut Department of Artificial Intelligence School of Computer Science and Engineering The University of New South Wales, Sydney 2052, Australia. E-mail: fmbh,claudeg@cse.unsw.edu.au Kim Horn RMB Australia Limited, Level 5 Underwood House, 37-47 Pitt
	ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9709.ps.Z, 19971224 L4 Reference Manual MIPS R4x00 Version 1.0 Kernel Version 70 Kevin Elphinstone, Gernot Heiser Department of Computer Systems School of Computer Science and Engineering The University of New South Wales Sydney 2052, Australia fkevine,gernotg@cse.unsw.edu.au Jochen Liedtke IBM T. J. Watson Research Center