Technical Reports Index

University of Cambridge Computer Laboratory

ISSN 1476-2986

UCAM-CL-TR-863
Jatinder Singh, Jean Bacon, Jon Crowcroft, Anil Madhavapeddy, Thomas Pasquier, W. Kuan Hon, Christopher Millard: Regional clouds: technical considerations, November 2014. (18 pages)
UCAM-CL-TR-862
Henrik Lieng: Surface modelling for 2D imagery, October 2014. (177 pages, PhD thesis)
UCAM-CL-TR-861
Tadas Baltrusaitis: Automatic facial expression analysis, October 2014. (218 pages, PhD thesis)
UCAM-CL-TR-860
Steffen Loesch: Program equivalence in functional metaprogramming via nominal Scott domains, October 2014. (164 pages, PhD thesis)
UCAM-CL-TR-859
Lucian Carata, Oliver Chick, James Snee, Ripduman Sohan, Andrew Rice, Andy Hopper: Resourceful: fine-grained resource accounting for explaining service variability, September 2014. (12 pages)
UCAM-CL-TR-858
Jonathan D. Woodruff: CHERI: A RISC capability machine for practical memory safety, July 2014. (112 pages, PhD thesis)
UCAM-CL-TR-857
Heidi Howard: ARC: Analysis of Raft Consensus, July 2014. (69 pages)
UCAM-CL-TR-856
Awais Athar: Sentiment analysis of scientific citations, June 2014. (114 pages, PhD thesis)
UCAM-CL-TR-855
Patrick K.A. Wollner, Isak Herman, Haikal Pribadi, Leonardo Impett, Alan F. Blackwell: Mephistophone, June 2014. (8 pages)
UCAM-CL-TR-854
Dominic Orchard: Programming contextual computations, May 2014. (223 pages, PhD thesis)
UCAM-CL-TR-853
Robert N.M. Watson, David Chisnall, Brooks Davis, Wojciech Koszek, Simon W. Moore, Steven J. Murdoch, Peter G. Neumann, Jonathan Woodruff: Bluespec Extensible RISC Implementation: BERI Software reference, April 2014. (34 pages)
UCAM-CL-TR-852
Robert N.M. Watson, Jonathan Woodruff, David Chisnall, Brooks Davis, Wojciech Koszek, A. Theodore Markettos, Simon W. Moore, Steven J. Murdoch, Peter G. Neumann, Robert Norton, Michael Roe: Bluespec Extensible RISC Implementation: BERI Hardware reference, April 2014. (76 pages)
UCAM-CL-TR-851
Robert N.M. Watson, David Chisnall, Brooks Davis, Wojciech Koszek, Simon W. Moore, Steven J. Murdoch, Peter G. Neumann, Jonathan Woodruff: Capability Hardware Enhanced RISC Instructions: CHERI User’s guide, April 2014. (26 pages)
UCAM-CL-TR-850
Robert N.M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Simon W. Moore, Steven J. Murdoch, Michael Roe: Capability Hardware Enhanced RISC Instructions: CHERI Instruction-set architecture, April 2014. (131 pages)
UCAM-CL-TR-849
Marcelo Bagnulo Braun, Jon Crowcroft: SNA: Sourceless Network Architecture, March 2014. (12 pages)
UCAM-CL-TR-848
James G. Jardine: Automatically generating reading lists, February 2014. (164 pages, PhD thesis)
UCAM-CL-TR-847
Jatinder Singh, Jean Bacon: SBUS: a generic policy-enforcing middleware for open pervasive systems, February 2014. (20 pages)
UCAM-CL-TR-846
Daniel Bates: Exploiting tightly-coupled cores, January 2014. (162 pages, PhD thesis)
UCAM-CL-TR-845
Stephen Kell: Black-box composition of mismatched software components, December 2013. (251 pages, PhD thesis)
UCAM-CL-TR-844
Wei Ming Khoo: Decompilation as search, November 2013. (119 pages, PhD thesis)
UCAM-CL-TR-843
Robin Message: Programming for humans: a new paradigm for domain-specific languages, November 2013. (140 pages, PhD thesis)
UCAM-CL-TR-842
Helen Yannakoudakis: Automated assessment of English-learner writing, October 2013. (151 pages, PhD thesis)
UCAM-CL-TR-841
Arjuna Sathiaseelan, Dirk Trossen, Ioannis Komnios, Joerg Ott, Jon Crowcroft: Information centric delay tolerant networking: an internet architecture for the challenged, September 2013. (11 pages)
UCAM-CL-TR-840
Marek Rei: Minimally supervised dependency-based methods for natural language processing, September 2013. (169 pages, PhD thesis)
UCAM-CL-TR-839
Colin Kelly: Automatic extraction of property norm-like data from large text corpora, September 2013. (154 pages, PhD thesis)
UCAM-CL-TR-838
Silvia Breu: Mining and tracking in evolving software, June 2013. (104 pages, PhD thesis)
UCAM-CL-TR-837
Hamed Haddadi, Richard Mortier, Derek McAuley, Jon Crowcroft: Human-data interaction, June 2013. (9 pages)
UCAM-CL-TR-836
Janina Voigt, Alan Mycroft: Aliasing contracts: a dynamic approach to alias protection, June 2013. (27 pages)
UCAM-CL-TR-835
Maximilian C. Bolingbroke: Call-by-need supercompilation, May 2013. (230 pages, PhD thesis)
UCAM-CL-TR-834
John Wickerson: Concurrent verification for sequential programs, May 2013. (149 pages, PhD thesis)
UCAM-CL-TR-833
Alan F. Blackwell, Ignatios Charalampidis: Practice-led design and evaluation of a live visual constraint language, May 2013. (16 pages)
UCAM-CL-TR-832
Gregory A. Chadwick: Communication centric, multi-core, fine-grained processor architecture, April 2013. (165 pages, PhD thesis)
UCAM-CL-TR-831
Meredydd Luff: Communication for programmability and performance on multi-core processors, April 2013. (89 pages, PhD thesis)
UCAM-CL-TR-830
Paul J. Fox: Massively parallel neural computation, March 2013. (105 pages, PhD thesis)
UCAM-CL-TR-829
Philip Christopher Paul: Microelectronic security measures, February 2013. (177 pages, PhD thesis)
UCAM-CL-TR-828
Rosemary M. Francis: Exploring networks-on-chip for FPGAs, January 2013. (121 pages, PhD thesis)
UCAM-CL-TR-827
Omar S. Choudary: The smart card detective: a hand-held EMV interceptor, December 2012. (55 pages)
UCAM-CL-TR-826
Fernando M. V. Ramos: GREEN IPTV: a resource and energy efficient network for IPTV, December 2012. (152 pages, PhD thesis)
UCAM-CL-TR-825
Jonathan Anderson: Privacy engineering for social networks, December 2012. (255 pages, PhD thesis)
UCAM-CL-TR-824
Simon Frankau: Hardware synthesis from a stream-processing functional language, November 2012. (202 pages, PhD thesis)
UCAM-CL-TR-823
Amitabha Roy, Karthik Nilakant, Valentin Dalibard, Eiko Yoneki: Mitigating I/O latency in SSD-based graph traversal, November 2012. (27 pages)
UCAM-CL-TR-822
Richard A. Russell: Planning with preferences using maximum satisfiability, October 2012. (160 pages, PhD thesis)
UCAM-CL-TR-821
Charles Reams: Modelling energy efficiency for computation, October 2012. (135 pages, PhD thesis)
UCAM-CL-TR-820
Eiko Yoneki, Amitabha Roy: A unified graph query layer for multiple databases, August 2012. (22 pages)
UCAM-CL-TR-819
Joseph Bonneau: Guessing human-chosen secrets, May 2012. (161 pages, PhD thesis)
UCAM-CL-TR-818
Robert N. M. Watson: New approaches to operating system security extensibility, April 2012. (184 pages, PhD thesis)
UCAM-CL-TR-817
Joseph Bonneau, Cormac Herley, Paul C. van Oorschot, Frank Stajano: The quest to replace passwords: a framework for comparative evaluation of Web authentication schemes, March 2012. (32 pages)
UCAM-CL-TR-816
Jean E. Martina: Verification of security protocols based on multicast communication, March 2012. (150 pages, PhD thesis)
UCAM-CL-TR-815
Christian Richardt: Colour videos with depth: acquisition, processing and evaluation, March 2012. (132 pages, PhD thesis)
UCAM-CL-TR-814
Arjuna Sathiaseelan, Jon Crowcroft: The free Internet: a distant mirage or near reality?, February 2012. (10 pages)
UCAM-CL-TR-813
Andrew B. Lewis: Reconstructing compressed photo and video data, February 2012. (148 pages, PhD thesis)
UCAM-CL-TR-812
Pedro Brandão: Abstracting information on body area networks, January 2012. (144 pages, PhD thesis)
UCAM-CL-TR-811
A. Theodore Markettos: Active electromagnetic attacks on secure hardware, December 2011. (217 pages, PhD thesis)
UCAM-CL-TR-810
Nick Barrow-Williams: Proximity Coherence for chip-multiprocessors, November 2011. (164 pages, PhD thesis)
UCAM-CL-TR-809
John L. Miller: Distributed virtual environment scalability and security, October 2011. (98 pages, PhD thesis)
UCAM-CL-TR-808
Matko Botinčan, Mike Dodds, Suresh Jagannathan: Resource-sensitive synchronisation inference by abduction, January 2012. (57 pages)
UCAM-CL-TR-807
Ola Mahmoud: Second-order algebraic theories, October 2011. (133 pages, PhD thesis)
UCAM-CL-TR-806
Damien Fay, Jérôme Kunegis, Eiko Yoneki: On joint diagonalisation for dynamic network analysis, October 2011. (12 pages)
UCAM-CL-TR-805
Simon Hay: A model personal energy meter, September 2011. (207 pages, PhD thesis)
UCAM-CL-TR-804
Sean B. Holden: The HasGP user manual, September 2011. (18 pages)
UCAM-CL-TR-803
Ekaterina V. Shutova: Computational approaches to figurative language, August 2011. (219 pages, PhD thesis)
UCAM-CL-TR-802
Johanna Geiß: Latent semantic sentence clustering for multi-document summarization, July 2011. (156 pages, PhD thesis)
UCAM-CL-TR-801
Amitabha Roy: Software lock elision for x86 machine code, July 2011. (154 pages, PhD thesis)
UCAM-CL-TR-800
James R. Srinivasan: Improving cache utilisation, June 2011. (184 pages, PhD thesis)
UCAM-CL-TR-799
Thomas Tuerk: A separation logic framework for HOL, June 2011. (271 pages, PhD thesis)
UCAM-CL-TR-798
Periklis Akritidis: Practical memory safety for C, June 2011. (136 pages, PhD thesis)
UCAM-CL-TR-797
Boris Feigin: Interpretational overhead in system software, April 2011. (116 pages, PhD thesis)
UCAM-CL-TR-796
Jonathan Mak: Facilitating program parallelisation: a profiling-based approach, March 2011. (120 pages, PhD thesis)
UCAM-CL-TR-795
Aurelie Herbelot: Underspecified quantification, February 2011. (163 pages, PhD thesis)
UCAM-CL-TR-794
Øistein E. Andersen: Grammatical error prediction, January 2011. (163 pages, PhD thesis)
UCAM-CL-TR-793
Shazia Afzal: Affect inference in learning environments: a functional view of facial affect analysis using naturalistic data, December 2010. (146 pages, PhD thesis)
UCAM-CL-TR-792
James P. Bridge: Machine learning and automated theorem proving, November 2010. (180 pages, PhD thesis)
UCAM-CL-TR-791
Andreas Vlachos: Semi-supervised learning for biomedical information extraction, November 2010. (113 pages, PhD thesis)
UCAM-CL-TR-790
Ted Briscoe, Ben Medlock, Øistein Andersen: Automated assessment of ESOL free text examinations, November 2010. (31 pages)
UCAM-CL-TR-789
Byron Cook, Eric Koskinen: Making prophecies with decision predicates, November 2010. (29 pages)
UCAM-CL-TR-788
Byron Cook, Eric Koskinen, Moshe Vardi: Branching-time reasoning for programs (extended version), July 2011. (38 pages)
UCAM-CL-TR-787
Daniel Bernhardt: Emotion inference from human body motion, October 2010. (227 pages, PhD thesis)
UCAM-CL-TR-786
Arnab Banerjee: Communication flows in power-efficient Networks-on-Chips, August 2010. (107 pages, PhD thesis)
UCAM-CL-TR-785
Aaron R. Coble: Anonymity, information, and machine-assisted proof, July 2010. (171 pages, PhD thesis)
UCAM-CL-TR-784
Ripduman Sohan, Andrew Rice, Andrew W. Moore, Kieran Mansley: Characterizing 10 Gbps network interface energy consumption, July 2010. (10 pages)
UCAM-CL-TR-783
Dan O'Keeffe: Distributed complex event detection for pervasive computing, July 2010. (170 pages, PhD thesis)
UCAM-CL-TR-782
Jonathan M. Hayman: Petri net semantics, June 2010. (252 pages, PhD thesis)
UCAM-CL-TR-781
Minor E. Gordon: Stage scheduling for CPU-intensive servers, June 2010. (119 pages, PhD thesis)
UCAM-CL-TR-780
Michael Roe: Cryptography and evidence, May 2010. (75 pages, PhD thesis)
UCAM-CL-TR-778
Viktor Vafeiadis: Automatically proving linearizability, April 2010. (22 pages)
UCAM-CL-TR-777
Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew Parkinson, Viktor Vafeiadis: Concurrent Abstract Predicates, April 2010. (43 pages)
UCAM-CL-TR-776
Kathryn E. Gray, Alan Mycroft: System tests from unit tests, March 2010. (27 pages)
UCAM-CL-TR-775
Anil Madhavapeddy: Creating high-performance, statically type-safe network applications, March 2010. (169 pages, PhD thesis)
UCAM-CL-TR-774
John Wickerson, Mike Dodds, Matthew Parkinson: Explicit stabilisation for modular rely-guarantee reasoning, March 2010. (29 pages)
UCAM-CL-TR-773
Thomas J. Cashman: NURBS-compatible subdivision surfaces, March 2010. (99 pages, PhD thesis)
UCAM-CL-TR-772
Matthew R. Lakin: An executable meta-language for inductive definitions with binders, March 2010. (171 pages, PhD thesis)
UCAM-CL-TR-771
Cecily Morrison: Bodies-in-Space: investigating technology usage in co-present group interaction, March 2010. (147 pages, PhD thesis)
UCAM-CL-TR-770
Jatinder Singh: Controlling the dissemination and disclosure of healthcare events, February 2010. (193 pages, PhD thesis)
UCAM-CL-TR-769
Sriram Srinivasan: Kilim: A server framework with lightweight actors, isolation types and zero-copy messaging, February 2010. (127 pages, PhD thesis)
UCAM-CL-TR-768
Cecily Morrison, Adona Iosif, Miklos Danka: Report on existing open-source electronic medical records, February 2010. (12 pages)
UCAM-CL-TR-767
Massimo Ostilli, Eiko Yoneki, Ian X. Y. Leung, Jose F. F. Mendes, Pietro Lió, Jon Crowcroft: Ising model of rumour spreading in interacting communities, January 2010. (24 pages)
UCAM-CL-TR-766
Julian M. Smith: Towards robust inexact geometric computation, December 2009. (186 pages, PhD thesis)
UCAM-CL-TR-765
Magnus O. Myreen: Formal verification of machine-code programs, December 2009. (109 pages, PhD thesis)
UCAM-CL-TR-764
Caroline V. Gasperin: Statistical anaphora resolution in biomedical texts, December 2009. (124 pages, PhD thesis)
UCAM-CL-TR-763
Saar Drimer: Security for volatile FPGAs, November 2009. (169 pages, PhD thesis)
UCAM-CL-TR-762
Evangelia Kalyvianaki: Resource provisioning for virtualized server applications, November 2009. (161 pages, PhD thesis)
UCAM-CL-TR-761
Jonathan J. Davies: Programming networks of vehicles, November 2009. (292 pages, PhD thesis)
UCAM-CL-TR-760
Alan F. Blackwell, Lee Wilson, Alice Street, Charles Boulton, John Knell: Radical innovation: crossing knowledge boundaries with interdisciplinary teams, November 2009. (124 pages)
UCAM-CL-TR-759
Eric Koskinen, Matthew Parkinson, Maurice Herlihy: Coarse-grained transactions (extended version), August 2011. (34 pages)
UCAM-CL-TR-758
Alexey Gotsman: Logics and analyses for concurrent heap-manipulating programs, October 2009. (160 pages, PhD thesis)
UCAM-CL-TR-757
Mark Adcock: Improving cache performance by runtime data movement, July 2009. (174 pages, PhD thesis)
UCAM-CL-TR-756
Hamed Haddadi, Damien Fay, Steve Uhlig, Andrew W. Moore, Richard Mortier, Almerima Jamakovic: Analysis of the Internet’s structural evolution, September 2009. (13 pages)
UCAM-CL-TR-755
Yujian Gao, Aimin Hao, Qinping Zhao, Neil A. Dodgson: Skin-detached surface for interactive large mesh editing, September 2009. (18 pages)
UCAM-CL-TR-754
Frank Stajano, Paul Wilson: Understanding scam victims: seven principles for systems security, August 2009. (22 pages)
UCAM-CL-TR-753
John L. Miller, Jon Crowcroft: Carbon: trusted auditing for P2P distributed virtual environments, August 2009. (20 pages)
UCAM-CL-TR-752
Gerhard P. Hancke: Security of proximity identification systems, July 2009. (161 pages, PhD thesis)
UCAM-CL-TR-751
David C. Turner: Nominal domain theory for concurrency, July 2009. (185 pages, PhD thesis)
UCAM-CL-TR-750
Marco Canini, Wei Li, Martin Zadnik, Andrew W. Moore: AtoZ: an automatic traffic organizer using NetFPGA, May 2009. (27 pages)
UCAM-CL-TR-749
Pan Hui, Eiko Yoneki, Jon Crowcroft, Shu-Yan Chan: Identifying social communities in complex communications for network efficiency, May 2009. (14 pages)
UCAM-CL-TR-748
Marco Canini, Wei Li, Andrew W. Moore: GTVS: boosting the collection of application traffic ground truth, April 2009. (20 pages)
UCAM-CL-TR-747
Fei Song, Hongke Zhang, Sidong Zhang, Fernando Ramos, Jon Crowcroft: An estimator of forward and backward delay for multipath transport, March 2009. (16 pages)
UCAM-CL-TR-746
Shishir Nagaraja, Ross Anderson: The snooping dragon: social-malware surveillance of the Tibetan movement, March 2009. (12 pages)
UCAM-CL-TR-745
Scott Owens, Susmit Sarkar, Peter Sewell: A better x86 memory model: x86-TSO (extended version), March 2009. (52 pages)
UCAM-CL-TR-744
Anna Ritchie: Citation context analysis for information retrieval, March 2009. (119 pages, PhD thesis)
UCAM-CL-TR-743
Rebecca F. Watson: Optimising the speed and accuracy of a Statistical GLR Parser, March 2009. (145 pages, PhD thesis)
UCAM-CL-TR-742
Thomas Ridge, Michael Norrish, Peter Sewell: TCP, UDP, and Sockets: Volume 3: The Service-level Specification, February 2009. (305 pages)
UCAM-CL-TR-741
David N. Cottingham: Vehicular wireless communication, January 2009. (264 pages, PhD thesis)
UCAM-CL-TR-740
Tal Sobol-Shikler: Analysis of affective expression in speech, January 2009. (163 pages, PhD thesis)
UCAM-CL-TR-739
Salman Taherian: State-based Publish/Subscribe for sensor systems, January 2009. (240 pages, PhD thesis)
UCAM-CL-TR-738
Scott Fairbanks: High precision timing using self-timed circuits, January 2009. (99 pages, PhD thesis)
UCAM-CL-TR-737
Na Xu: Static contract checking for Haskell, December 2008. (175 pages, PhD thesis)
UCAM-CL-TR-736
Mike Dodds, Xinyu Feng, Matthew Parkinson, Viktor Vafeiadis: Deny-guarantee reasoning, January 2009. (82 pages)
UCAM-CL-TR-735
Diarmuid Ó Séaghdha: Learning compound noun semantics, December 2008. (167 pages, PhD thesis)
UCAM-CL-TR-734
Philip Tuddenham: Tabletop interfaces for remote collaboration, December 2008. (243 pages, PhD thesis)
UCAM-CL-TR-733
Darren Edge: Tangible user interfaces for peripheral interaction, December 2008. (237 pages, PhD thesis)
UCAM-CL-TR-732
Alban Rrustemi: Computing surfaces – a platform for scalable interactive displays, November 2008. (156 pages, PhD thesis)
UCAM-CL-TR-731
Matthew Johnson: A new approach to Internet banking, September 2008. (113 pages, PhD thesis)
UCAM-CL-TR-730
Robert J. Ennals: Adaptive evaluation of non-strict programs, August 2008. (243 pages, PhD thesis)
UCAM-CL-TR-729
Damien Fay, Hamed Haddadi, Steve Uhlig, Andrew W. Moore, Richard Mortier, Almerima Jamakovic: Weighted spectral distribution, September 2008. (13 pages)
UCAM-CL-TR-728
Peter J.C. Brown, Christopher T. Faigle: A robust efficient algorithm for point location in triangulations, February 1997. (16 pages)
UCAM-CL-TR-727
Ruoshui Liu, Ian J. Wassell: A novel auto-calibration system for wireless sensor motes, September 2008. (65 pages)
UCAM-CL-TR-726
Viktor Vafeiadis: Modular fine-grained concurrency verification, July 2008. (148 pages, PhD thesis)
UCAM-CL-TR-725
Hamed Haddadi, Damien Fay, Almerima Jamakovic, Olaf Maennel, Andrew W. Moore, Richard Mortier, Miguel Rio, Steve Uhlig: Beyond node degree: evaluating AS topology models, July 2008. (16 pages)
UCAM-CL-TR-724
Ulrich Paquet: Bayesian inference for latent variable models, July 2008. (137 pages, PhD thesis)
UCAM-CL-TR-723
Richard Southern: Animation manifolds for representing topological alteration, July 2008. (131 pages, PhD thesis)
UCAM-CL-TR-722
Mbou Eyole-Monono: Energy-efficient sentient computing, July 2008. (138 pages, PhD thesis)
UCAM-CL-TR-721
Ben W. Medlock: Investigating classification for natural language processing tasks, June 2008. (138 pages, PhD thesis)
UCAM-CL-TR-720
Lauri I.W. Pesonen: A capability-based access control architecture for multi-domain publish/subscribe systems, June 2008. (175 pages, PhD thesis)
UCAM-CL-TR-719
William H. Billingsley: The Intelligent Book: technologies for intelligent and adaptive textbooks, focussing on Discrete Mathematics, June 2008. (156 pages, PhD thesis)
UCAM-CL-TR-718
Tyler Moore: Cooperative attack and defense in distributed networks, June 2008. (172 pages, PhD thesis)
UCAM-CL-TR-717
Stephen Julian Rymill: Psychologically-based simulation of human behaviour, June 2008. (250 pages, PhD thesis)
UCAM-CL-TR-716
Gavin M. Bierman, Matthew J. Parkinson, James Noble: UpgradeJ: Incremental typechecking for class upgrades, April 2008. (35 pages)
UCAM-CL-TR-715
Feng Hao: On using fuzzy data in security mechanisms, April 2008. (69 pages, PhD thesis)
UCAM-CL-TR-714
Tim Moreton: A wide-area file system for migrating virtual machines, March 2008. (163 pages, PhD thesis)
UCAM-CL-TR-713
Pan Hui: People are the network: experimental design and evaluation of social-based forwarding algorithms, March 2008. (160 pages, PhD thesis)
UCAM-CL-TR-712
Christian Richardt: Flash-exposure high dynamic range imaging: virtual photography and depth-compensating flash, March 2008. (9 pages)
UCAM-CL-TR-711
Saar Drimer, Steven J. Murdoch, Ross Anderson: Thinking inside the box: system-level failures of tamper proofing, February 2008. (37 pages)
UCAM-CL-TR-710
Lucy G. Brace-Evans: Event structures with persistence, February 2008. (113 pages, PhD thesis)
UCAM-CL-TR-709
Ford Long Wong: Protocols and technologies for security in pervasive computing and communications, January 2008. (167 pages, PhD thesis)
UCAM-CL-TR-708
Chi-Kin Chau, Jon Crowcroft, Kang-Won Lee, Starsky H.Y. Wong: IDRM: Inter-Domain Routing Protocol for Mobile Ad Hoc Networks, January 2008. (24 pages)
UCAM-CL-TR-707
Ian Caulfield: Complexity-effective superscalar embedded processors using instruction-level distributed processing, December 2007. (130 pages, PhD thesis)
UCAM-CL-TR-706
Steven J. Murdoch: Covert channel vulnerabilities in anonymity systems, December 2007. (140 pages, PhD thesis)
UCAM-CL-TR-705
Alan C. Lawrence: Optimizing compilation with the Value State Dependence Graph, December 2007. (183 pages, PhD thesis)
UCAM-CL-TR-704
Paul William Hunter: Complexity and infinite games on finite graphs, November 2007. (170 pages, PhD thesis)
UCAM-CL-TR-703
Jon Crowcroft, Tim Deegan, Christian Kreibich, Richard Mortier, Nicholas Weaver: Lazy Susan: dumb waiting as proof of work, November 2007. (23 pages)
UCAM-CL-TR-702
Alisdair Wren: Relationships for object-oriented programming languages, November 2007. (153 pages, PhD thesis)
UCAM-CL-TR-701
Jacques Jean-Alain Fournier: Vector microprocessors for cryptography, October 2007. (174 pages, PhD thesis)
UCAM-CL-TR-700
Maja Vuković: Context aware service composition, October 2007. (225 pages, PhD thesis)
UCAM-CL-TR-699
Richard Southern, Neil A. Dodgson: A smooth manifold based construction of approximating lofted surfaces, October 2007. (17 pages)
UCAM-CL-TR-698
Simon J. Hollis: Pulse-based, on-chip interconnect, September 2007. (186 pages, PhD thesis)
UCAM-CL-TR-697
Chris J. Purcell: Scaling Mount Concurrency: scalability and progress in concurrent algorithms, August 2007. (155 pages, PhD thesis)
UCAM-CL-TR-696
Oliver J. Woodman: An introduction to inertial navigation, August 2007. (37 pages)
UCAM-CL-TR-695
Karen Su, Inaki Berenguer, Ian J. Wassell, Xiaodong Wang: Efficient maximum-likelihood decoding of spherical lattice codes, July 2007. (29 pages)
UCAM-CL-TR-694
Piotr Zieliński: Anti-Ω: the weakest failure detector for set agreement, July 2007. (24 pages)
UCAM-CL-TR-693
Piotr Zieliński: Automatic classification of eventual failure detectors, July 2007. (21 pages)
UCAM-CL-TR-692
Alan F. Blackwell: Toward an undergraduate programme in Interdisciplinary Design, July 2007. (13 pages)
UCAM-CL-TR-691
Neil A. Dodgson, Malcolm A. Sabin, Richard Southern: Preconditions on geometrically sensitive subdivision schemes, August 2007. (13 pages)
UCAM-CL-TR-690
Russell Glen Ross: Cluster storage for commodity computation, June 2007. (178 pages, PhD thesis)
UCAM-CL-TR-689
Ursula H. Augsdörfer, Neil A. Dodgson, Malcolm A. Sabin: Removing polar rendering artifacts in subdivision surfaces, June 2007. (7 pages)
UCAM-CL-TR-688
Sam Staton: Name-passing process calculi: operational models and structural operational semantics, June 2007. (245 pages, PhD thesis)
UCAM-CL-TR-687
Viktor Vafeiadis, Matthew Parkinson: A marriage of rely/guarantee and separation logic, June 2007. (31 pages)
UCAM-CL-TR-686
Andrew C. Rice: Dependable systems for Sentient Computing, May 2007. (150 pages)
UCAM-CL-TR-685
John Daugman, Cathryn Downing: Effect of severe image compression on iris recognition performance, May 2007. (20 pages)
UCAM-CL-TR-684
Pan Hui, Jon Crowcroft: Bubble Rap: Forwarding in small world DTNs in ever decreasing circles, May 2007. (44 pages)
UCAM-CL-TR-683
Martin Kleppmann: Simulation of colliding constrained rigid bodies, April 2007. (65 pages)
UCAM-CL-TR-682
Juliano Iyoda: Translating HOL functions to hardware, April 2007. (89 pages, PhD thesis)
UCAM-CL-TR-681
Piotr Zieliński: Indirect channels: a bandwidth-saving technique for fault-tolerant protocols, April 2007. (24 pages)
UCAM-CL-TR-680
Jing Su, James Scott, Pan Hui, Eben Upton, Meng How Lim, Christophe Diot, Jon Crowcroft, Ashvin Goel, Eyal de Lara: Haggle: Clean-slate networking for mobile devices, January 2007. (30 pages)
UCAM-CL-TR-679
Karen Spärck Jones: Automatic summarising: a review and discussion of the state of the art, January 2007. (67 pages)
UCAM-CL-TR-678
Andrew D. Twigg: Compact forbidden-set routing, December 2006. (115 pages, PhD thesis)
UCAM-CL-TR-677
Eiko Yoneki: ECCO: Data centric asynchronous communication, December 2006. (210 pages, PhD thesis)
UCAM-CL-TR-676
R.J. Gibbens, Y. Saacti: Road traffic analysis using MIDAS data: journey time prediction, December 2006. (35 pages)
UCAM-CL-TR-675
Paula J. Buttery: Computational models for first language acquisition, November 2006. (176 pages, PhD thesis)
UCAM-CL-TR-674
Meng How Lim: Landmark Guided Forwarding, October 2006. (109 pages, PhD thesis)
UCAM-CL-TR-673
Judita Preiss: Probabilistic word sense disambiguation : Analysis and techniques for combining knowledge sources, August 2006. (108 pages, PhD thesis)
UCAM-CL-TR-672
Calicrates Policroniades-Borraz: Decomposing file data into discernible items, August 2006. (230 pages, PhD thesis)
UCAM-CL-TR-671
Piotr Zieliński: Low-latency Atomic Broadcast in the presence of contention, July 2006. (23 pages)
UCAM-CL-TR-670
Sarah Thompson: On the application of program analysis and transformation to high reliability hardware, July 2006. (215 pages, PhD thesis)
UCAM-CL-TR-669
David M. Eyers: Active privilege management for distributed access control systems, June 2006. (222 pages, PhD thesis)
UCAM-CL-TR-668
Piotr Zieliński: Optimistically Terminating Consensus, June 2006. (35 pages)
UCAM-CL-TR-667
Piotr Zieliński: Minimizing latency of agreement protocols, June 2006. (239 pages, PhD thesis)
UCAM-CL-TR-666
Mike Bond, George Danezis: A pact with the Devil, June 2006. (14 pages)
UCAM-CL-TR-665
Huiyun Li: Security evaluation at design time for cryptographic hardware, April 2006. (81 pages, PhD thesis)
UCAM-CL-TR-664
Alan F. Blackwell: Designing knowledge: An interdisciplinary experiment in research infrastructure for shared description, April 2006. (18 pages)
UCAM-CL-TR-663
Richard Bergmair: Syntax-driven analysis of context-free languages with respect to fuzzy relational semantics, March 2006. (49 pages)
UCAM-CL-TR-662
Ted Briscoe: An introduction to tag sequence grammars and the RASP system parser, March 2006. (30 pages)
UCAM-CL-TR-661
Anna Ritchie: Compatible RMRS representations from RASP and the ERG, March 2006. (41 pages)
UCAM-CL-TR-660
Jeremy Singer: Static program analysis based on virtual register renaming, February 2006. (183 pages, PhD thesis)
UCAM-CL-TR-659
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro: A safety proof of a lazy concurrent list-based set implementation, January 2006. (19 pages)
UCAM-CL-TR-658
Carsten Moenning: Intrinsic point-based surface processing, January 2006. (166 pages, PhD thesis)
UCAM-CL-TR-657
Hyun-Jin Choi: Security protocol design by composition, January 2006. (155 pages, PhD thesis)
UCAM-CL-TR-656
Pablo Vidales: Seamless mobility in 4G systems, November 2005. (141 pages, PhD thesis)
UCAM-CL-TR-655
Karen Spärck Jones: Wearing proper combinations, November 2005. (27 pages)
UCAM-CL-TR-654
Matthew J. Parkinson: Local reasoning for Java, November 2005. (120 pages, PhD thesis)
UCAM-CL-TR-653
Richard Clayton: Anonymity and traceability in cyberspace, November 2005. (189 pages, PhD thesis)
UCAM-CL-TR-652
Roongroj Nopsuwanchai: Discriminative training methods and their applications to handwriting recognition, November 2005. (186 pages, PhD thesis)
UCAM-CL-TR-651
Rob Hague: End-user programming in multiple languages, October 2005. (122 pages, PhD thesis)
UCAM-CL-TR-650
Rashid Mehmood, Jon Crowcroft: Parallel iterative solution method for large sparse linear equation systems, October 2005. (22 pages)
UCAM-CL-TR-649
Mark Grundland, Neil A. Dodgson: The decolorize algorithm for contrast enhancing, color to grayscale conversion, October 2005. (15 pages)
UCAM-CL-TR-648
Moritz Y. Becker: Cassandra: flexible trust management and its application to electronic health records, October 2005. (214 pages, PhD thesis)
UCAM-CL-TR-647
Sam Staton: An agent architecture for simulation of end-users in programming-like tasks, October 2005. (12 pages)
UCAM-CL-TR-646
Eiko Yoneki, Jean Bacon: A survey of Wireless Sensor Network technologies: research trends and middleware’s role, September 2005. (46 pages)
UCAM-CL-TR-645
Frank Stajano: RFID is X-ray vision, August 2005. (10 pages)
UCAM-CL-TR-644
Paul Youn, Ben Adida, Mike Bond, Jolyon Clulow, Jonathan Herzog, Amerson Lin, Ronald L. Rivest, Ross Anderson: Robbing the bank with a theorem prover, August 2005. (26 pages)
UCAM-CL-TR-643
Nathan E. Dimmock: Using trust and risk for access control in Global Computing, August 2005. (145 pages, PhD thesis)
UCAM-CL-TR-642
Gavin Bierman, Alisdair Wren: First-class relationships in an object-oriented language, August 2005. (53 pages)
UCAM-CL-TR-641
Ross Anderson, Mike Bond, Jolyon Clulow, Sergei Skorobogatov: Cryptographic processors – a survey, August 2005. (19 pages)
UCAM-CL-TR-640
Feng Hao, Ross Anderson, John Daugman: Combining cryptography with biometrics effectively, July 2005. (17 pages)
UCAM-CL-TR-639
Chris Purcell, Tim Harris: Non-blocking hashtables with open addressing, September 2005. (23 pages)
UCAM-CL-TR-638
Piotr Zieliński: Optimistic Generic Broadcast, July 2005. (22 pages)
UCAM-CL-TR-637
Shishir Nagaraja, Ross Anderson: The topology of covert conflict, July 2005. (15 pages)
UCAM-CL-TR-636
Rana Ayman el Kaliouby: Mind-reading machines: automated inference of complex mental states, July 2005. (185 pages, PhD thesis)
UCAM-CL-TR-635
John Daugman: Results from 200 billion iris cross-comparisons, June 2005. (8 pages)
UCAM-CL-TR-634
Kasim Rehman: Visualisation, interpretation and use of location-aware interfaces, May 2005. (159 pages, PhD thesis)
UCAM-CL-TR-633
Alex Ho, Steven Smith, Steven Hand: On deadlock, livelock, and forward progress, May 2005. (8 pages)
UCAM-CL-TR-632
R.I. Tucker and K. Spärck Jones: Between shallow and deep: an experiment in automatic summarising, April 2005. (34 pages)
UCAM-CL-TR-631
Wenjun Hu, Jon Crowcroft: MIRRORS: An integrated framework for capturing real world behaviour for models of ad hoc networks, April 2005. (16 pages)
UCAM-CL-TR-630
Sergei P. Skorobogatov: Semi-invasive attacks – A new approach to hardware security analysis, April 2005. (144 pages, PhD thesis)
UCAM-CL-TR-629
Meng How Lim, Adam Greenhalgh, Julian Chesterfield, Jon Crowcroft: Hybrid routing: A pragmatic approach to mitigating position uncertainty in geo-routing, April 2005. (26 pages)
UCAM-CL-TR-628
Moritz Y. Becker: A formal security policy for an NHS electronic health record service, March 2005. (81 pages)
UCAM-CL-TR-627
Keith Vertanen: Efficient computer interfaces using continuous gestures, language models, and speech, March 2005. (46 pages, MPhil thesis)
UCAM-CL-TR-626
Meng How Lim, Adam Greenhalgh, Julian Chesterfield, Jon Crowcroft: Landmark Guided Forwarding: A hybrid approach for Ad Hoc routing, March 2005. (28 pages)
UCAM-CL-TR-625
Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough: TCP, UDP, and Sockets: rigorous and experimentally-validated behavioural specification : Volume 2: The Specification, March 2005. (386 pages)
UCAM-CL-TR-624
Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough: TCP, UDP, and Sockets: rigorous and experimentally-validated behavioural specification : Volume 1: Overview, March 2005. (88 pages)
UCAM-CL-TR-623
Keith Wansbrough: Simple polymorphic usage analysis, March 2005. (364 pages, PhD thesis)
UCAM-CL-TR-622
Jörg H. Lepler: Cooperation and deviation in market-based resource allocation, March 2005. (173 pages, PhD thesis)
UCAM-CL-TR-621
Mark R. Shinwell, Andrew M. Pitts: Fresh Objective Caml user manual, February 2005. (21 pages)
UCAM-CL-TR-620
Eleftheria Katsiri: Middleware support for context-awareness in distributed sensor-driven systems, February 2005. (176 pages, PhD thesis)
UCAM-CL-TR-619
James R. Bulpin: Operating system support for simultaneous multithreaded processors, February 2005. (130 pages, PhD thesis)
UCAM-CL-TR-618
Mark R. Shinwell: The Fresh Approach: functional programming with names and binders, February 2005. (111 pages, PhD thesis)
UCAM-CL-TR-617
Augustin Chaintreau, Pan Hui, Jon Crowcroft, Christophe Diot, Richard Gass, James Scott: Pocket Switched Networks: Real-world mobility and its consequences for opportunistic forwarding, February 2005. (26 pages)
UCAM-CL-TR-616
Donnla Nic Gearailt: Dictionary characteristics in cross-language information retrieval, February 2005. (158 pages, PhD thesis)
UCAM-CL-TR-615
Evangelos Kotsovinos: Global public computing, January 2005. (229 pages, PhD thesis)
UCAM-CL-TR-614
Robin Milner: Pure bigraphs, January 2005. (66 pages)
UCAM-CL-TR-613
David J. Scott: Abstracting application-level security policy for ubiquitous computing, January 2005. (186 pages, PhD thesis)
UCAM-CL-TR-612
Alastair R. Beresford: Location privacy in ubiquitous computing, January 2005. (139 pages, PhD thesis)
UCAM-CL-TR-611
Neil A. Dodgson: An heuristic analysis of the classification of bivariate subdivision schemes, December 2004. (18 pages)
UCAM-CL-TR-610
Tommy Ingulfsen: Influence of syntax on prosodic boundary prediction, December 2004. (49 pages, MPhil thesis)
UCAM-CL-TR-609
Eleanor Toye, Anil Madhavapeddy, Richard Sharp, David Scott, Alan Blackwell, Eben Upton: Using camera-phones to interact with context-aware mobile services, December 2004. (23 pages)
UCAM-CL-TR-608
Walt Yao: Trust management for widely distributed systems, November 2004. (191 pages, PhD thesis)
UCAM-CL-TR-607
Neil E. Johnson: Code size optimization for embedded processors, November 2004. (159 pages, PhD thesis)
UCAM-CL-TR-606
Nicholas Nethercote: Dynamic binary analysis and instrumentation, November 2004. (177 pages, PhD thesis)
UCAM-CL-TR-605
Peter Sewell, James J. Leifer, Keith Wansbrough, Mair Allen-Williams, Francesco Zappa Nardelli, Pierre Habouzit, Viktor Vafeiadis: Acute: High-level programming language design for distributed computation : Design rationale and language definition, October 2004. (193 pages)
UCAM-CL-TR-604
Andrei Serjantov: On the anonymity of anonymity systems, October 2004. (162 pages, PhD thesis)
UCAM-CL-TR-603
Robin Milner: Bigraphs whose names have multiple locality, September 2004. (15 pages)
UCAM-CL-TR-602
Hasan Amjad: Model checking the AMBA protocol in HOL, September 2004. (27 pages)
UCAM-CL-TR-601
Hasan Amjad: Combining model checking and theorem proving, September 2004. (131 pages, PhD thesis)
UCAM-CL-TR-600
Brian Ninham Shand: Trust for resource control: Self-enforcing automatic rational contracts between computers, August 2004. (154 pages, PhD thesis)
UCAM-CL-TR-599
Mohamed F. Hassan: Further analysis of ternary and 3-point univariate subdivision schemes, August 2004. (9 pages)
UCAM-CL-TR-598
James J. Leifer, Robin Milner: Transition systems, link graphs and Petri nets, August 2004. (64 pages)
UCAM-CL-TR-597
Advaith Siddharthan: Syntactic simplification and text cohesion, August 2004. (195 pages, PhD thesis)
UCAM-CL-TR-596
Keir Fraser, Steven Hand, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Mark Williamson: Reconstructing I/O, August 2004. (16 pages)
UCAM-CL-TR-595
Pablo J. Arrighi: Representations of quantum operations, with applications to quantum cryptography, July 2004. (157 pages, PhD thesis)
UCAM-CL-TR-594
George Danezis: Designing and attacking anonymous communication systems, July 2004. (150 pages, PhD thesis)
UCAM-CL-TR-593
Piotr Zieliński: Paxos at war, June 2004. (30 pages)
UCAM-CL-TR-592
Mike Bond, Daniel Cvrček, Steven J. Murdoch: Unwrapping the Chrysalis, June 2004. (15 pages)
UCAM-CL-TR-591
Silas S. Brown: Conversion of notations, June 2004. (159 pages, PhD thesis)
UCAM-CL-TR-590
Peter R. Pietzuch: Hermes: A scalable event-based middleware, June 2004. (180 pages, PhD thesis)
UCAM-CL-TR-589
Glynn Winskel, Francesco Zappa Nardelli: new-HOPLA — a higher-order process language with name generation, May 2004. (16 pages)
UCAM-CL-TR-588
Panit Watcharawitch: MulTEP: A MultiThreaded Embedded Processor, May 2004. (190 pages, PhD thesis)
UCAM-CL-TR-587
Paul Alexander Cunningham: Verification of asynchronous circuits, April 2004. (174 pages, PhD thesis)
UCAM-CL-TR-586
András Belokosztolszki: Role-based access control policy administration, March 2004. (170 pages, PhD thesis)
UCAM-CL-TR-585
Mark S. D. Ashdown: Personal projected displays, March 2004. (150 pages, PhD thesis)
UCAM-CL-TR-584
Stephen Brooks: Concise texture editing, March 2004. (164 pages, PhD thesis)
UCAM-CL-TR-583
Cédric Gérot, Loïc Barthe, Neil A. Dodgson, Malcolm A. Sabin: Subdivision as a sequence of sampled Cp surfaces and conditions for tuning schemes, March 2004. (68 pages)
UCAM-CL-TR-582
Piotr Zieliński: Latency-optimal Uniform Atomic Broadcast algorithm, February 2004. (28 pages)
UCAM-CL-TR-581
Robin Milner: Axioms for bigraphical structure, February 2004. (26 pages)
UCAM-CL-TR-580
Ole Høgh Jensen, Robin Milner: Bigraphs and mobile processes (revised), February 2004. (131 pages)
UCAM-CL-TR-579
Keir Fraser: Practical lock-freedom, February 2004. (116 pages, PhD thesis)
UCAM-CL-TR-578
Robert Ennals, Richard Sharp, Alan Mycroft: Linear types for packet processing (extended version), January 2004. (31 pages)
UCAM-CL-TR-577
Markus G. Kuhn: Compromising emanations: eavesdropping risks of computer displays, December 2003. (167 pages, PhD thesis)
UCAM-CL-TR-576
David R. Spence: An implementation of a coordinate based location system, November 2003. (12 pages)
UCAM-CL-TR-575
Tim Granger: Reconfigurable wavelength-switched optical networks for the Internet core, November 2003. (184 pages, PhD thesis)
UCAM-CL-TR-574
Ivan Edward Sutherland: Sketchpad: A man-machine graphical communication system, September 2003. (149 pages, PhD thesis)
UCAM-CL-TR-573
Lawrence C. Paulson: Mechanizing compositional reasoning for concurrent systems: some lessons, August 2003. (20 pages)
UCAM-CL-TR-572
Tim Harris: Design choices for language-based transactions, August 2003. (7 pages)
UCAM-CL-TR-571
James Hall: Multi-layer network monitoring and analysis, July 2003. (230 pages, PhD thesis)
UCAM-CL-TR-570
Ole Høgh Jensen, Robin Milner: Bigraphs and mobile processes, July 2003. (121 pages)
UCAM-CL-TR-569
James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough: Global abstraction-safe marshalling with hash types, June 2003. (86 pages)
UCAM-CL-TR-568
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough: Dynamic rebinding for marshalling and update, with destruct-time λ, February 2004. (85 pages)
UCAM-CL-TR-567
Joe Hurd: Using inequalities as term ordering constraints, June 2003. (17 pages)
UCAM-CL-TR-566
Joe Hurd: Formal verification of probabilistic algorithms, May 2003. (154 pages, PhD thesis)
UCAM-CL-TR-565
Carsten Moenning, Neil A. Dodgson: Fast Marching farthest point sampling for point clouds and implicit surfaces, May 2003. (15 pages)
UCAM-CL-TR-564
Ulrich Lang: Access policies for middleware, May 2003. (138 pages, PhD thesis)
UCAM-CL-TR-563
G.M. Bierman, M.J. Parkinson, A.M. Pitts: MJ: An imperative core calculus for Java and Java with effects, April 2003. (53 pages)
UCAM-CL-TR-562
Carsten Moenning, Neil A. Dodgson: Fast Marching farthest point sampling, April 2003. (16 pages)
UCAM-CL-TR-561
Paul B. Menage: Resource control of untrusted code in an open network environment, March 2003. (185 pages, PhD thesis)
UCAM-CL-TR-560
Mike Bond, Piotr Zieliński: Decimalisation table attacks for PIN cracking, February 2003. (14 pages)
UCAM-CL-TR-559
Eiko Yoneki, Jean Bacon: Pronto: MobileGateway with publish-subscribe paradigm over wireless network, February 2003. (22 pages)
UCAM-CL-TR-558
Yolanta Beresnevichiene: A role and context based security model, January 2003. (89 pages, PhD thesis)
UCAM-CL-TR-557
G.M. Bierman, P. Sewell: Iota: A concurrent XML scripting language with applications to Home Area Networking, January 2003. (32 pages)
UCAM-CL-TR-556
Jon Crowcroft: Turing Switches – Turing machines for all-optical Internet routing, January 2003. (7 pages)
UCAM-CL-TR-555
Jon Crowcroft, Richard Gibbens, Stephen Hailes: BOURSE – Broadband Organisation of Unregulated Radio Systems through Economics, January 2003. (10 pages)
UCAM-CL-TR-554
Jon Crowcroft: Towards a field theory for networks, January 2003. (9 pages)
UCAM-CL-TR-553
Paul R. Barham, Boris Dragovic, Keir A. Fraser, Steven M. Hand, Timothy L. Harris, Alex C. Ho, Evangelos Kotsovinos, Anil V.S. Madhavapeddy, Rolf Neugebauer, Ian A. Pratt, Andrew K. Warfield: Xen 2002, January 2003. (15 pages)
UCAM-CL-TR-552
Keir A. Fraser, Steven M. Hand, Timothy L. Harris, Ian M. Leslie, Ian A. Pratt: The Xenoserver computing infrastructure, January 2003. (11 pages)
UCAM-CL-TR-551
Lawrence C. Paulson: The relative consistency of the axiom of choice — mechanized using Isabelle/ZF, December 2002. (63 pages)
UCAM-CL-TR-550
Karen Spärck Jones: Computer security – a layperson’s guide, from the bottom up, June 2002. (23 pages)
UCAM-CL-TR-549
Ross Anderson: Two remarks on public key cryptology, December 2002. (7 pages)
UCAM-CL-TR-548
Anthony Fox: Formal verification of the ARM6 micro-architecture, November 2002. (59 pages)
UCAM-CL-TR-547
Agathoniki Trigoni: Semantic optimization of OQL queries, October 2002. (171 pages, PhD thesis)
UCAM-CL-TR-546
Jonathan David Pfautz: Depth perception in computer graphics, September 2002. (182 pages, PhD thesis)
UCAM-CL-TR-545
Anthony C.J. Fox: A HOL specification of the ARM instruction set architecture, June 2001. (45 pages)
UCAM-CL-TR-544
I.P. Ivrissimtzis, M.A. Sabin, N.A. Dodgson: On the support of recursive subdivision, September 2002. (20 pages)
UCAM-CL-TR-543
Kerry Rodden: Evaluating similarity-based visualisations as interfaces for image browsing, September 2002. (248 pages, PhD thesis)
UCAM-CL-TR-542
I.P. Ivrissimtzis, N.A. Dodgson, M.A. Sabin: A generative classification of mesh refinement rules with lattice transformations, September 2002. (13 pages)
UCAM-CL-TR-541
L. Barthe, N.A. Dodgson, M.A. Sabin, B. Wyvill, V. Gaildrat: Different applications of two-dimensional potential fields for volume modeling, August 2002. (26 pages)
UCAM-CL-TR-540
N.A. Dodgson, J.R. Moore: The use of computer graphics rendering software in the analysis of a novel autostereoscopic display design, August 2002. (6 pages)
UCAM-CL-TR-539
N.A. Dodgson, M.A. Sabin, L. Barthe, M.F. Hassan: Towards a ternary interpolating subdivision scheme for the triangular mesh, July 2002. (12 pages)
UCAM-CL-TR-538
Mark Ashdown, Peter Robinson: The Escritoire: A personal projected display for interacting with documents, June 2002. (12 pages)
UCAM-CL-TR-537
Mantsika Matooane: Parallel systems in symbolic and algebraic computation, June 2002. (139 pages, PhD thesis)
UCAM-CL-TR-536
Sergei Skorobogatov: Low temperature data remanence in static RAM, June 2002. (9 pages)
UCAM-CL-TR-535
Claudia Faggian, Martin Hyland: Designs, disputes and strategies, May 2002. (21 pages)
UCAM-CL-TR-534
Austin Donnelly: Resource control in network elements, April 2002. (183 pages, PhD thesis)
UCAM-CL-TR-533
Aline Villavicencio: The acquisition of a unification-based generalised categorial grammar, April 2002. (223 pages, PhD thesis)
UCAM-CL-TR-532
Richard Mortier: Internet traffic engineering, April 2002. (129 pages, PhD thesis)
UCAM-CL-TR-531
Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson: Verifying the SET registration protocols, March 2002. (24 pages)
UCAM-CL-TR-530
Anna Korhonen: Subcategorization acquisition, February 2002. (189 pages, PhD thesis)
UCAM-CL-TR-529
Neil Johnson: The triVM intermediate language reference manual, February 2002. (83 pages)
UCAM-CL-TR-528
Andrew William Moore: Measurement-based management of network resources, April 2002. (273 pages, PhD thesis)
UCAM-CL-TR-527
Umar Saif: Architectures for ubiquitous systems, January 2002. (271 pages, PhD thesis)
UCAM-CL-TR-526
Andrew J. Penrose: Extending lossless image compression, December 2001. (137 pages, PhD thesis)
UCAM-CL-TR-525
Timothy L. Harris: Extensible virtual machines, December 2001. (209 pages, PhD thesis)
UCAM-CL-TR-524
Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson: Verifying the SET purchase protocols, November 2001. (14 pages)
UCAM-CL-TR-523
Robin Milner: Bigraphical reactive systems: basic theory, September 2001. (87 pages)
UCAM-CL-TR-522
Mark F.P. Gillies: Practical behavioural animation based on vision and attention, September 2001. (187 pages)
UCAM-CL-TR-521
James Leifer: Operational congruences for reactive systems, September 2001. (144 pages, PhD thesis)
UCAM-CL-TR-520
Mohamed Hassan, Neil A. Dodgson: Ternary and three-point univariate subdivision schemes, September 2001. (8 pages)
UCAM-CL-TR-519
Martin Choquette: Local evidence in document retrieval, August 2001. (177 pages, PhD thesis)
UCAM-CL-TR-518
Jeff Jianxin Yan, Yongdong Wu: An attack on a traitor tracing scheme, July 2001. (14 pages)
UCAM-CL-TR-517
Karen Spärck Jones, P. Jourlin, S.E. Johnson, P.C. Woodland: The Cambridge Multimedia Document Retrieval Project: summary of experiments, July 2001. (30 pages)
UCAM-CL-TR-516
Rebecca Isaacs: Dynamic provisioning of resource-assured and programmable virtual private networks, September 2001. (145 pages, PhD thesis)
UCAM-CL-TR-515
Andrei Serjantov, Peter Sewell, Keith Wansbrough: The UDP calculus: rigorous semantics for real networking, July 2001. (70 pages)
UCAM-CL-TR-514
Asis Unyapoth: Nomadic π-calculi: Expressing and verifying communication infrastructure for mobile computation, June 2001. (316 pages, PhD thesis)
UCAM-CL-TR-513
Tetsuya Sakai, Karen Spärck Jones: Generic summaries for indexing in information retrieval – Detailed test results, May 2001. (29 pages)
UCAM-CL-TR-512
Anthony Fox: An algebraic framework for modelling and verifying microprocessors using HOL, March 2001. (24 pages)
UCAM-CL-TR-511
Calum Grant: Software visualization in Prolog, December 1999. (193 pages, PhD thesis)
UCAM-CL-TR-510
Richard Mortier, Rebecca Isaacs, Keir Fraser: Switchlets and resource-assured MPLS networks, May 2000. (16 pages)
UCAM-CL-TR-509
Wojciech Basalaj: Proximity visualisation of abstract data, January 2001. (117 pages, PhD thesis)
UCAM-CL-TR-508
James Leifer, Robin Milner: Shallow linear action graphs and their embeddings, October 2000. (16 pages)
UCAM-CL-TR-507
Lawrence Paulson: Mechanizing a theory of program composition for UNITY, November 2000. (28 pages)
UCAM-CL-TR-506
Peter Sewell: Modules, abstract types, and distributed versioning, September 2000. (46 pages)
UCAM-CL-TR-505
Gian Luca Cattani, Peter Sewell: Models for name-passing processes: interleaving and causal, September 2000. (42 pages)
UCAM-CL-TR-504
Oi Yee Kwong: Word sense selection in texts: an integrated model, September 2000. (177 pages, PhD thesis)
UCAM-CL-TR-503
Alan Mycroft, Richard Sharp: Hardware/software co-design using functional languages, September 2000. (8 pages)
UCAM-CL-TR-502
Thomas Marthedal Rasmussen: Formalizing basic number theory, September 2000. (20 pages)
UCAM-CL-TR-501
David Ingram: Integrated quality of service management, September 2000. (90 pages, PhD thesis)
UCAM-CL-TR-500
Jianxin Yan, Alan Blackwell, Ross Anderson, Alasdair Grant: The memorability and security of passwords – some empirical results, September 2000. (13 pages)
UCAM-CL-TR-499
James Edward Gain: Enhancing spatial deformation for virtual sculpting, August 2000. (161 pages, PhD thesis)
UCAM-CL-TR-498
Peter Sewell: Applied π – a brief tutorial, July 2000. (65 pages)
UCAM-CL-TR-497
G.M. Bierman, A. Trigoni: Towards a formal type system for ODMG OQL, September 2000. (20 pages)
UCAM-CL-TR-496
Gian Luca Cattani, James J. Leifer, Robin Milner: Contexts and embeddings for closed shallow action graphs, July 2000. (56 pages)
UCAM-CL-TR-495
Mohammad S.M. Khorsheed: Automatic recognition of words in Arabic manuscripts, July 2000. (242 pages, PhD thesis)
UCAM-CL-TR-494
Mark David Spiteri: An architecture for the notification, storage and retrieval of events, July 2000. (165 pages, PhD thesis)
UCAM-CL-TR-493
Giampaolo Bella: Inductive verification of cryptographic protocols, July 2000. (189 pages, PhD thesis)
UCAM-CL-TR-492
Paweł Tomasz Wojciechowski: Nomadic Pict: language and infrastructure design for mobile computation, June 2000. (184 pages, PhD thesis)
UCAM-CL-TR-491
Anna Korhonen, Genevive Gorrell, Diana McCarthy: Is hypothesis testing useful for subcategorization acquisition?, May 2000. (9 pages)
UCAM-CL-TR-490
Peter John Cameron Brown: Selective mesh refinement for rendering, April 2000. (179 pages, PhD thesis)
UCAM-CL-TR-489
Jong-Hyeon Lee: Designing a reliable publishing framework, April 2000. (129 pages, PhD thesis)
UCAM-CL-TR-488
Giampaolo Bella, Fabio Massacci, Lawrence Paulson, Piero Tramontano: Formal verification of card-holder registration in SET, March 2000. (15 pages)
UCAM-CL-TR-487
Tanja Vos, Doaitse Swierstra: Sequential program composition in UNITY, March 2000. (20 pages)
UCAM-CL-TR-486
James Richard Thomas: Stretching a point: aspect and temporal discourse, February 2000. (251 pages, PhD thesis)
UCAM-CL-TR-485
Daryl Stewart, Myra VanInwegen: Three notes on the interpretation of Verilog, January 2000. (47 pages)
UCAM-CL-TR-484
Richard Tucker: Automatic summarising and the CLASP system, January 2000. (190 pages, PhD thesis)
UCAM-CL-TR-483
Hendrik Jaap Bos: Elastic network control, January 2000. (184 pages, PhD thesis)
UCAM-CL-TR-482
John Daugman: Biometric decision landscapes, January 2000. (15 pages)
UCAM-CL-TR-481
Mike Gordon, Ken Friis Larsen: Combining the Hol98 proof assistant with the BuDDy BDD package, December 1999. (71 pages)
UCAM-CL-TR-480
Mike Gordon: Programming combinations of deduction and BDD-based symbolic calculation, December 1999. (24 pages)
UCAM-CL-TR-479
Geraint Price: The interaction between fault tolerance and security, December 1999. (144 pages, PhD thesis)
UCAM-CL-TR-478
Peter Sewell, Jan Vitek: Secure composition of untrusted code: wrappers and causality types, November 1999. (36 pages)
UCAM-CL-TR-477
Gian Luca Cattani, Glynn Winskel: Presheaf models for CCS-like languages, November 1999. (46 pages)
UCAM-CL-TR-476
Mark Staples: Linking ACL2 and HOL, November 1999. (23 pages)
UCAM-CL-TR-475
Boaz Lerner, Neil D. Lawrence: A comparison of state-of-the-art classification techniques with application to cytogenetics, October 1999. (34 pages)
UCAM-CL-TR-474
Boaz Lerner: A Bayesian methodology and probability density estimation for fluorescence in-situ hybridization signal classification, October 1999. (31 pages)
UCAM-CL-TR-473
Clemens Ballarin: Computer algebra and theorem proving, October 1999. (122 pages, PhD thesis)
UCAM-CL-TR-472
Ben Y. Reis: Simulating music learning with autonomous listening agents: entropy, ambiguity and context, September 1999. (200 pages, PhD thesis)
UCAM-CL-TR-471
Robert M. Brady, Ross J. Anderson, Robin C. Ball: Murphy’s law, the fitness of evolving species, and the limits of software reliability, September 1999. (14 pages)
UCAM-CL-TR-470
Florian Kammüller: Modular reasoning in Isabelle, August 1999. (128 pages, PhD thesis)
UCAM-CL-TR-469
Jacques Désiré Fleuriot: A combination of geometry theorem proving and nonstandard analysis, with application to Newton’s Principia, August 1999. (135 pages, PhD thesis)
UCAM-CL-TR-468
Stephen Paul Wilcox: Synthesis of asynchronous circuits, July 1999. (250 pages, PhD thesis)
UCAM-CL-TR-467
Lawrence C. Paulson: Mechanizing UNITY in Isabelle, June 1999. (22 pages)
UCAM-CL-TR-466
Boaz Lerner, William Clocksin, Seema Dhanjal, Maj Hultén, Christipher Bishop: Automatic signal classification in fluorescence in-situ hybridization images, May 1999. (24 pages)
UCAM-CL-TR-465
Boaz Lerner, Seema Dhanjal, Maj Hultén: Gelfish – graphical environment for labelling FISH images, May 1999. (20 pages)
UCAM-CL-TR-464
Boaz Lerner, William Clocksin, Seema Dhanjal, Maj Hultén, Christipher Bishop: Feature representation for the automatic analysis of fluorescence in-situ hybridization images, May 1999. (36 pages)
UCAM-CL-TR-463
Peter Sewell, Jan Vitek: Secure composition of insecure components, April 1999. (44 pages)
UCAM-CL-TR-462
Peter Sewell, Paweł T. Wojciechowski, Benjamin C. Pierce: Location-independent communication for mobile agents: a two-level architecture, April 1999. (31 pages)
UCAM-CL-TR-461
Joe Hurd: Integrating Gandalf and HOL, March 1999. (11 pages)
UCAM-CL-TR-460
Giampaolo Bella: Message reception in the inductive approach, March 1999. (16 pages)
UCAM-CL-TR-459
Mohamad Afshar: An open parallel architecture for data-intensive applications, July 1999. (225 pages, PhD thesis)
UCAM-CL-TR-458
Lawrence C. Paulson: Final coalgebras as greatest fixed points in ZF set theory, March 1999. (25 pages)
UCAM-CL-TR-457
Andrew D. Gordon, Paul D. Hankin: A concurrent object calculus: reduction and typing, February 1999. (63 pages)
UCAM-CL-TR-456
Joshua Robert Xavier Ross: An evaluation based approach to process calculi, January 1999. (206 pages, PhD thesis)
UCAM-CL-TR-455
G.M. Bierman: Multiple modalities, December 1998. (26 pages)
UCAM-CL-TR-454
Andrew M. Pitts: Parametric polymorphism and operational equivalence, December 1998. (39 pages)
UCAM-CL-TR-453
Michael Norrish: C formalised in HOL, December 1998. (156 pages, PhD thesis)
UCAM-CL-TR-452
Florian Kammüller, Lawrence C. Paulson: A formal proof of Sylow’s theorem : An experiment in abstract algebra with Isabelle Hol, November 1998. (30 pages)
UCAM-CL-TR-451
Sean Rooney: The structure of open ATM control architectures, November 1998. (183 pages, PhD thesis)
UCAM-CL-TR-450
Jacobus Erasmus van der Merwe: Open service support for ATM, November 1998. (164 pages, PhD thesis)
UCAM-CL-TR-449
Florian Kammüller, Markus Wenzel: Locales : A sectioning concept for Isabelle, October 1998. (16 pages)
UCAM-CL-TR-448
G.M. Bierman: A computational interpretation of the λμ calculus, September 1998. (10 pages)
UCAM-CL-TR-447
Giampaolo Bella, Lawrence C. Paulson: Are timestamps worth the effort? A formal treatment, September 1998. (12 pages)
UCAM-CL-TR-446
K. Spärck Jones, S. Walker, S.E. Robertson: A probabilistic model of information and retrieval: development and status, August 1998. (74 pages)
UCAM-CL-TR-445
Michael Roe, Bruce Christianson, David Wheeler: Secure sessions from weak secrets, July 1998. (12 pages)
UCAM-CL-TR-444
Peter Sewell: From rewrite rules to bisimulation congruences, May 1998. (72 pages)
UCAM-CL-TR-443
Lawrence C. Paulson: The inductive approach to verifying cryptographic protocols, February 1998. (46 pages)
UCAM-CL-TR-442
Jacques Fleuriot, Lawrence C. Paulson: A combination of nonstandard analysis and geometry theorem proving, with application to Newton’s Principia, January 1998. (13 pages)
UCAM-CL-TR-441
Lawrence C. Paulson: A generic tableau prover and its integration with Isabelle, January 1998. (16 pages)
UCAM-CL-TR-440
Lawrence C. Paulson: Inductive analysis of the internet protocol TLS, December 1997. (19 pages)
UCAM-CL-TR-439
David A. Halls: Applying mobile code to distributed systems, December 1997. (158 pages, PhD thesis)
UCAM-CL-TR-438
Feng Shi: An architecture for scalable and deterministic video servers, November 1997. (148 pages, PhD thesis)
UCAM-CL-TR-437
William S. Harbison: Trusting in computer systems, December 1997. (95 pages, PhD thesis)
UCAM-CL-TR-436
W.F. Clocksin: A new method for estimating optical flow, November 1997. (20 pages)
UCAM-CL-TR-435
Peter Sewell: Global/local subtyping for a distributed π-calculus, August 1997. (57 pages)
UCAM-CL-TR-434
Martin Richards: Demonstration programs for CTL and μ-calculus symbolic model checking, August 1997. (41 pages)
UCAM-CL-TR-433
Martin Richards: Backtracking algorithms in MCPL using bit patterns and recursion, July 1997. (80 pages)
UCAM-CL-TR-432
Lawrence C. Paulson: On two formal analyses of the Yahalom protocol, July 1997. (16 pages)
UCAM-CL-TR-431
Martin Richards: The MCPL programming manual and user guide, July 1997. (70 pages)
UCAM-CL-TR-430
G.J.F. Jones, et al.: Video mail retrieval using voice : Report on topic spotting, July 1997. (73 pages)
UCAM-CL-TR-429
Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen: Compilation and equivalence of imperative objects, June 1997. (64 pages)
UCAM-CL-TR-428
John Harrison: Floating point verification in HOL Light: the exponential function, June 1997. (112 pages)
UCAM-CL-TR-427
Don Syme: Proving Java type soundness, June 1997. (35 pages)
UCAM-CL-TR-426
Mark Humphrys: Action selection methods using reinforcement learning, June 1997. (195 pages, PhD thesis)
UCAM-CL-TR-425
Leslie Lamport, Lawrence C. Paulson: Should your specification language be typed?, May 1997. (30 pages)
UCAM-CL-TR-424
Fabio Massacci: Simplification with renaming: a general proof technique for tableau and sequent-based provers, May 1997. (26 pages)
UCAM-CL-TR-423
Karl F. MacDorman: Symbol grounding : Learning categorical and sensorimotor predictions for coordination in autonomous robots, May 1997. (170 pages, PhD thesis)
UCAM-CL-TR-422
Antony Rowstron: Using the BONITA primitives: a case study, May 1997. (19 pages)
UCAM-CL-TR-421
Michael Norrish: An abstract dynamic semantics for C, May 1997. (31 pages)
UCAM-CL-TR-420
Jonathan Mark Sewell: Managing complex models for computer graphics, April 1997. (206 pages, PhD thesis)
UCAM-CL-TR-419
James Quentin Stafford-Fraser: Video-augmented environments, April 1997. (91 pages, PhD thesis)
UCAM-CL-TR-418
Lawrence C. Paulson: Mechanized proofs for a recursive authentication protocol, March 1997. (30 pages)
UCAM-CL-TR-417
Peter J.C. Brown: Selective mesh refinement for interactive terrain rendering, February 1997. (18 pages)
UCAM-CL-TR-416
Donald Syme: DECLARE: a prototype declarative proof system for higher order logic, February 1997. (25 pages)
UCAM-CL-TR-415
Steven Leslie Pope: Application support for mobile computing, February 1997. (145 pages, PhD thesis)
UCAM-CL-TR-414
Martín Abadi, Andrew D. Gordon: A calculus for cryptographic protocols : The SPI calculus, January 1997. (105 pages)
UCAM-CL-TR-413
Lawrence C. Paulson: Mechanized proofs of security protocols: Needham-Schroeder with public keys, January 1997. (20 pages)
UCAM-CL-TR-412
G.M. Bierman: Observations on a linear PCF (preliminary report), January 1997. (30 pages)
UCAM-CL-TR-411
Monica Nesi: Formalising process calculi in Higher Order Logic, January 1997. (182 pages, PhD thesis)
UCAM-CL-TR-410
John Harrison: Proof style, January 1997. (22 pages)
UCAM-CL-TR-409
Lawrence C. Paulson: Proving properties of security protocols by induction, December 1996. (24 pages)
UCAM-CL-TR-408
John Robert Harrison: Theorem proving with the real numbers, November 1996. (147 pages, PhD thesis)
UCAM-CL-TR-407
Sebastian Schoenberg: The L4 microkernel on Alpha : Design and implementation, September 1996. (51 pages)
UCAM-CL-TR-406
Lawrence C. Paulson: Tool support for logics of programs, November 1996. (31 pages)
UCAM-CL-TR-405
Richard J. Boulton: A tool to support formal reasoning about computer languages, November 1996. (21 pages)
UCAM-CL-TR-404
Kam Hong Shum: Adaptive parallelism for computing on heterogeneous clusters, November 1996. (147 pages, PhD thesis)
UCAM-CL-TR-403
Paul Ronald Barham: Devices in a multi-service operating system, October 1996. (131 pages, PhD thesis)
UCAM-CL-TR-402
G.J.F. Jones, J.T. Foote, K. Spärck Jones, S.J. Young: Video mail retrieval using voice: report on collection of naturalistic requests and relevance assessments, September 1996. (21 pages)
UCAM-CL-TR-401
Gavin Bierman: A classical linear λ-calculus, July 1996. (41 pages)
UCAM-CL-TR-400
Scarlet Schwiderski: Monitoring the behaviour of distributed systems, July 1996. (161 pages, PhD thesis)
UCAM-CL-TR-399
Richard Hayton: OASIS : An open architecture for secure interworking services, June 1996. (102 pages, PhD thesis)
UCAM-CL-TR-398
N.A. Dodgson, J.R. Moore: Design and implementation of an autostereoscopic camera system, June 1996. (20 pages)
UCAM-CL-TR-397
Borut Robič: Optimal routing in 2-jump circulant networks, June 1996. (7 pages)
UCAM-CL-TR-396
Lawrence C. Paulson: Generic automatic proof tools, May 1996. (28 pages)
UCAM-CL-TR-395
Torben Bräuner, Valeria de Paiva: Cut-elimination for full intuitionistic linear logic, May 1996. (27 pages)
UCAM-CL-TR-394
Lawrence C. Paulson: A simple formalization and proof for the mutilated chess board, April 1996. (11 pages)
UCAM-CL-TR-393
Simon Andrew Crosby: Performance management in ATM networks, April 1996. (215 pages, PhD thesis)
UCAM-CL-TR-392
Uwe Nestmann, Benjamin C. Pierce: Decoding choice encodings, April 1996. (54 pages)
UCAM-CL-TR-391
Andrew John Kennedy: Programming languages and dimensions, April 1996. (149 pages, PhD thesis)
UCAM-CL-TR-390
Richard J. Boulton: Syn: a single language for specifiying abstract syntax tress, lexical analysis, parsing and pretty-printing, March 1996. (25 pages)
UCAM-CL-TR-389
Wai Wong: A proof checked for HOL, March 1996. (165 pages)
UCAM-CL-TR-388
P.N. Benton: A unified approach to strictness analysis and optimising transformations, February 1996. (21 pages)
UCAM-CL-TR-387
Scarlet Schwiderski, Andrew Herbert, Ken Moody: Monitoring composite events in distributed systems, February 1996. (20 pages)
UCAM-CL-TR-386
Andrew D. Gordon, Gareth D. Rees: Bisimilarity for a first-order calculus of objects with subtyping, January 1996. (78 pages)
UCAM-CL-TR-385
Sanjay Saraswat: Performance evaluation of the Delphi machine, December 1995. (187 pages, PhD thesis)
UCAM-CL-TR-384
Shaw-Cheng Chuang: Securing ATM networks, January 1995. (30 pages)
UCAM-CL-TR-383
Noha Adly: Management of replicated data in large scale systems, November 1995. (182 pages, PhD thesis)
UCAM-CL-TR-382
Oliver M. Castle: Synthetic image generation for a multiple-view autostereo display, October 1995. (184 pages, PhD thesis)
UCAM-CL-TR-381
Uwe Michael Nimscheck: Rendering for free form deformations, October 1995. (151 pages, PhD thesis)
UCAM-CL-TR-380
Burkhard Stiller: Quality-of-Service issues in networking environments, September 1995. (68 pages)
UCAM-CL-TR-379
Lawrence Paulson: Proceedings of the First Isabelle Users Workshop, September 1995. (265 pages)
UCAM-CL-TR-378
Noha Adly: Performance evaluation of HARP: a hierarchical asynchronous replication protocol for large scale system, August 1995. (94 pages)
UCAM-CL-TR-377
Larry Paulson, Krzysztof Grabczewski: Mechanising set theory: cardinal arithmetic and the axiom of choice, July 1995. (33 pages)
UCAM-CL-TR-376
Timothy Roscoe: The structure of a multi-service operating system, August 1995. (113 pages, PhD thesis)
UCAM-CL-TR-375
Feng Huang: Restructuring virtual memory to support distributed computing environments, July 1995. (135 pages, PhD thesis)
UCAM-CL-TR-374
Burkhard Stiller: A framework for QoS updates in a networking environment, July 1995.
UCAM-CL-TR-373
Benjamín Macías, Stephen G. Pulman: Natural-language processing and requirements specifications, July 1995. (73 pages)
UCAM-CL-TR-372
Stefan G. Hild: A brief history of mobile telephony, January 1995. (19 pages)
UCAM-CL-TR-371
Kim Ritter Wagner: LIMINF convergence in Ω-categories, June 1995. (28 pages)
UCAM-CL-TR-370
Sten Agerholm: A package for non-primitive recursive function definitions in HOL, July 1995. (36 pages)
UCAM-CL-TR-369
Sten Agerholm: A comparison of HOL-ST and Isabelle/ZF, July 1995. (23 pages)
UCAM-CL-TR-368
Burkhard Stiller: CogPiT – configuration of protocols in TIP, June 1995. (73 pages)
UCAM-CL-TR-367
Andrew M. Pitts: Categorical logic, May 1995. (94 pages)
UCAM-CL-TR-366
K. Spärck Jones, G.J.F. Jones, J.T. Foote, S.J. Young: Retrieving spoken documents: VMR Project experiments, May 1995. (28 pages)
UCAM-CL-TR-365
P.N. Benton, G.M. Bierman, V.C.V. de Paiva: Computational types from a logical perspective I, May 1995. (19 pages)
UCAM-CL-TR-364
Ole Rasmussen: The Church-Rosser theorem in Isabelle: a proof porting experiment, April 1995. (27 pages)
UCAM-CL-TR-363
Ian Stark: Names and higher-order functions, April 1995. (140 pages, PhD thesis)
UCAM-CL-TR-362
Mark Humphrys: W-learning: competition among selfish Q-learners, April 1995. (30 pages)
UCAM-CL-TR-361
Richard John Black: Explicit network scheduling, April 1995. (121 pages, PhD thesis)
UCAM-CL-TR-360
W.F. Clocksin: On the calculation of explicit polymetres, March 1995. (12 pages)
UCAM-CL-TR-359
Jacob Frost: A case study of co-induction in Isabelle, February 1995. (48 pages)
UCAM-CL-TR-358
Simon William Moore: Multithreaded processor design, February 1995. (125 pages, PhD thesis)
UCAM-CL-TR-357
Jonathan P. Bowen, Michael G. Hinchey: Seven more myths of formal methods, December 1994. (12 pages)
UCAM-CL-TR-356
S.E. Robertson, K. Spärck Jones: Simple, proven approaches to text retrieval, December 1994. (8 pages)
UCAM-CL-TR-355
David Wheeler, Roger Needham: Two cryptographic notes, November 1994. (6 pages)
UCAM-CL-TR-354
Sten Agerholm: Formalising a model of the λ-calculus in HOL-ST, October 1994. (31 pages)
UCAM-CL-TR-353
Mike Gordon: Merging HOL with set theory, November 1994. (40 pages)
UCAM-CL-TR-352
P.N. Benton: A mixed linear and non-linear logic: proofs, terms and models, October 1994. (65 pages)
UCAM-CL-TR-351
Subir Kumar Biswas: Handling realtime traffic in mobile networks, September 1994. (198 pages, PhD thesis)
UCAM-CL-TR-350
Jonathan P. Bowen, Michael G. Hinchey: Ten commandments of formal methods, September 1994. (18 pages)
UCAM-CL-TR-349
Brian Graham: A HOL interpretation of Noden, September 1994. (78 pages)
UCAM-CL-TR-348
Jane Louise Hunter: Integrated sound synchronisation for computer animation, August 1994. (248 pages, PhD thesis)
UCAM-CL-TR-347
Karen Spärck Jones: Reflections on TREC, July 1994. (35 pages)
UCAM-CL-TR-346
G.M. Bierman: On intuitionistic linear logic, August 1994. (191 pages, PhD thesis)
UCAM-CL-TR-345
Siani L. Baker: A proof environment for arithmetic with the Omega rule, August 1994. (17 pages)
UCAM-CL-TR-344
Martin John Turner: The contour tree image encoding technique and file format, July 1994. (154 pages, PhD thesis)
UCAM-CL-TR-342
Stephen Martin Guy Freeman: An architecture for distributed user interfaces, July 1994. (127 pages, PhD thesis)
UCAM-CL-TR-341
John Bates: Presentation support for distributed multimedia applications, June 1994. (140 pages)
UCAM-CL-TR-340
Eoin Andrew Hyden: Operating system support for quality of service, June 1994. (102 pages, PhD thesis)
UCAM-CL-TR-339
Brian Logan, Steven Reece, Alison Cawsey, Julia Galliers, Karen Spärck Jones: Belief revision and dialogue management in information retrieval, May 1994. (227 pages)
UCAM-CL-TR-338
Zhixue Wu: A new approach to implementing atomic data types, May 1994. (170 pages, PhD thesis)
UCAM-CL-TR-337
Richard John Boulton: Efficiency in a fully-expansive theorem prover, May 1994. (126 pages, PhD thesis)
UCAM-CL-TR-336
Barnaby P. Hilken: Towards a proof theory of rewriting: the simply-typed 2-λ calculus, May 1994. (28 pages)
UCAM-CL-TR-335
G.J.F. Jones, J.T. Foote, K. Spärck Jones, S.J. Young: Video mail retrieval using voice: report on keyword definition and data collection (deliverable report on VMR task No. 1), April 1994. (38 pages)
UCAM-CL-TR-334
Lawrence C. Paulson: A concrete final coalgebra theorem for ZF set theory, May 1994. (21 pages)
UCAM-CL-TR-333
G.M. Bierman: What is a categorical model of intuitionistic linear logic?, April 1994. (15 pages)
UCAM-CL-TR-332
David Martin Evers: Distributed computing with objects, March 1994. (154 pages, PhD thesis)
UCAM-CL-TR-331
Noha Adly, Akhil Kumar: HPP: a hierarchical propagation protocol for large scale replication in wide area networks, March 1994. (24 pages)
UCAM-CL-TR-330
Pierre David Wellner: Interacting with paper on the DigitalDesk, March 1994. (96 pages, PhD thesis)
UCAM-CL-TR-329
Paul Curzon: The formal verification of the Fairisle ATM switching element, March 1994. (105 pages)
UCAM-CL-TR-328
Paul Curzon: The formal verification of the Fairisle ATM switching element: an overview, March 1994. (46 pages)
UCAM-CL-TR-327
Siani L. Baker: A new application for explanation-based generalisation within automated deduction, February 1994. (18 pages)
UCAM-CL-TR-326
Sai-Lai Lo: A modular and extensible network storage architecture, January 1994. (147 pages, PhD thesis)
UCAM-CL-TR-325
Richard Crouch: The temporal properties of English conditionals and modals, January 1994. (248 pages, PhD thesis)
UCAM-CL-TR-324
J. von Wright: Verifying modular programs in HOL, January 1994. (25 pages)
UCAM-CL-TR-323
J. von Wright: Representing higher-order logic proofs in HOL, January 1994. (28 pages)
UCAM-CL-TR-322
Guangxing Li: Supporting distributed realtime computing, December 1993. (113 pages, PhD thesis)
UCAM-CL-TR-321
Andrew M. Pitts: Relational properties of domains, December 1993. (38 pages)
UCAM-CL-TR-320
Lawrence C. Paulson: A fixedpoint approach to implementing (co)inductive definitions (updated version), July 1995. (29 pages)
UCAM-CL-TR-319
Mark David Hayter: A workstation architecture to support multimedia, November 1993. (99 pages, PhD thesis)
UCAM-CL-TR-318
Jim Grundy: A method of program refinement, November 1993. (207 pages, PhD thesis)
UCAM-CL-TR-317
John Peter Van Tassel: Femto-VHDL: the semantics of a subset of VHDL and its embedding in the HOL proof assistant, November 1993. (122 pages, PhD thesis)
UCAM-CL-TR-316
Ann Copestake: The Compleat LKB, August 1993. (126 pages)
UCAM-CL-TR-315
Barney Darryl Pell: Strategy generation and evaluation for meta-game playing, November 1993. (289 pages, PhD thesis)
UCAM-CL-TR-314
John Andrew Carroll: Practical unification-based parsing of natural language. (173 pages, PhD thesis)
UCAM-CL-TR-313
Yves Bertot, Gilles Kahn, Laurent Théry: Proof by pointing, October 1993. (27 pages)
UCAM-CL-TR-312
Lawrence C. Paulson: Set theory for verification: II : Induction and recursion, September 1993. (46 pages)
UCAM-CL-TR-311
Paul Curzon: A verified Vista implementation, September 1993. (56 pages)
UCAM-CL-TR-310
Noha Adly: HARP: a hierarchical asynchronous replication protocol for massively replicated systems, August 1993. (34 pages)
UCAM-CL-TR-309
Peter Nicholas Benton: Strictness analysis of lazy functional programs, August 1993. (154 pages, PhD thesis)
UCAM-CL-TR-308
Jacob Frost: A case study of co-induction in Isabelle HOL, August 1993. (27 pages)
UCAM-CL-TR-307
David D. Lewis, Karen Spärck Jones: Natural language processing for information retrieval, July 1993. (22 pages)
UCAM-CL-TR-306
Wai Wong: Recording HOL proofs, July 1993. (57 pages)
UCAM-CL-TR-305
P.N. Benton: Strong normalisation for the linear term calculus, July 1993. (13 pages)
UCAM-CL-TR-304
Lawrence C. Paulson: Co-induction and co-recursion in higher-order logic, July 1993. (35 pages)
UCAM-CL-TR-303
Andrew Kennedy: Drawing trees — a case study in functional programming, June 1993. (9 pages)
UCAM-CL-TR-302
Barney Pell: Logic programming for general game-playing, June 1993. (15 pages)
UCAM-CL-TR-301
Zhixue Wu, Ken Moody, Jean Bacon: The dual-level validation concurrency control method, June 1993. (24 pages)
UCAM-CL-TR-300
Wai Wong: Formal verification of VIPER’s ALU, April 1993. (78 pages)
UCAM-CL-TR-299
Bjorn Gamback, Manny Rayner, Barney Pell: Pragmatic reasoning in bridge, April 1993. (23 pages)
UCAM-CL-TR-298
John Matthew Simon Doar: Multicast in the asynchronous transfer mode environment, April 1993. (168 pages, PhD thesis)
UCAM-CL-TR-297
Eike Ritter: Categorical abstract machines for higher-order lambda calculi, April 1993. (149 pages, PhD thesis)
UCAM-CL-TR-296
Z. Wu, K. Moody, J. Bacon: A persistent programming language for multimedia databases in the OPERA project, April 1993. (9 pages)
UCAM-CL-TR-295
Jean Bacon, John Bates, Sai Lai Lo, Ken Moody: OPERA : Storage and presentation support for multimedia applications in a distributed, ATM network environment, April 1993. (12 pages)
UCAM-CL-TR-294
Ken Moody, Jean Bacon, Noha Adly, Mohamad Afshar, John Bates, Huang Feng, Richard Hayton, Sai Lai Lo, Scarlet Schwiderski, Robert Sultana, Zhixue Wu: OPERA : Storage, programming and display of multimedia objects, April 1993. (9 pages)
UCAM-CL-TR-293
Jean Bacon, Ken Moody: Objects and transactions for modelling distributed applications: concurrency control and commitment, April 1993. (39 pages)
UCAM-CL-TR-292
Cormac John Sreenan: Synchronisation services for digital continuous media, March 1993. (123 pages, PhD thesis)
UCAM-CL-TR-291
J.R. Galliers, K. Spärck Jones: Evaluating natural language processing systems, February 1993. (187 pages)
UCAM-CL-TR-290
Karen Spärck Jones: Discourse modelling for automatic summarising, February 1993. (30 pages)
UCAM-CL-TR-289
David Alan Howard Elworthy: The semantics of noun phrase anaphora, February 1993. (191 pages, PhD thesis)
UCAM-CL-TR-288
Rajeev Gore: Cut-free sequent and tableau systems for propositional Diodorean modal logics, February 1993. (19 pages)
UCAM-CL-TR-287
Andrew D. Gordon: A mechanised definition of Silage in HOL, February 1993. (28 pages)
UCAM-CL-TR-286
Lawrence C. Paulson: Isabelle’s object-logics, February 1993. (161 pages)
UCAM-CL-TR-285
Andrew Donald Gordon: Functional programming and input/output, February 1993. (163 pages, PhD thesis)
UCAM-CL-TR-284
Claire Grover, John Carroll, Ted Briscoe: The Alvey Natural Language Tools grammar (4th Release), January 1993. (260 pages)
UCAM-CL-TR-283
Lawrence C. Paulson: The Isabelle reference manual, February 1993. (78 pages)
UCAM-CL-TR-282
Ian M. Leslie, Derek McAuley, Sape J. Mullender: Pegasus – Operating system support for distributed multimedia systems, December 1992. (14 pages)
UCAM-CL-TR-281
Sape J. Mullender, Ian M. Leslie, Derek McAuley: Pegasus project description, September 1992. (23 pages)
UCAM-CL-TR-280
Lawrence C. Paulson: Introduction to Isabelle, January 1993. (61 pages)
UCAM-CL-TR-279
Victor A. Carreño: The transition assertions specification method. (18 pages)
UCAM-CL-TR-278
Monica Nesi: A formalization of the process algebra CCS in high order logic. (42 pages)
UCAM-CL-TR-277
Barney Pell: METAGAME in symmetric chess-like games. (30 pages)
UCAM-CL-TR-276
Barney Pell: METAGAME: a new challenge for games and learning. (15 pages)
UCAM-CL-TR-275
Barney Pell: Exploratory learning in the game of GO. (18 pages)
UCAM-CL-TR-274
Paul Curzon: Of what use is a verified compiler specification?. (23 pages)
UCAM-CL-TR-273
Innes A. Ferguson: TouringMachines: an architecture for dynamic, rational, mobile agents, November 1992. (206 pages, PhD thesis)
UCAM-CL-TR-272
Martin David Coen: Interactive program derivation, November 1992. (100 pages, PhD thesis)
UCAM-CL-TR-271
Lawrence C. Paulson: Set theory as a computational logic: I. from foundations to functions, November 1992. (28 pages)
UCAM-CL-TR-270
Chaoying Ma: Designing a universal name service. (133 pages, PhD thesis)
UCAM-CL-TR-269
Alan Mycroft, Arthur Norman: Optimising compilation. (23 pages)
UCAM-CL-TR-268
Paul W. Jardetzky: Network file server design for continuous media, October 1992. (101 pages, PhD thesis)
UCAM-CL-TR-267
Christine Ernoult, Alan Mycroft: Untyped strictness analysis. (13 pages)
UCAM-CL-TR-266
Carole Klein: Automatic exploitation of OR-parallelism in Prolog. (18 pages)
UCAM-CL-TR-265
Juanito Camilleri, Tom Melham: Reasoning with inductively defined relations in the HOL theorem prover, August 1992. (49 pages)
UCAM-CL-TR-264
Juanito Camilleri: CCS with environmental guards, August 1992. (19 pages)
UCAM-CL-TR-263
C.-H. Luke Ong: The Lazy Lambda Calculus: an investigation into the foundations of functional programming, August 1992. (256 pages, PhD thesis)
UCAM-CL-TR-262
Nick Benton, Gavin Bierman, Valeria de Paiva: Term assignment for intuitionistic linear logic (preliminary report), August 1992. (57 pages)
UCAM-CL-TR-261
Neil Anthony Dodgson: Image resampling, August 1992. (264 pages, PhD thesis)
UCAM-CL-TR-260
Henrik Reif Anderson: Local computation of alternating fixed-points. (21 pages)
UCAM-CL-TR-259
Samson Abramsky, C.-H. Luke Ong: Full abstraction in the Lazy Lambda Calculus. (104 pages)
UCAM-CL-TR-258
David J. Greaves, Derek McAuley: Private ATM networks, May 1992. (12 pages)
UCAM-CL-TR-257
Rajeev Prakhakar Goré: Cut-free sequent and tableau systems for propositional normal modal logics, May 1992. (160 pages)
UCAM-CL-TR-256
Martin Richards: MCPL programming manual, May 1992. (32 pages)
UCAM-CL-TR-255
Rachel Mary Cardell-Oliver: The formal verification of hard real-time systems, 1992. (151 pages, PhD thesis)
UCAM-CL-TR-254
Richard J. Boulton: A HOL semantics for a subset of ELLA, April 1992. (104 pages)
UCAM-CL-TR-253
Antonio Sanfilippo: The (other) Cambridge ACQUILEX papers. (141 pages)
UCAM-CL-TR-252
Andrew M. Pitts: A co-induction principle for recursively defined domains. (25 pages)
UCAM-CL-TR-251
Xiaofeng Jiang: Multipoint digital video communication, April 1992. (124 pages, PhD thesis)
UCAM-CL-TR-250
Innes A. Ferguson: TouringMachines: autonomous agents with attitudes, April 1992. (19 pages)
UCAM-CL-TR-249
John P. Van Tassel: A formalisation of the VHDL simulation cycle, March 1992. (24 pages)
UCAM-CL-TR-248
Richard J. Boulton: On efficiency in theorem provers which fully expand proofs into primitive inferences, February 1992. (23 pages)
UCAM-CL-TR-247
Roy Luis Crole: Programming metalogics with a fixpoint type, February 1992. (164 pages, PhD thesis)
UCAM-CL-TR-246
Victor Poznański: A relevance-based utterance processing system, February 1992. (295 pages, PhD thesis)
UCAM-CL-TR-245
Michael J. Dixon: System support for multi-service traffic, January 1992. (108 pages, PhD thesis)
UCAM-CL-TR-244
T.F. Melham: A mechanized theory of the π-calculus in HOL. (31 pages)
UCAM-CL-TR-243
Alison Cawsey, Julia Galliers, Stenev Reece, Karen Spärck Jones: Automating the librarian: a fundamental approach using belief revision, January 1992. (39 pages)
UCAM-CL-TR-242
Glenford Ezra Mapp: An object oriented approach to virtual memory management, January 1992. (150 pages, PhD thesis)
UCAM-CL-TR-241
Thomas Ulrich Vogel: Learning in large state spaces with an application to biped robot walking, December 1991. (204 pages, PhD thesis)
UCAM-CL-TR-240
Juanito Camilleri: Symbolic compilation and execution of programs by proof: a case study in HOL. (31 pages)
UCAM-CL-TR-239
Mark Thomas Maybury: Planning multisentential English text using communicative acts, December 1991. (329 pages, PhD thesis)
UCAM-CL-TR-238
Ted Briscoe, Ann Copestake, Valeria de Paiva: Proceedings of the ACQUILEX workshop on default inheritance in the lexicon, October 1991. (180 pages)
UCAM-CL-TR-237
Derek G. Bridge: Computing presuppositions in an incremantal language processing system. (212 pages, PhD thesis)
UCAM-CL-TR-236
John Anthony Bradshaw: Using knowledge of purpose and knowledge of structure as a basic for evaluating the behaviour of mechanical systems. (153 pages, PhD thesis)
UCAM-CL-TR-235
Heng Wang: Modelling and image generation. (145 pages, PhD thesis)
UCAM-CL-TR-234
Karen Spärck Jones: Two tutorial papers: Information retrieval & Thesaurus, August 1991. (31 pages)
UCAM-CL-TR-233
John Carroll, Ted Briscoe, Claire Grover: A development environment for large natural language grammars, July 1991. (65 pages)
UCAM-CL-TR-232
Francisco Corella: Mechanising set theory, July 1991. (217 pages, PhD thesis)
UCAM-CL-TR-231
Raphael Yahalom: Managing the order of transactions in widely-distributed data systems, August 1991. (133 pages, PhD thesis)
UCAM-CL-TR-230
J. Galliers: Proceedings of the second belief representation and agent architectures workshop (BRAA ’91), August 1991. (255 pages)
UCAM-CL-TR-229
David J. Brown: Abstraction of image and pixel : The thistle display system, August 1991. (197 pages, PhD thesis)
UCAM-CL-TR-228
Mark Hayter, Derek McAuley: The desk area network, May 1991. (11 pages)
UCAM-CL-TR-227
Juanito Albert Camilleri: Priority in process calculi, June 1991. (203 pages, PhD thesis)
UCAM-CL-TR-226
Kwok-yan Lam: A new approach for improving system availability, June 1991. (108 pages, PhD thesis)
UCAM-CL-TR-225
Valeria de Paiva: Categorical multirelations, linear logic and petri nets (draft), May 1991. (29 pages)
UCAM-CL-TR-224
Ted Briscoe, John Carroll: Generalised probabilistic LR parsing of natural language (corpora) with unification-based grammars. (45 pages)
UCAM-CL-TR-223
Philip Gladwin, Stephen Pulman, Karen Spärck Jones: Shallow processing and automatic summarising: a first study, May 1991. (65 pages)
UCAM-CL-TR-222
Jonathan Billington: Extensions to coloured petri nets and their application to protocols. (190 pages, PhD thesis)
UCAM-CL-TR-221
Robert Milne: Transforming axioms for data types into sequential programs. (44 pages)
UCAM-CL-TR-220
Cosmos Andrea Nicolaou: A distributed architecture for multimedia communication systems. (192 pages, PhD thesis)
UCAM-CL-TR-219
Ian M. Leslie, Derek M. McAuley, Mark Hayter, Richard Black, Reto Beller, Peter Newman, Matthew Doar: Fairisle project working documents : Snapshot 1, March 1991. (15 pages)
UCAM-CL-TR-218
Tobias Nipkow: Higher-order critical pairs. (15 pages)
UCAM-CL-TR-217
Bhaskar Ramanathan Harita: Dynamic bandwidth management. (160 pages, PhD thesis)
UCAM-CL-TR-216
Carole Susan Klein: Exploiting OR-parallelism in Prolog using multiple sequential machines. (250 pages, PhD thesis)
UCAM-CL-TR-215
Paul Curzon: A structured approach to the verification of low level microcode. (265 pages, PhD thesis)
UCAM-CL-TR-214
J.A. Bradshaw, R.M. Young: Integrating knowledge of purpose and knowledge of structure for design evaluation, February 1991. (20 pages)
UCAM-CL-TR-213
Valeria Correa Vaz de Paiva: The Dialectica categories, January 1991. (82 pages, PhD thesis)
UCAM-CL-TR-212
K.L. Wrench: A distributed and-or parallel Prolog network. (82 pages)
UCAM-CL-TR-211
Karen Spärck Jones: The role of artificial intelligence in information retrieval, November 1990. (13 pages)
UCAM-CL-TR-210
Tobias Nipkow: Higher-order unification, polymorphism, and subsorts. (15 pages)
UCAM-CL-TR-209
Andrew William Moore: Efficient memory-based learning for robot control, November 1990. (248 pages, PhD thesis)
UCAM-CL-TR-208
Eike Ritter: Categorical combinators for the calculus of constructions, October 1990. (43 pages)
UCAM-CL-TR-207
Stuart Philip Hawkins: Video replay in computer animation, October 1990. (161 pages, PhD thesis)
UCAM-CL-TR-206
Richard Cardell-Oliver: Formal verification of real-time protocols using higher order logic, August 1990. (36 pages)
UCAM-CL-TR-205
Lawrence C. Paulson, Andrew W. Smith: Logic programming, functional programming and inductive definitions. (29 pages)
UCAM-CL-TR-204
Roy L. Crole, Andrew M. Pitts: New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic, August 1990. (37 pages)
UCAM-CL-TR-203
Valeria C.V. de Paiva: Subtyping in Ponder (preliminary report), August 1990. (35 pages)
UCAM-CL-TR-202
Andrew Charles Harter: Three-dimensional integrated circuit layout, August 1990. (179 pages, PhD thesis)
UCAM-CL-TR-201
Thomas Frederick Melham: Formalizing abstraction mechanisms for hardware verification in higher order logic, August 1990. (233 pages, PhD thesis)
UCAM-CL-TR-200
Tobias Nipkow, Gregor Snelting: Type classes and overloading resolution via order-sorted unification, August 1990. (16 pages)
UCAM-CL-TR-199
Richard Boulton, Mike Gordon, John Herbert, John Van Tassel: The HOL verification of ELLA designs, August 1990. (22 pages)
UCAM-CL-TR-198
Andrew M. Pitts: Evaluation Logic, August 1990. (31 pages)
UCAM-CL-TR-197
Thomas Clarke: The semantics and implementation of aggregates : or : how to express concurrency without destroying determinism, July 1990. (25 pages)
UCAM-CL-TR-196
John Peter Van Tassell: The semantics of VHDL with Val and Hol: towards practical verification tools, June 1990. (77 pages)
UCAM-CL-TR-195
Jeffrey J. Joyce: Multi-level verification of microprocessor-based systems, May 1990. (163 pages, PhD thesis)
UCAM-CL-TR-194
Julia Rose Galliers: Proceedings of the First Belief Representation and Agent Architectures Workshop, March 1990. (199 pages)
UCAM-CL-TR-193
Julia Rose Galliers: Belief revision and a theory of communication, May 1990. (30 pages)
UCAM-CL-TR-192
Lawrence C. Paulson: Designing a theorem prover, May 1990. (57 pages)
UCAM-CL-TR-191
Cosmos Nicolaou: An architecture for real-time multimedia communications systems, February 1990. (30 pages)
UCAM-CL-TR-190
Ann Copestake: Some notes on mass terms and plurals, January 1990. (65 pages)
UCAM-CL-TR-189
Lawrence C. Paulson, Tobias Nipkow: Isabelle tutorial and user’s manual, January 1990. (142 pages)
UCAM-CL-TR-188
Timothy E. Leonard: Specification of computer architectures: a survey and annotated bibliography, January 1990. (42 pages)
UCAM-CL-TR-187
Ann Copestake, Karen Spärck Jones: Natural language interfaces to databases, September 1989. (36 pages)
UCAM-CL-TR-186
Derek Robert McAuley: Protocol design for high speed networks, January 1990. (100 pages, PhD thesis)
UCAM-CL-TR-185
Guo Qiang Zhang: Logics of Domains, December 1989. (250 pages, PhD thesis)
UCAM-CL-TR-184
David Lawrence Tennenhouse: Site interconnection and the exchange architecture, October 1989. (225 pages, PhD thesis)
UCAM-CL-TR-183
Rachel Cardell-Oliver: The specification and verification of sliding window protocols in higher order logic, October 1989. (25 pages)
UCAM-CL-TR-182
John M. Levine, Lee Fedder: The theory and implementation of a bidirectional question answering system, October 1989. (27 pages)
UCAM-CL-TR-181
Tobias Nipkow: Proof transformations for equational theories, September 1989. (17 pages)
UCAM-CL-TR-180
Tobias Nipkow: Formal verification of data type refinement : Theory and practice, September 1989. (31 pages)
UCAM-CL-TR-179
Ursula Martin, Tobias Nipkow: Automating Squiggol, September 1989. (16 pages)
UCAM-CL-TR-178
Jeffrey J. Joyce: Totally verified systems: linking verified software to verified hardware, September 1989. (25 pages)
UCAM-CL-TR-177
P.A.J. Noel: Experimenting with Isabelle in ZF Set Theory, September 1989. (40 pages)
UCAM-CL-TR-176
T.J.W. Clarke: Implementing aggregates in parallel functional languages, August 1989. (13 pages)
UCAM-CL-TR-175
Lawrence C. Paulson: A formulation of the simple theory of types (for Isabelle), August 1989. (32 pages)
UCAM-CL-TR-174
James Thomas Woodchurch Clarke: General theory relating to the implementation of concurrent symbolic computation, August 1989. (113 pages, PhD thesis)
UCAM-CL-TR-173
Roger William Stephen Hale: Programming in temporal logic, July 1989. (182 pages, PhD thesis)
UCAM-CL-TR-172
Julia Rose Galliers: A theoretical framework for computer models of cooperative dialogue, acknowledging multi-agent conflict, July 1989. (226 pages)
UCAM-CL-TR-171
Jon Fairbairn: Some types with inclusion properties in ∀, →, μ, June 1989. (10 pages)
UCAM-CL-TR-170
Ursula Martin, Tobias Nipkow: Ordered rewriting and confluence, May 1989. (18 pages)
UCAM-CL-TR-169
Andrew Franklin Seaborne: Filing in a heterogeneous network, April 1989. (131 pages, PhD thesis)
UCAM-CL-TR-168
J.M. Bacon, I.M. Leslie, R.M. Needham: Distributed computing with a processor bank, April 1989. (15 pages)
UCAM-CL-TR-167
Jeffrey J. Joyce: A verified compiler for a verified microprocessor, March 1989. (67 pages)
UCAM-CL-TR-166
Jean Bacon: Evolution of operating system structures, March 1989. (28 pages)
UCAM-CL-TR-165
Peter Newman: Fast packet switching for integrated services, March 1989. (145 pages, PhD thesis)
UCAM-CL-TR-164
Li Gong, David J. Wheeler: A matrix key distribution system, October 1988. (20 pages)
UCAM-CL-TR-163
Ann Copestake, Karen Spärck Jones: Inference in a natural language front end for databases, February 1989. (87 pages)
UCAM-CL-TR-162
Claire Glover, Ted Briscoe, John Carroll, Bran Boguraev: The Alvey natural language tools grammar (2nd Release), April 1989. (90 pages)
UCAM-CL-TR-161
D.C.J. Matthews: Papers on Poly/ML, February 1989. (150 pages)
UCAM-CL-TR-160
Andrew Gordon: PFL+: A Kernal Scheme for Functions I/O, February 1989. (26 pages)
UCAM-CL-TR-159
Andrew M. Pitts: Non-trivial power types can’t be subtypes of polymorphic types, January 1989. (12 pages)
UCAM-CL-TR-158
Karen Spärck Jones: Tailoring output to the user: What does user modelling in generation mean?, August 1988. (21 pages)
UCAM-CL-TR-157
Juanito Camilleri: Introducing a priority operator to CCS, January 1989. (19 pages)
UCAM-CL-TR-156
Steve Pulman: Events and VP modifiers, January 1989. (10 pages)
UCAM-CL-TR-155
S.G. Pulman, G.J. Russell, G.D. Ritchie, A.W. Black: Computational morphology of English, January 1989. (15 pages)
UCAM-CL-TR-154
I.B. Crabtree, R.S. Crouch, D.C. Moffat, N.J. Pirie, S.G. Pulman, G.D. Ritchie, B.A. Tate: A natural language interface to an intelligent planning system, January 1989. (14 pages)
UCAM-CL-TR-153
Michael Burrows: Efficient data sharing, December 1988. (99 pages, PhD thesis)
UCAM-CL-TR-152
Andrew Mark Pullen: Motion development for computer animation, November 1988. (163 pages, PhD thesis)
UCAM-CL-TR-151
Inderpreet-Singh Dhingra: Formalising an integrated circuit design style in higher order logic, November 1988. (195 pages, PhD thesis)
UCAM-CL-TR-150
Albert John Camilleri: Simulation as an aid to verification using the HOL theorem prover, October 1988. (23 pages)
UCAM-CL-TR-149
Paul Ashley Karger: Improving security and performance of capability systems, October 1988. (273 pages, PhD thesis)
UCAM-CL-TR-148
Jonathan Billington: Extending coloured petri nets, September 1988. (82 pages)
UCAM-CL-TR-147
Jeffrey Joyce: Formal specification and verification of microprocessor systems, September 1988. (24 pages)
UCAM-CL-TR-146
Thomas F. Melham: Automating recursive type definitions in higher order logic, September 1988. (64 pages)
UCAM-CL-TR-145
Michael J.C. Gordon: Mechanizing programming logics in higher order logic, September 1988. (55 pages)
UCAM-CL-TR-144
Juanito Camilleri: An operational semantics for occam, August 1988. (27 pages)
UCAM-CL-TR-143
Lawrence C. Paulson: Experience with Isabelle : A generic theorem prover, August 1988. (20 pages)
UCAM-CL-TR-142
Peter Newman: A fast packet switch for the integrated services backbone network, July 1988. (24 pages)
UCAM-CL-TR-141
Roy Want: Reliable management of voice in a distributed system, July 1988. (127 pages, PhD thesis)
UCAM-CL-TR-140
Albert John Camilleri: Executing behavioural definitions in higher-order logic, July 1988. (183 pages, PhD thesis)
UCAM-CL-TR-139
Paul R. Manson: Petri net theory: a survey, June 1988. (77 pages)
UCAM-CL-TR-138
Michael Burrows, Martín Abadi, Roger Needham: Authentication: a practical study in belief and action, June 1988. (19 pages)
UCAM-CL-TR-137
F.V. Hasle: Mass terms and plurals : From linguistic theory to natural language processing, June 1988. (171 pages)
UCAM-CL-TR-136
Jeffrey J. Joyce: Formal specification and verification of asynchronous processes in higher-order logic, June 1988. (45 pages)
UCAM-CL-TR-135
Thomas F. Melham: Using reclusive types to reason about hardware in higher order logic, May 1988. (30 pages)
UCAM-CL-TR-134
Avra Cohn: Correctness properties of the Viper black model: the second level, May 1988. (114 pages)
UCAM-CL-TR-133
Lawrence C. Paulson: A preliminary users manual for Isabelle, May 1988. (81 pages)
UCAM-CL-TR-132
Miriam Ellen Leeser: Reasoning about the function and timing of integrated circuits with Prolog and temporal logic, April 1988. (151 pages, PhD thesis)
UCAM-CL-TR-131
Karen Spärck Jones: Architecture problems in the construction of expert systems for document retrieval, December 1986. (28 pages)
UCAM-CL-TR-130
Lawrence C Paulson: The foundation of a generic theorem prover, March 1988. (44 pages)
UCAM-CL-TR-129
Jeremy Peter Bennett: A methodology for automated design of computer instruction sets, March 1988. (147 pages, PhD thesis)
UCAM-CL-TR-128
Robert Charles Beaumont Cooper: Debugging concurrent and distributed programs, February 1988. (110 pages, PhD thesis)
UCAM-CL-TR-127
John Carroll, Bran Boguraev, Claire Grover, Ted Briscoe: A development environment for large natural language grammars, February 1988. (44 pages)
UCAM-CL-TR-126
M.E. Leeser: Reasoning about the function and timing of integrated circuits with Prolog and temporal logic, February 1988. (50 pages)
UCAM-CL-TR-125
Juanito Camilleri: An operational semantics for Occam, February 1988. (24 pages)
UCAM-CL-TR-124
John Herbert: Formal verification of basic memory devices, February 1988. (46 pages)
UCAM-CL-TR-123
John Herbert: Case study of the Cambridge Fast Ring ECL chip using HOL, February 1988. (38 pages)
UCAM-CL-TR-122
John Herbert: Temporal abstraction of digital designs, February 1988. (34 pages)
UCAM-CL-TR-121
Jonathan Billington: A high-level petri net specification of the Cambridge Fast Ring M-access service, December 1987. (31 pages)
UCAM-CL-TR-120
D. Wheeler: Block encryption, November 1987. (4 pages)
UCAM-CL-TR-119
Robert Cooper: Pilgrim: a debugger for distributed systems, July 1987. (19 pages)
UCAM-CL-TR-118
B.K. Boguraev, K. Spärck Jones: Material concerning a study of cases, May 1987. (31 pages)
UCAM-CL-TR-117
J.M. Bacon, K.G. Hamilton: Distributed computing with RPC: the Cambridge approach, October 1987. (15 pages)
UCAM-CL-TR-116
Thierry Coquand, Carl Gunter, Glynn Winskel: Domain theoretic models of polymorphism, September 1987. (52 pages)
UCAM-CL-TR-115
I.S. Dhingra: Formal validation of an integrated circuit design style, August 1987. (29 pages)
UCAM-CL-TR-114
Stephen Ades: An architecture for integrated services on the local area network, September 1987. (166 pages, PhD thesis)
UCAM-CL-TR-113
Lawrence C. Paulson: The representation of logics in higher-order logic, August 1987. (29 pages)
UCAM-CL-TR-112
D.A. Wolfram: Reducing thrashing by adaptive backtracking, August 1987. (15 pages)
UCAM-CL-TR-111
K. Spärck Jones: Realism about user modelling, June 1987. (32 pages)
UCAM-CL-TR-110
Glynn Winskel: Relating two models of hardware, July 1987. (16 pages)
UCAM-CL-TR-109
Jeffrey Joyce: Hardware verification of VLSI regular structures, July 1987. (20 pages)
UCAM-CL-TR-108
Andrew John Wilkes: Workstation design for distributed computing, June 1987. (179 pages, PhD thesis)
UCAM-CL-TR-107
Thierry Coquand, Carl Gunter, Glynn Winskel: DI-domains as a model of polymorphism, May 1987. (19 pages)
UCAM-CL-TR-106
Thomas F. Melham: Abstraction mechanisms for hardware verification, May 1987. (23 pages)
UCAM-CL-TR-105
Glynn Winskel: A compositional model of MOS circuits, April 1987. (25 pages)
UCAM-CL-TR-104
Avra Cohn: A proof of correctness of the Viper microprocessor: the first level, January 1987. (46 pages)
UCAM-CL-TR-103
Mike Gordon: HOL : A proof generating system for higher-order logic, January 1987. (56 pages)
UCAM-CL-TR-102
David C.J. Matthews: A persistent storage system for Poly and ML, January 1987. (16 pages)
UCAM-CL-TR-101
David Russel Milway: Binary routing networks, December 1986. (131 pages, PhD thesis)
UCAM-CL-TR-100
Jeff Joyce, Graham Birtwistle, Mike Gordon: Proving a computer correct in higher order logic, December 1986. (57 pages)
UCAM-CL-TR-99
David C.J. Matthews: An overview of the Poly programming language, August 1986. (11 pages)
UCAM-CL-TR-98
E. Robinson: Power-domains, modalities and the Vietoris monad, October 1986. (16 pages)
UCAM-CL-TR-97
Alan Mycroft: A study on abstract interpretation and “validating microcode algebraically”, October 1986. (22 pages)
UCAM-CL-TR-96
Glynn Winskel: Models and logic of MOS circuits : Lectures for the Marktoberdorf Summerschool, August 1986, October 1986. (47 pages)
UCAM-CL-TR-95
Glynn Winskel: Event structures : Lecture notes for the Advanced Course on Petri Nets, July 1986. (69 pages)
UCAM-CL-TR-94
Avra Cohn, Mike Gordon: A mechanized proof of correctness of a simple counter, June 1986. (80 pages)
UCAM-CL-TR-93
J.P. Bennett: Automated design of an instruction set for BCPL, June 1986. (56 pages)
UCAM-CL-TR-92
Stuart Charles Wray: Implementation and programming techniques for functional languages, June 1986. (117 pages, PhD thesis)
UCAM-CL-TR-91
Albert Camilleri, Mike Gordon, Tom Melham: Hardware verification using higher-order logic, September 1986. (25 pages)
UCAM-CL-TR-90
Andy Hopper, Roger M. Needham: The Cambridge Fast Ring networking system (CFR), June 1986. (25 pages)
UCAM-CL-TR-89
Jon Fairbairn: Making form follow function : An exercise in functional programming style, June 1986. (9 pages)
UCAM-CL-TR-88
David Maclean Carter: A shallow processing approach to anaphor resolution, May 1986. (233 pages, PhD thesis)
UCAM-CL-TR-87
Kathleen Anne Carter: Computer-aided type face design, May 1986. (160 pages, PhD thesis)
UCAM-CL-TR-86
Stephen Christopher Crawley: The Entity System: an object based filing system, April 1986. (120 pages, PhD thesis)
UCAM-CL-TR-85
Glynn Winskel: Category theory and models for parallel computation, April 1986. (16 pages)
UCAM-CL-TR-84
Martin Richards: BSPL: a language for describing the behaviour of synchronous hardware, April 1986. (56 pages)
UCAM-CL-TR-83
Ian David Wilson: Operation system design for large personal workstations. (203 pages, PhD thesis)
UCAM-CL-TR-82
Lawrence C. Paulson: Natural deduction proof as higher-order resolution, December 1985. (25 pages)
UCAM-CL-TR-81
William Robert Stoye: The implementation of functional languages using custom hardware, December 1985. (151 pages, PhD thesis)
UCAM-CL-TR-80
Lawrence C. Paulson: Interactive theorem proving with Cambridge LCF : A user's manual, November 1985. (140 pages)
UCAM-CL-TR-79
Glynn Winskel: Petri nets, algebras and morphisms. (38 pages)
UCAM-CL-TR-78
Glynn Winskel: A complete proof system for SCCS with model assertions. (23 pages)
UCAM-CL-TR-77
Mike Gordon: Why higher-order logic is a good formalisation for specifying and verifying hardware. (27 pages)
UCAM-CL-TR-76
R.C.B. Cooper, K.G. Hamilton: Preserving abstraction in concurrent programming. (16 pages)
UCAM-CL-TR-75
Jon Fairbairn: Design and implementation of a simple typed language based on the lambda-calculus, May 1985. (107 pages, PhD thesis)
UCAM-CL-TR-74
Mike Gordon: Hardware verification by formal proof. (6 pages)
UCAM-CL-TR-73
Daniel Hammond Craft: Resource management in a distributed computing system. (116 pages, PhD thesis)
UCAM-CL-TR-72
W.F. Clocksin: Logic programming and the specification of circuits. (13 pages)
UCAM-CL-TR-71
Ben Moszkowski: Executing temporal logic programs, August 1985. (96 pages)
UCAM-CL-TR-70
Kenneth Graham Hamilton: A remote procedure call system. (109 pages, PhD thesis)
UCAM-CL-TR-69
Lawrence C. Paulson: Proving termination of normalization functions for conditional expressions, June 1985. (16 pages)
UCAM-CL-TR-68
Mike Gordon: HOL : A machine oriented formulation of higher order logic, July 1985. (52 pages)
UCAM-CL-TR-67
Lawrence C. Paulson: Natural deduction theorem proving via higher-order resolution, May 1985. (19 pages)
UCAM-CL-TR-66
M.J.C. Gordon, J. Herbert: A formal hardware verification methodology and its application to a network interface chip. (35 pages)
UCAM-CL-TR-65
Mark Tillotson: Introduction to the programming language “Ponder”, May 1985. (57 pages)
UCAM-CL-TR-64
Branimir K. Boguraev, Karen Spärck Jones: A framework for inference in natural language front ends to databases, February 1985. (73 pages)
UCAM-CL-TR-63
David C.J. Matthews: Poly manual, February 1985. (46 pages)
UCAM-CL-TR-62
Michael Robson: Constraint enforcement in a relational database management system. (106 pages, PhD thesis)
UCAM-CL-TR-61
Karen Spärck Jones: User models and expert systems, December 1984. (44 pages)
UCAM-CL-TR-60
Hiyan Alshawi: Memory and context mechanisms for automatic text processing. (192 pages, PhD thesis)
UCAM-CL-TR-59
Glynn Winskel: On the composition and decomposition of assertions. (35 pages)
UCAM-CL-TR-58
Glynn Winskel: Categories of models for concurrency. (35 pages)
UCAM-CL-TR-57
Lawrence C. Paulson: Constructing recursion operators in intuitionistic type theory, October 1984. (46 pages)
UCAM-CL-TR-56
William Stoye: A new scheme for writing functional operating systems. (30 pages)
UCAM-CL-TR-55
Ben Moszkowski: Executing temporal logic programs, August 1984. (27 pages)
UCAM-CL-TR-54
Lawrence Paulson: Lessons learned from LCF, August 1984. (16 pages)
UCAM-CL-TR-53
Jon Fairbairn: A new type-checker for a functional language. (16 pages)
UCAM-CL-TR-52
Steven Temple: The design of a ring communication network. (132 pages, PhD thesis)
UCAM-CL-TR-51
Glynn Winskel, Kim Guldstrand Larsen: Using information systems to solve recursive domain equations effectively. (41 pages)
UCAM-CL-TR-50
Lawrence Paulson: Verifying the unification algorithm in LCF, March 1984. (28 pages)
UCAM-CL-TR-49
David Charles James Matthews: Programming language design with polymorphism. (143 pages, PhD thesis)
UCAM-CL-TR-48
Hiyan Alshawi: A mechanism for the accumulation and application of context in text processing, November 1983. (17 pages)
UCAM-CL-TR-47
John Irving Tait: Automatic summarising of English texts. (137 pages, PhD thesis)
UCAM-CL-TR-46
Nicholas Henry Garnett: Intelligent network interfaces. (140 pages, PhD thesis)
UCAM-CL-TR-45
Karen Spärck Jones: Compound noun interpretation problems, July 1983. (16 pages)
UCAM-CL-TR-44
Lawrence Paulson: Structural induction in LCF, November 1983. (35 pages)
UCAM-CL-TR-43
Ian Malcom Leslie: Extending the local area network. (71 pages, PhD thesis)
UCAM-CL-TR-42
Mike Gordon: Proving a computer correct with the LCF_LSM hardware verification system. (49 pages)
UCAM-CL-TR-41
Mike Gordon: LCF_LSM, A system for specifying and verifying hardware. (47 pages)
UCAM-CL-TR-40
W. Stoye: The SKIM microprogrammer’s guide, October 1983. (33 pages)
UCAM-CL-TR-39
Lawrence Paulson: Tactics and tacticals in Cambridge LCF, July 1983. (26 pages)
UCAM-CL-TR-38
Mike Gray: Views and imprecise information in databases. (119 pages, PhD thesis)
UCAM-CL-TR-37
Christopher Gray Girling: Representation and authentication on computer networks. (154 pages, PhD thesis)
UCAM-CL-TR-36
Lawrence Paulson: The revised logic PPLAMBDA : A reference manual, March 1983. (28 pages)
UCAM-CL-TR-35
Larry Paulson: Rewriting in Cambridge LCF, February 1983. (32 pages)
UCAM-CL-TR-34
Larry Paulson: Recent developments in LCF: examples of structural induction, January 1983. (15 pages)
UCAM-CL-TR-33
John A. Carroll: An island parsing interpreter for Augmented Transition Networks, October 1982. (50 pages)
UCAM-CL-TR-32
B.K. Boguraev, K. Spärck Jones: How to drive a database front end using general semantic information, November 1982. (20 pages)
UCAM-CL-TR-31
J. Fairbairn: Ponder and its type system, November 1982. (42 pages)
UCAM-CL-TR-30
John Wilkes: A portable BCPL library, October 1982. (31 pages)
UCAM-CL-TR-29
D.C.J. Matthews: Introduction to Poly, May 1982. (24 pages)
UCAM-CL-TR-28
D.C.J. Matthews: Poly report, August 1982. (17 pages)
UCAM-CL-TR-27
Martyn Alan Johnson: Exception handling in domain based systems. (129 pages, PhD thesis)
UCAM-CL-TR-26
Brian James Knight: Portable system software for personal computers on a network. (204 pages, PhD thesis)
UCAM-CL-TR-25
Hiyan Alshawi: A clustering technique for semantic network processing, May 1982. (9 pages)
UCAM-CL-TR-24
B.K. Boguraev, K. Spärck Jones: Steps towards natural language to data language translation using general semantic information, March 1982. (8 pages)
UCAM-CL-TR-23
J.I. Tait: Two papers about the scrabble summarising system. (12 pages)
UCAM-CL-TR-22
M. Robson: Constraints in CODD. (18 pages)
UCAM-CL-TR-21
A. Cohn: The correctness of a precedence parsing algorithm in LCF, April 1982. (38 pages)
UCAM-CL-TR-20
Avra Cohn, Robin Milner: On using Edinburgh LCF to prove the correctness of a parsing algorithm, February 1982. (23 pages)
UCAM-CL-TR-19
Arthur William Sebright Cater: Analysis and inference for English, September 1981. (223 pages, PhD thesis)
UCAM-CL-TR-18
Burkard Wördenweber: Automatic mesh generation of 2 & 3 dimensional curvilinear manifolds, November 1981. (128 pages, PhD thesis)
UCAM-CL-TR-17
B.K. Boguraev, K. Spärck Jones, J.I. Tait: Three papers on parsing, 1982. (22 pages)
UCAM-CL-TR-16
Jeremy Dion: Reliable storage in a local network. (129 pages, PhD thesis)
UCAM-CL-TR-15
I.D. Wilson: The implementation of BCPL on a Z80 based microcomputer. (68 pages)
UCAM-CL-TR-14
J.S. Powers: Store to store swapping for TSO under OS/MVT, June 1980. (28 pages)
UCAM-CL-TR-13
Philip Hazel: Resource allocation and job scheduling. (41 pages)
UCAM-CL-TR-12
M.R.A. Oakley, P. Hazel: HASP “IBM 1130” multileaving remote job entry protocol with extensions as used on the University of Cambridge IBM 370/165, September 1979. (28 pages)
UCAM-CL-TR-11
Branimir Konstatinov Boguraev: Automatic resolution of linguistic ambiguities. (222 pages, PhD thesis)
UCAM-CL-TR-10
Mark Theodore Pezarro: Prediction oriented description of database systems. (190 pages, PhD thesis)
UCAM-CL-TR-9
Douglas John Cook: Evaluation of a protection system. (181 pages, PhD thesis)
UCAM-CL-TR-7
Andrew Hopper: Local area computer communications network. (192 pages, PhD thesis)
UCAM-CL-TR-6
Andrew D. Birrell: System programming in a high level language. (125 pages, PhD thesis)
UCAM-CL-TR-5
P. Hazel, A.J.M. Stoneley: Parrot – A replacement for TCAM, April 1976. (25 pages)
UCAM-CL-TR-4
A.J.M. Stoneley: The dynamic creation of I/O paths under OS/360-MVT, April 1975. (16 pages)
UCAM-CL-TR-3
A.J.M. Stoneley: A replacement for the OS/360 disc space management routines, April 1975. (7 pages)
UCAM-CL-TR-2
J. Larmouth: Scheduling for a share of the machine, October 1974. (29 pages)
UCAM-CL-TR-1
M.F. Challis: The JACKDAW database package, October 1974. (15 pages)

Last update: 2014-11-20