Browse

ftp://ftp.cs.york.ac.uk (148)

	ftp://ftp.cs.york.ac.uk/papers/top.ps.Z, 19920327 This dissertation is submitted for the degree of Doctor of Philosophy at the University of Cambridge Trinity College Cambridge February 1992 Craig Gordon MacNish Nonmonotonic Inference Systems for Modelling Dynamic Processes This dissertation describes my own work and includes nothing which is the
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-172.ps.Z, 19920414 Heap Profiling of Lazy Functional Programs Colin Runciman and David Wakeling University of York Technical Report Number 172 (April 1992)
	ftp://ftp.cs.york.ac.uk/papers/itssa.ps.Z, 19921023 INTEGRATED TECHNIQUES FOR SOFTWARE SAFETY ANALYSIS Peter Fenelon & John A McDermid1 Introduction We believe that existing techniques only address parts of the problem of assessing the safety of the software components of safety-critical systems. It is our belief that the main shortcomings of these
	ftp://ftp.cs.york.ac.uk/papers/itssa_slides.ps.Z, 19921023 Integrated Techniques For Software Safety Analysis The SSAP Approach Peter Fenelon, University of York Introduction Principles What Is Integration Techniques What Are We Integrating Tools How Do We Integrate Conclusions What Are The Benefits Integrated Techniques For Software Safety Analysis Slide 1
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-180.ps.Z, 19921103 Fault Tolerant Multi-Layer Perceptron Networks George Bolt1 James Austin, Gary Morgan Technical Report: YCS 180 July 1992 Advanced Computer Architecture Group Department of Computer Science University of York Heslington, York, YO1 5DD, U.K. Tel: +44-904-432771 Fax:+44-904-432767
	ftp://ftp.cs.york.ac.uk/papers/scase.ps.Z, 19921207 An Integrated Toolset For Software Safety Analysis Peter Fenelon John A. McDermid Department of Computer Science University of York Heslington York Y01 5DD United Kingdom Email: pete@minster.york.ac.uk, jam@minster.york.ac.uk Phone: +44 904 433388 FAX: +44 904 432708
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-178.ps.Z, 19921207 Equations have been used to capture strong and weak bisimulations of CCS, both without message passing (by Hennessy and Milner, and Walker in ) and with message passing (by Hennessy and Plotkin in ). Two main results of are a complete characterization of bisimulation with divergence ,
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-188.ps.Z, 19921208 We give a simple language for Transition Diagrams (TDs), which is motivated both by the understanding that designers often refer to the need for synchronization diagrams in concurrent systems, and by anticipating the designer's wish to organize and re-organize the diagrams. Furthermore, we extend LOTOS
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-186.ps.Z, 19921208 It has been claimed that Jankowitz's algorithm avoids the limitations of previous approaches to the automated detection of plagiarism. In order to establish the veracity of such claims, a number of tests were conducted to assess the and of Jankowitz's approach. In the context of this paper, robustness
	ftp://ftp.cs.york.ac.uk/reports/YCS-90-136.ps.Z, 19921209 The Analysis of Safety Arguments in the Specification of a Motor Speed Control Loop Stephen Clarke, Andy Coombes, and John A. McDermid Department of Computer Science University of York Heslington York Y01 5DD
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-184.ps.Z, 19921209 The Development of Thermal Regenerator Theory 1931 - the Present A. J. Willmott Department of Computer Science, University of York, York, Y01 5DD
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-176.ps.Z, 19921209 Specifying Temporal Requirements for Distributed Real-Time Systems in Z Andrew Coombes John McDermid Department of Computer Science, University of York, Heslington, YORK, Y01 5DD
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-185.ps.Z, 19921214 Incremental Type-Checking in Alexandre M.L. de Vasconcelos John A. McDermid Department of Computer Science University of York Heslington York, Y01 5DD
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-175.ps.Z, 19921214 This work was supported by Science and Engineering Research Council funded project (GR/F98055/4/1/2083). Ming Fang, Hussein S.M. Zedan, Chris J. Ho-Stuart Formal Systems Research Group Department of Computer Science University of York Heslington, York YO1 5DD With the increasing reliance on digital
	ftp://ftp.cs.york.ac.uk/reports/YCS-91-169.ps.Z, 19930104 Providing A Model For The Use Of Sound In User Interfaces. Stephen Brewster Department of Computer Science, University of York, Heslington, York, Y01 5DD. 28th June, 1991.
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-169.ps.Z, 19930104 Providing A Model For The Use Of Sound In User Interfaces. Stephen Brewster Department of Computer Science, University of York, Heslington, York, Y01 5DD. 28th June, 1991.
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-181.ps.Z, 19930113 Alan J. Dix and Victoria C. Miles H.C.I. Group, Department of Computer Science, University of York, Heslington, United Kingdom, YO1 5DD. E-mail: alan@minster.york.ac.uk Tel: (0904) 432778 Controlling the development of different versions of a document can be a complex task, even for a single author to
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-174.ps.Z, 19930113 Allocation of multiple processors to lazy boolean function trees justification of the magic number 2/3 Alan Dix Computer Science Department University of York, York, YO1 5DD, U.K. alan@uk.ac.york.minster First draft May 1991 Revised April 1992 In simulations of lazy evaluation of boolean formulae,
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-191.ps.Z, 19930129 Adaptable Scheduler Using Milestones For Hard Real-Time Systems Celio Estevan Moron and Hussein Zedan Department of Computer Science The University of York York, UK. {cem, zedan}@uk.ac.york.minster
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-171.ps.Z, 19930210 INCORPORATING UNBOUNDED ALGORITHMS INTO PREDICTABLE REAL-TIME SYSTEMS N. C. Audsley A. Burns M. F. Richardson A. J. Wellings Real-Time Systems Research Group, Department of Computer Science, University of York, UK
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-177.ps.Z, 19930211 PARTY: A Process Algebra with Real-Time from York1 Chris Ho-Stuart H. S. M. Zedan Ming Fang C. M. Holt2 Formal Systems Research Group3 Computer Science Dept, University of York, YO1 5DD, UK
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-190.ps.Z, 19930212 The Olympus Attitude and Orbital Control System A Case Study in Hard Real-time System Design and Implementation A. Burns and A.J. Wellings Real-time and Distributed Systems Research Group, Department of Computer Science, University of York, UK C.M. Bailey and E. Fyfe British Aerospace Space Systems Ltd,
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-192.ps.Z, 19930225 y y A refinement calculus for the development of real-time systems is presented. The calculus is based upon a wide-spectrum language called TAM (the Temporal Agent Model), within which both functional and timing properties can be expressed in either abstract or concrete terms. A specification oriented
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-167.ps.Z, 19930301 The Probe Project Tim Blanchard John A. McDermid Department of Computer Science, University of York tim@uk.ac.york.minster January 1992 hhhhhhhhhhhhhhh Research is sponsored by SERC/UK research grant number 89556293 and with the support of the Procurement Executive Ministry of Defence.
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-187.ps.Z, 19930301 An evaluation of the Ten15 persistent store Tim Blanchard * John A. McDermid Glossa, 59 Alexandra Road, Reading, Berkshire RG1 5PG Department of Computer Science, University of York, Heslington, York. YO1 5DD glossa@cix.compulink.co.uk jam@minster.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCS-89-125.ps.Z, 19930323 ARing-BasedOccam Multi-Processor Computer A.J. Fisher
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-194.ps.Z, 19930323 1 Microprocessor-based Decca Navigator Hyperbolic Radionavigation Receivers A.J. Fisher Department of Computer Science, University of York, Heslington, York YO1 5DD, U.K. fisher@minster.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCS-88-108.ps.Z, 19930323 a a a a The Alpha Text Formatting System A.J. Fisher Table of Contents Foreword 1 Users' Manual 3 1. Rationale 4 2. How to use Alpha 6 2.1. Introduction 6 2.2. Command-line options 8 2.3. The format file 9 3. Formatting commands 10 3.1. Block commands 10 3.2. Structure macros 11 3.3. Macros how they
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-197.ps.Z, 19930421 HOLISTIC1 SCHEDULABILITY ANALYSIS FOR DISTRIBUTED HARD REAL-TIME SYSTEMS Ken Tindell2 Department of Computer Science University of York, England
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-198.ps.Z, 19930513 PIPELINED PROCESSORS AND WORST CASE EXECUTION TIMES N. Zhang A. Burns M. Nicholson Department of Computer Science, University of York, UK
	ftp://ftp.cs.york.ac.uk/reports/YCST-90-02.ps.Z, 19930517 - 1 - Remove this page before binding. (The page number was placed before realizing that this was to be the title page.) Wisdom: The Foundation of a Scalable Parallel Operating System Kevin Murray Submitted for the degree of Doctor of Philosophy University of York Computer Science 16th February 1990 - 1
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-199.ps.Z, 19930526 HRT-HOOD A Structured Design Method for Hard Real-time Systems A. Burns and A.J. Wellings Real-time and Distributed Systems Research Group, Department of Computer Science University of York, Heslington, York, YO1 5DD, UK Email: burns@minster.york.ac.uk, andy@minster.york.ac.uk Keywords: Structured
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-196.ps.Z, 19930526 The High Level Petri Box Calculus: Basic Concepts Jon Hall Department of Computing Science University of York Heslington YORK UK jgh@minster.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-182_1.ps.Z, 19930603 USING OFFSET INFORMATION TO ANALYSE STATIC PRIORITY PRE-EMPTIVELY SCHEDULED TASK SETS K. W . Tindell1 Department of Computer Science, University of York, England E-mail: ken@minster.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-202.ps.Z, 19930623 Accident reports are intended to ensure that faults in one system do not recur in other systems. They contain the analysis of many different experts, including human factors and systems engineers. The insights of these investigators are often separated into chapters which reflect the particular concerns
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-200.ps.Z, 19930628 Changes to the Organisation and Work of Managers following the Introduction of an Integrated Information System. C. Kimble. Department of Computer Science, University of York, York, YO1 5DD. Tel 0904 433380, Fax 0904 432767. K. Mcloughlin. Department of Applied Social Studies, University of Northumbria
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-203.ps.Z, 19930701 DATA CONSISTENCY IN HARD REAL-TIME SYSTEMS N. C. Audsley, A. Burns, M. F. Richardson and A. J. Wellings Real-Time Systems Group Department of Computer Science University of York June 1993
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-204.ps.Z, 19930730 SCHEDULING HARD REAL-TIME MULTI-MEDIA DISK TRAFFIC K. Tindell1, A. Burns Real-Time Systems Research Group, Department of Computer Science, University of York, England
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-205.ps.Z, 19930817 Probabilistic Relaxation and Hierarchical Relaxation Wing Hung Lau and Edwin Hancock Department of Computer Science University of York York, YO1 5DD, England
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-206.ps.Z, 19930817 A Standard for Finite TAM1 David Scholefield, Hussein Zedan Formal Systems Research Group Department of Computer Science University of York Heslington, York, YO1 5DD August 12, 1993
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-189.ps.Z, 19930909 AN EXTENDIBLE APPROACH FOR ANALYSING FIXED PRIORITY HARD REAL-TIME TASKS K. W. Tindell1 Department of Computer Science, University of York, England YO1 5DD
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-209.ps.Z, 19930921 Implementing Analysable Hard Real-time Sporadic Tasks in Ada 9X A. Burns and A.J. Wellings Real-time Systems Research Group, Department of Computer Science, University of York, UK
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-208.ps.Z, 19931006 Technical Report on Cycle Calculus and Framework for Hybrid and Safety Critical System Specification with three Case Studies Heping He Formal Systems Research Group Department of Computer Science University of York UK email: jorge@uk.ac.york.minster
	ftp://ftp.cs.york.ac.uk/reports/YCS-92-182_2.ps.Z, 19931011 Offending Command = ifend Error = nametype : undefinedthis name is not defined in a dictionaryStack =true--nostringval--
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-210.ps.Z, 19931018 A Proof System for Real-Time Programs D. Scholefield, H. S. M. Zedan Formal Systems Research Group Department of Computer Science University of York Heslington, York, YO1 5DD October 13, 1993
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-212.ps.Z, 19931027 Fixed Priority Scheduling with Deadlines Prior to Completion A. Burns Real-Time Systems Research Group Department of Computer Science University of York, UK
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-211.ps.Z, 19931110 An Approach to the Design of Software for Distributed Real-Time Systems Andrew J. Vickers and John A. McDermid Department of Computer Science University of York Heslington York Y01 5DD
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-214.ps.Z, 19931111 PREEMPTIVE PRIORITY BASED SCHEDULING: AN APPROPRIATE ENGINEERING APPROACH Alan Burns Real-Time Systems Research Group Department of Computer Science University of York, UK
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-213.ps.Z, 19931115 TAM Technical Notes 1 and 2 David Scholefield Formal Systems Research Group Department of Computer Science University of York Heslington, York, YO1 5DD f djs g@minster.york.ac.uk November 5, 1993 Overview This technical report contains two TAM technical notes; their titles and abstracts are as follows:
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-215.ps.Z, 19931116 Optimising Partial Applications in TIM David Wakeling and Alan Dix University of York Technical Report Number 215 (November 1993) 1 Introduction In Fairbairn and Wray introduced TIM, a simple abstract machine for executing supercombinators. Their abstract machine is an elegant design optimised for
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-216.ps.Z, 19931208 Approximate Slack Stealing Algorithms for Fixed Priority Pre-emptive Systems R.I.Davis Real-Time Systems Research Group, Department of Computer Science, University of York, England.
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-217.ps.Z, 19931208 Scheduling Slack Time in Fixed Priority Pre-emptive Systems R.I.Davis Real-Time Systems Research Group, Department of Computer Science, University of York, England.
	ftp://ftp.cs.york.ac.uk/reports/presman.ps.Z, 19940104 P nProgrammer / User Manual Version 2.2 Roger Took, University of York, Heslington, York YO1 5DD roger@uk.ac.york.minster - 2 - Contents and Summary of Primitives 1. Introduction 2. Overview 3. The Primitive Operations 3.1. Tree Operations 3.2. Operations to Manipulate the Content of the Region Tree
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-221_appendix.ps.Z, 19940121 APPENDIX A PROOFS OF THEOREMS Proof of theorem 1 Let TSt(x) be the time of latest invocation of transaction t falling before the end of a given level i busy period. Let d be the time between the xth and the (x 1)th invocation of the transaction, i.e.: d = - - TS x TS x t t ( ) ( )1 Clearly, we have d
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-221.ps.Z, 19940121 ADDING TIME-OFFSETS TO SCHEDULABILITY ANALYSIS Ken Tindell1, Real-Time Systems Research Group, Department of Computer Science University of York, England
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-219.ps.Z, 19940124 Cross-Application Hypertext for Qualitative Decision Making Jane M. Fritz University of York
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-220.ps.Z, 19940125 Tao: A Model for Concurrency in Object-Oriented Programming S. E. Mitchell A. J. Wellings, Department of Computer Science, University of York, York, United Kingdom. December 13, 1993
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-222.ps.Z, 19940126 ANALYSIS OF HARD REAL-TIME COMMUNICATIONS Ken Tindell, Real-Time Systems Research Group, Department of Computer Science, University of York, England
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-223.ps.Z, 19940208 Functional Languages and Graphical User Interfaces { a review and a case study Rob Noble Colin Runciman frjn,coling@minster.york.ac.uk February 3, 1994
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-224.ps.Z, 19940214 A Performance Analysis of a Hard Real-time System C.M. Bailey British Aerospace, Space Systems Limited, Stevenage, UK A. Burns and A.J. Wellings Real-time Systems Research Group, Department of Computer Science University of York, UK. C.H. Forsyth York Software Engineering, Heslington, York
	ftp://ftp.cs.york.ac.uk/papers/newport.ps.Z, 19940216 - 2 - ALLOCATING AND SCHEDULING HARD REAL-TIME TASKS ON A POINT-TO-POINT DISTRIBUTED SYSTEM A. Burns M. Nicholson K. Tindell N. Zhang Real-Time and Distributed Systems Research Group Department of Computer Science, University of York, UK email: burns@minster.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-225.ps.Z, 19940224 ADAPTING AND EVALUATING ALGORITHMS FOR DYNAMIC SCHEDULABILITY TESTING February 1994 Charlie McElhone Department of Computer Science University of York, England.
	ftp://ftp.cs.york.ac.uk/papers/gesture_NN.ps.Z, 19940228 Gesture Input using Neural Networks Philip A. Harling Department of Computer Science University of York Heslington York, YO1 5DD, UK. philiph@minster.york.ac.uk +44 904 432765 18th March 1993 This project report is submitted for the BSc degree in Computer Science in the Department of Computer Science at
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-227.ps.Z, 19940316 Proving Properties of Real-Time Semaphores David Scholefield Formal Systems Research Group Department of Computer Science University of York Heslington, York, YO1 5DD February 14, 1994
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-223.us.ps.Z, 19940414 Functional Languages and Graphical User Interfaces { a review and a case study Rob Noble Colin Runciman frjn,coling@minster.york.ac.uk February 3, 1994
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-226_a.ps.Z, 19940420 - 46 - Table 4. Token Arriving Time (1) iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii Nodes
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-226_b.ps.Z, 19940420 - 47 - Table 4. Token Arriving Time (2) iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii Nodes
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-226.ps.Z, 19940420 A STUDY OF TIMING PROPERTIES WITH THE TIMED TOKEN PROTOCOL Sijing Zhang Alan Burns Department of Computer Science University of York Heslington York YO1 5DD
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-229.ps.Z, 19940601 1 GUARANTEED MESSAGE LATENCIES FOR DISTRIBUTED SAFETY-CRITICAL HARD REAL-TIME CONTROL NETWORKS1 Ken Tindell, Alan Burns Real-Time Systems Research Group, Department of Computer Science, University of York, YO1 5DD, England
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-231.ps.Z, 19940602 Guaranteeing X in Y: On-line Acceptance Tests for Hard Aperiodic Tasks Scheduled by the Slack Stealing Algorithm. Robert Davis Real-Time Systems Research Group, Department of Computer Science, University of York, Y01 5DD, England. Email: robd@minster.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-230.ps.Z, 19940602 Dual Priority Scheduling: A Means of Providing Flexibility in Hard Real-time Systems. Robert Davis Real-Time Systems Research Group, Department of Computer Science, University of York, Y01 5DD, England. Email: robd@minster.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-233.ps.Z, 19940621 Debugging Distributed Ada Programs J S Briggs S D Jamieson G W Randall I C Wand Real-time and Distributed Systems Research Group Department of Computer Science University of York June 1994
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-234.ps.Z, 19940630 Synchronisation, Concurrent Object-Oriented Programming and the Inheritance Anomaly S. E. Mitchell A. J. Wellings, Department of Computer Science, University of York, York, United Kingdom. June 30, 1994
	ftp://ftp.cs.york.ac.uk/papers/acm.ps.Z, 19940707 TOWARDS INTEGRATED SAFETY ANALYSIS AND DESIGN P Fenelon, J A McDermid, M Nicholson, D J Pumfrey University of York
	ftp://ftp.cs.york.ac.uk/papers/safe_cause.ps.Z, 19940819 NEW DIRECTIONS IN SOFTWARE SAFETY: CAUSAL MODELLING AS AN AID TO INTEGRATION Peter Fenelon1 and John A McDermid High Integrity Systems Engineering Group, Department of Computer Science, University of York, Heslington, York Y01 5DD Tel: +44 904 433388 FAX: +44 904 432767 Email:pete@minster.york.ac.uk,
	ftp://ftp.cs.york.ac.uk/reports/wcet.ps.Z, 19940908 Program timing analysis Roderick Chapman Dependable Computing Systems Centre University of York Heslington York, Y01 5DD email: rod@minster.york.ac.uk May 31, 1994
	ftp://ftp.cs.york.ac.uk/papers/hazop.ps.Z, 19940909 Applying HAZOP to Software Engineering Models PETER FENELON High Integrity Systems Engineering Group, Department Of Computer Science University Of York Heslington York Y01 5DD BARRY HEBBRON School of Computing and Mathematics University of Teesside Middlesbrough Cleveland TS1 3BA England
	ftp://ftp.cs.york.ac.uk/papers/hazop_appendix.ps.Z, 19940909 ]_ Appendix: Formalisation of HAZOP Intents We start by introducing the types INTENT, PROPERTYWORD and GUIDEWORDS: ]INTENT _, ]PROPERTYWORD _, ]GUIDEWORDS _]_ In the schema HazopIssues we illustrate the relationship between the invokes and expressed_by relations, as shown earlier in the paper: ]
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-237.ps.Z, 19941102 ANALYSIS AND DESIGN SYNTHESIS FOR HARD REAL-TIME SAFETY CRITICAL SYSTEMS M. Nicholson J. McDermid A. Burns Real-Time and Distributed Systems Research Group Department of Computer Science, University of York, UK email: mark@minster.york.ac.uk "They are in you and in me; they created us, body and mind;
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-236.ps.Z, 19941102 Software Engineering in Japan A Comparison of the Information Gathered by the 1990 and 1994 Missions from the United Kingdom I C Wand University of York 26 May 1994
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-238.ps.Z, 19941102 ALLOCATING AND SCHEDULING HARD REAL-TIME TASKS ON A PARALLEL PROCESSING PLATFORM A. Burns M. Nicholson K. Tindell N. Zhang Department of Computer Science, University of York, UK email: burns@minster.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-239.ps.Z, 19941109 Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-emptive Systems Robert Davis and Alan Burns Real-Time Systems Research Group, Department of Computer Science, University of York, Y01 5DD, England. Email: robd@minster.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-240.ps.Z, 19941110 Integrating Best-Effort Policies into Hard Real-Time Systems based on Fixed Priority Pre-emptive Scheduling. Robert Davis Real-Time Systems Research Group, Department of Computer Science, University of York, England.
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-245.ps.Z, 19941122 ANALYSIS OF DEPENDABLE COMPUTER SYSTEMS M. Nicholson and J. A. McDermid November 1994 High Integrity Systems Group, Department of Computer Science, University of York, Heslington, York, Y01 5DD UK. Email: jam@minster.york.ac.uk, mark@minster.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-242.ps.Z, 19941129 1 The Cellular Neural Network Associative Processor, C-NNAP. Jim Austin1, Martin Brown, Stephen Buckle, Anthony Moulds, Rick Pack, Aaron Turner. January 1994 Advanced Computer Architecture Group Department of Computer Science University of York York, YO1 5DD, United Kingdom. austin@minster.york.ac.uk,
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-246.ps.Z, 19941130 WORST-CASE TIMING ANALYSIS VIA FINDING LONGEST PATHS IN SPARK ADA BASIC-PATH GRAPHS Roderick Chapman The British Aerospace Dependable Computing Systems Centre, Department of Computer Science, University of York, Heslington, York YO1 5DD 27th October 1994
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-241.ps.Z, 19941207 HYBRID ALGORITHMS FOR DYNAMIC SCHEDULABILITY TESTING October 1994 Charlie McElhone Department of Computer Science University of York, England.
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-243_b.ps.Z, 19941217 - 22 - Table 3-1: Token Arriving Time ( H i t iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-244.ps.Z, 19941217 EMCA An Optimal Synchronous Bandwidth Allocation Scheme for Guaranteeing Synchronous Message Deadlines with the Timed Token Protocol in an FDDI Network Sijing Zhang Alan Burns Department of Computer Science University of York Heslington York YO1 5DD
	ftp://ftp.cs.york.ac.uk/papers/taste.ps.Z, 19950125 More Taste: Less Greed or Sending UNIX to the Fat Farm C H Forsyth Department of Computer Science University of York Heslington York YO1 5DD England +44 904 432753 forsyth@minster.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCS-95-250.ps.Z, 19950202 1 1 P ZZ : : :8 ffl 8 ffl >= 1. Introduction Keywords:
	ftp://ftp.cs.york.ac.uk/reports/YCS-95-249.ps.Z, 19950207 An action-based formal model for concurrent, real-time systems C.J. Fidgey A.J. Wellingsz
	ftp://ftp.cs.york.ac.uk/reports/YCST-95-03.ps.Z, 19950220 Learning Unification-Based Natural Language Grammars Miles Osborne Submitted for the degree of Doctor of Philosophy The Intelligent Systems Group, The Department of Computer Science The University of York. September 1994 `It is high time we turned to Grammar now,' said Doctor Cornelius in a loud voice.
	ftp://ftp.cs.york.ac.uk/reports/YCS-95-253.ps.Z, 19950314 1 THE APPLICATION OF A METHOD FOR INTEGRATING NON-SPEECH AUDIO INTO HUMAN-COMPUTER INTERFACES Stephen A. Brewster1, Peter C. Wright2 and Alistair D. N. Edwards2 1VTT Information Technology, 2Department of Computer Science, Tekniikantie 4 B, University of York, P.O. Box 1203, Heslington, FIN-02044 VTT,
	ftp://ftp.cs.york.ac.uk/reports/YCS-95-252.ps.Z, 19950314 1 Parallel Earcons: Reducing the Length of Audio Messages STEPHEN A. BREWSTER1, PETER C. WRIGHT2 AND ALISTAIR D. N. EDWARDS2 1VTT Information Technology, Tekniikantie 4 B, P.O. Box 1203, FIN-02044 VTT, Finland stephen.brewster@vtt.fi 2HCI Group, Department of Computer Science, University of York,
	ftp://ftp.cs.york.ac.uk/reports/YCS-95-251.ps.Z, 19950406 The Design and Analysis of a Close-In Weapons System Simulator using HRT-HOOD* Pete Cornwell, Alan Burns and Andy Wellings Real-Time Systems Research Group, Department of Computer Science University of York cornwell@minster.york.ac.uk or pcornwel@bournemouth.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCS-87-095.ps.Z, 19950417 Title: Practical parsing of generalised phrase structure grammars Author: Anthony J. FISHER Address: Department of Computer Science, The University of York, Heslington, York YO1 5DD, U.K. Practical parsing of GPSGs Page 1
	ftp://ftp.cs.york.ac.uk/reports/YCS-95-254.ps.Z, 19950425 Laurence Brooks University of York page 1 Structuration Theory and New Technology: A Coherent Theoretical Framework for Greater Understanding of Computer-Aided Design (CAD) in the Organisation Laurence Brooks Department of Computer Science York YO1 5DD lsb@minster.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCS-95-256.ps.Z, 19950426 New dimensions in heap profiling Colin Runciman Niklas R ojemo Dept. of Computer Science Dept. of Computer Science University of York Chalmers University York YO1 5DD S-412 96 Gothenburg England Sweden colin@minster.york.ac.uk rojemo@cs.chalmers.se July 1994 (revised February 1995)
	ftp://ftp.cs.york.ac.uk/reports/YCS-95-257.ps.Z, 19950427 ISETL-LINDA: Parallel Programming with Bags Technical Report YCS 257 Andrew Douglas , Antony Rowstron and Alan Wood Department of Computer Science, The University of York
	ftp://ftp.cs.york.ac.uk/reports/YCS-95-255.ps.Z, 19950502 An Efficient and Practical Synchronous Bandwidth Allocation Scheme for Deadline Guarantees of Synchronous Messages in an FDDI Network Sijing Zhang (Email: zsj@cs.york.ac.uk) Real-Time Systems Research Group Department of Computer Science, University of York Heslington, York YO1 5DD, UK
	ftp://ftp.cs.york.ac.uk/reports/YCS-95-258.ps.Z, 19950503 Comparing Refinement in Z and TAM Simon Atkinson and David Scholefield Real-Time Systems Research Group Department of Computer Science University of York Heslington, York, YO1 5DD May 3, 1995
	ftp://ftp.cs.york.ac.uk/reports/YCST-95-04.ps.Z, 19950522 Functional Programming and Embedded Systems Malcolm Wallace, MEng Thesis submitted for the degree of DPhil in Computer Science Department of Computer Science University of York January 1995
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-243_a.ps.Z, 19950524 Timing Properties of the Timed Token Protocol Sijing Zhang Alan Burns Department of Computer Science University of York Heslington York YO1 5DD
	ftp://ftp.cs.york.ac.uk/reports/YCST-95-07.ps.Z, 19950802 The use of Formal Models in the Design of Interactive Case Memory Systems Andrew Mark Dearden Submitted for the degree of Doctor of Philosophy The University of York The Human Computer Interaction Group, The Department of Computer Science. May 1995
	ftp://ftp.cs.york.ac.uk/reports/YCS-95-259.ps.Z, 19950814 Inductive Bias in Case-Based Reasoning Systems A D Griffiths and D G Bridge July 26, 1995
	ftp://ftp.cs.york.ac.uk/reports/YCS-91-154.ps.Z, 19950821 Technical Report: YCS 154 Investigating Fault Tolerance in Artificial Neural Networks George Bolt Advanced Computer Architecture Group Department of Computer Science University of York Heslington, York, YO1 5DD, U.K. 25/3/91 hhhhhhhhhhhhhhh This work was supported by SERC and also by a CASE sponsorship
	ftp://ftp.cs.york.ac.uk/reports/YCST-95-009.ps.Z, 19950913 TAO A Model for the Integration of Concurrency and Synchronisation in Object-Oriented Programming S. E. Mitchell1, Submitted for the degree of Doctor of Philosophy, Department of Computer Science, University of York, UK March 1995 1Supported by S.E.R.C. award No. 91308861
	ftp://ftp.cs.york.ac.uk/reports/YCS-95-260.ps.Z, 19951002 1 Adding Instruction Cache Effect to Schedulability Analysis of Preemptive Real- Time Systems* * This work was supported in part by the Spanish Ministry of Education and Science. It was done whilst Jose V. Busquets was on Study Leave with the RealTime Systems Research Group at University of York. Jos
	ftp://ftp.cs.york.ac.uk/reports/YCS-94-228.ps.Z, 19951124 Two Views of High-Integrity Ada I C Wand March 1994
	ftp://ftp.cs.york.ac.uk/reports/YCST-95-10.ps.Z, 19951219 Graphical Application and Visualization of Lazy Functional Computation Sandra Periam Foubister Submitted for the degree of Doctor of Philosophy The University of York Functional Programming Group, The Department of Computer Science. May 1995
	ftp://ftp.cs.york.ac.uk/reports/YCS-96-263.ps.Z, 19960108 Implementing Atomic Actions in Ada 95 A.J. Wellings and A. Burns Real-Time Systems Research Group Department of Computer Science University of York U.K. January 4, 1996
	ftp://ftp.cs.york.ac.uk/reports/YCS-96-264.ps.Z, 19960115 Further Towards a Unification of Parallel Architecture Classes Duncan K. G. Campbell Department of Computer Science University of York January 11, 1996
	ftp://ftp.cs.york.ac.uk/reports/YCS-96-265.ps.Z, 19960220 Formal Analysis of a Real-Time Kernel Specification Simon Fowler Real-Time Systems Research Group Department of Computer Science University of York, UK February 19, 1996
	ftp://ftp.cs.york.ac.uk/reports/YCS-96-266.ps.Z, 19960318 Import toolkit A Safe Subset of Statecharts for Safety-critical Applications F G Shi, J M Armstrong, J A McDermid Department of Computer Science, University of York, UK ffeng, jam, jmag@cs.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCS-96-267.ps.Z, 19960425 Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD Pete Cornwell Distributed Objects Research Group, Department of Computing, Bournemouth University Dorset, United Kingdom Andy Wellings Real-Time Systems Research Group Department of Computer Science, University of York York,
	ftp://ftp.cs.york.ac.uk/reports/YCS-96-268.ps.Z, 19960509 COPY-COLLECT: A new primitive for the Linda model Antony Rowstron, Andrew Douglas and Alan Wood Department of Computer Science, University of York
	ftp://ftp.cs.york.ac.uk/reports/YCS-96-269.ps.Z, 19960512 A Semantics for Limited Resource Refinement Simon Atkinson Real-Time Systems Research Group Department of Computer Science University of York Heslington, York, YO1 5DD May 6, 1996
	ftp://ftp.cs.york.ac.uk/reports/YCS-96-270.ps.Z, 19960605 An efficient distributed tuple space implementation for networks of heterogenous workstations Antony Rowstron and Alan Wood Department of Computer Science, University of York, York, YO1 5DD, UK
	ftp://ftp.cs.york.ac.uk/reports/YCS-96-271.ps.Z, 19960703 A Z Subset for Direct Implementation and Code Generation F. G. Shi, J. A. McDermid, J. M. Armstrong Department of Computer Science University of York York YO1 5DD U.K. Email: feng@cs.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCST-96-05.ps.Z, 19960722 Lazy Functional Components for Graphical User Interfaces Rob Noble, BSc Thesis submitted for the degree of DPhil in Computer Science Department of Computer Science University of York November 1995 ii
	ftp://ftp.cs.york.ac.uk/reports/YCST-96-08.ps.Z, 19960814 Synchronous Bandwidth Allocation for Time-Critical Communication Sijing Zhang Submitted for the degree of Doctor of Philosophy University of York Department of Computer Science April 1996
	ftp://ftp.cs.york.ac.uk/reports/YCS-96-272.ps.Z, 19960828 Import toolkit An Introduction to ZedCharts and Its Applications F. G. Shi, J. A. McDermid, J. M. Armstrong Department of Computer Science University of York Heslington York YO1 5DD U.K. Email: feng@minster.cs.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCST-96-11.ps.Z, 19961107 Inexact Graph Matching Using Symbolic Constraints Richard Charles Wilson, B.A.(Oxon) Submitted for the degree of Doctor of Philosophy Department of Computer Science November 7, 1996
	ftp://ftp.cs.york.ac.uk/reports/YCST-96-09.ps.Z, 19961121 Formal Justification in Requirements Engineering Simon Robert Smith Submitted for the degree of Doctor of Philosophy University of York Department of Computer Science May 1996
	ftp://ftp.cs.york.ac.uk/reports/YCS-96-274.ps.Z, 19961202 On the Implementation of an Asymmetric Hyperspace in Linear Memory: Implementing Tuple Spaces Duncan K. G. Campbell Department of Computer Science University of York November 29,1996
	ftp://ftp.cs.york.ac.uk/reports/YCS-96-273.ps.Z, 19961202 On a Chemical Abstract Machine for Linda Duncan K. G. Campbell Department of Computer Science University of York November 28, 1996
	ftp://ftp.cs.york.ac.uk/reports/YCS-96-275.ps.Z, 19961202 Further Results with Algorithmic Skeletons for the CLUMPS Model of Parallel Computation Duncan K. G. Campbell Department of Computer Science, University of York December 2, 1996
	ftp://ftp.cs.york.ac.uk/reports/YCS-96-276.ps.Z, 19961211 Towards the Classification of Algorithmic Skeletons Duncan K. G. Campbell Department of Computer Science, University of York December 3, 1996
	ftp://ftp.cs.york.ac.uk/reports/YCST-96-02.ps.Z, 19961217 Formal development methods for interactive systems: Combining interactors and design rationale Christopher John Bramwell Submitted for the degree of Doctor of Philosophy The University of York The Human Computer Interaction Group The Department of Computer Science September 1995
	ftp://ftp.cs.york.ac.uk/reports/YCS-93-201.ps.Z, 19970106 A High Integrity Subset of Ada D T Jordan and I C Wand June 1993 David Jordan is with York Software Engineering Limited, University of York, York YO1 5DD. This report was prepared while Ian Wand was a Visiting Scientist at the CEC Joint Research Centre, Ispra, Italy.
	ftp://ftp.cs.york.ac.uk/reports/YCS-95-261.ps.Z, 19970114 YCS.261 A novel chained-block byte-vector cipher intended for software implementation W. Freeman Department of Computer Science University of York York YO1 5DD U.K. wf@cs.york.ac.uk September 1995 Copyright W. Freeman 1995
	ftp://ftp.cs.york.ac.uk/reports/YCST-97-02.ps.Z, 19970307 Inductive Generalisation in Case-Based Reasoning Systems Anthony D. Griffiths Submitted for the degree of Doctor of Philosophy Intelligent Systems Group, Department of Computer Science, University of York, UK. September 1996 to the memory of John Edward Griffiths 17th June 1966 to 10th May 1992 Deep
	ftp://ftp.cs.york.ac.uk/reports/YCS-97-281.ps.Z, 19970327 A Formal Analysis of Case Base Retrieval Hugh R. Osborne and Derek G. Bridge Department of Computer Science University of York Heslington York YO1 5DD March 21, 1997
	ftp://ftp.cs.york.ac.uk/reports/YCS-97-282.ps.Z, 19970327 Liam: A Chemical Abstract Machine for Linda Duncan K. G. Campbell Department of Computer Science University of York March 27, 1997
	ftp://ftp.cs.york.ac.uk/reports/YCS-97-283.ps.Z, 19970430 1 Assessing the Relative Importance of Factors Affecting Executive Information Systems Success T. Kaniclides and C. Kimble Management and Information Systems Group Department of Computer Science, The University of York, England
	ftp://ftp.cs.york.ac.uk/reports/YCST-97-05.ps.Z, 19970707 Schedulability Analysis for Fault Tolerant Real-Time Systems Sasikumar Punnekkat Submitted for the degree of Doctor of Philosophy University of York Department of Computer Science June 1997 Dedicated to the memory of my father
	ftp://ftp.cs.york.ac.uk/reports/YCS-97-284.ps.Z, 19970714 Structuring Architectural Topologies for Real-Time Safety-Critical Systems Mark Nicholson and Alan Burns Real-Time Systems Group Department of Computer Science University of York, England, YO1 5DD tel: (01904) 432789 fax: (01904) 432767 e-mail: mark@minster.cs.york.ac.uk, burns@minster.cs.york.ac.uk 7
	ftp://ftp.cs.york.ac.uk/reports/YCS-97-285.ps.Z, 19970722 Constraint Matching Retrieval in Linda: extending retrieval functionality and distributing query processing Duncan K. G. Campbell Department of Computer Science University of York June 11, 1997
	ftp://ftp.cs.york.ac.uk/reports/YCST-97-006.ps.Z, 19970730 Neural-based content analysis of document images Simon Edward Marius O'Keefe Thesis submitted for the degree of Doctor of Philosophy University of York Department of Computer Science February 1997
	ftp://ftp.cs.york.ac.uk/reports/YCS-97-286.ps.Z, 19970903 A Three-Slot Asynchronous Reader/Writer Mechanism for Multiprocessor Real-Time Systems Jing Chen and Alan Burns Real-Time System Group Department of Computer Science University of York York, YO1 5DD, U.K. January 16, 1997
	ftp://ftp.cs.york.ac.uk/reports/YCS-97-288.ps.Z, 19970903 A Fully Asynchronous Reader/Writer Mechanism for Multiprocessor Real-Time Systems Jing Chen and Alan Burns Real-Time System Group Department of Computer Science University of York York, YO1 5DD, U.K.
	ftp://ftp.cs.york.ac.uk/reports/YCS-97-287.ps.Z, 19970904 Closure for Case Base Retrieval in Linda: an instance of the Iterative Transformation skeleton Duncan K. G. Campbell Department of Computer Science, University of York July 21, 1997
	ftp://ftp.cs.york.ac.uk/reports/YCS-97-292.ps.Z, 19971118 1 Emergence of an Architectural Topology for Safety-Critical Real-Time Systems Mark Nicholson and Alan Burns Department of Computer Science, University of York, Heslington, York, YO1 5DD. Tel: (01904) 432789
	ftp://ftp.cs.york.ac.uk/reports/YCS-97-290.ps.Z, 19971120 Coordination using Object Attributes Alan Wood Department of Computer Science University of York wood@cs.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCS-97-293.ps.Z, 19971125 Using Modecharts to define terminal HRT-HOOD object structure Darren Priddin1 and Alan Burns August 1997 1Partly funded by a CASE award from the European Space Agency
	ftp://ftp.cs.york.ac.uk/reports/YCS-97-294.ps.Z, 19971210 THEA: Human Error Analysis for Requirements Definition Bob Fields, Michael Harrison, Peter Wright Human-Computer Interaction Group Department of Computer Science University of York York, YO1 5DD bob, mdh, pcw @cs.york.ac.uk
	ftp://ftp.cs.york.ac.uk/reports/YCS-97-289.ps.Z, 19971216 SCHEDULING OPTIONAL COMPUTATIONS FOR ADAPTIVE REAL -TIME SYSTEMS Charlie McElhone and Alan Burns Real-Time Systems Research Group, Department of Computer Science, University of York, UK.