Technical Reports
Year: 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969
- Romanovsky A. Atomic Actions Based on Distributed/Concurrent Exception Resolution. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 560 (download PDF).
- Meinke K, Steggles LJ. Correctness of Dataflow and Systolic Algorithms: Case Studies in Higher-Order Algebra. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 559 (download PDF).
- Blair H, Caughey SJ, Green H, Shrivastava SK. Structuring Call Control Software Using Distributed Objects. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 558 (download PDF).
- Calsavara A, Shrivastava SK. A Toolkit for Constructing Distributed Object-Oriented Metainformation Systems. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 557 (download PDF).
- Duan, Z.An Extended Interval Temporal Logic and a Framing Technique for Temporal Logic Programing. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 556 (download PDF).
- B.N. Rossiter and M.A. Heather. Standards for Assured Legacy Systems. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 555 (download PDF).
- M.A. Heather and B.N. Rossiter. Formal Representation of the Logic Embedded in Legal Language. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 554 (download PDF).
- Smith JA, Shrivastava SK. A System for Fault-Tolerant Execution of Data and Compute Intensive Programs Over a Network of Workstations. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 553 (download PDF).
- M Hesketh. On Synthesis of Box Expressions from Petri Boxes. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 552 (download PDF).
- Steggles LJ, Wirsing M. Formal Software and Hardware Development: A Case Study in the Use of CSDM, SPECTRUM and HOLCF. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 551 (download PDF).
- Lait AJ, Randell B. An Assessment of Name Matching Algorithms. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 550 (download PDF).
- Holt, C.M.Making Visual Languages More Effective. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 549 (download PDF).
- Watson P, Ward M, Hoyle K. The System Management of the ICL GOLDRUSH Parallel Database Server. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 548 (download PDF).
- Pietkiewicz-Koutny M. Transition Systems of Elementary Net Systems with Inhibitor Arcs. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 547 (download PDF).
- J.N. Coleman, D.J. Kinniment, F.P. Burns and A.M. Koelmans. A Self-Taught Computer Engineering Course. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 546 (download PDF).
- Romanovsky A. Practical Exception Handling and Resolution in Concurrent Programs. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 545 (download PDF).
- M. Pakzad, J.L. Lloyd and C. Phillips. Independent Columns: A New Parallel ILU Preconditioner for the PCG Method. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 544 (download PDF).
- F.V. Brasileiro. Constructing Fail-Controlled Nodes for Distributed Systems: A Software Approach. Department of Computing Science. 1996. Department of Computing Science Technical Report Series 543 (download PDF).