Browse by Publisher

Reports and Papers

Gomez, Rodolfo (2009) Compositional detection of Zeno behavior in Timed Automata with Deadlines. Technical report. UKC (KAR id:24121)

Gomez, Rodolfo (2009) From LIDL(m) to Timed Automata. Technical report. UKC (KAR id:24080)

Hopkins, Tim (2008) The Collected Algorithms of the ACM. Technical report. UKC, Canterbury, Kent, UK (KAR id:24039)

Hopkins, Tim and Hatton, Leslie (2008) Defect patterns and structural properties in a mature well-specified software system. Technical report. UKC, Canterbury, Kent, UK (KAR id:24040)

Tripp, Gerald (2008) Regular expression matching with input compression and next state prediction. Technical report. UKC (KAR id:24028)

Gomez, Rodolfo (2008) Verification of Timed Automata with Deadlines in Uppaal. Technical report. UKC (KAR id:23991)

Wyble, Brad and Bowman, Howard and Craston, Patrick (2006) Attentional Capture in Stimulus Rich Computer Interfaces. Technical report. UKC (KAR id:14417)

Ball, Rudi and Spurrett, Vicki and de Lemos, Rogério (2006) Dependable and Secure Storage in Pervasive Peer-to-Peer Systems. Technical report. UKC (KAR id:14422)

Wyble, Brad and Craston, Patrick and Bowman, Howard (2006) Electrophysiological Feedback in Adaptive Human Computer Interfaces. Technical report. UKC (KAR id:14420)

Li, Su and Bowman, Howard and Barnard, Philip (2006) Emotional Modulation of Temporal Attention, An Approach based upon Distributed Control and Formal Methods. Technical report. UKC (KAR id:14421)

Bowman, Howard and Su, Li and Wyble, Brad (2006) Performance of Reactive Interfaces in Stimulus Rich Environments, applying Formal Methods and Cognitive Frameworks. Technical report. UKC (KAR id:14414)

Bowman, Howard and Su, Li and Barnard, Philip (2006) Semantic Modulation of Temporal Attention: Distributed Control and Levels of Abstraction in Computational Modelling. Technical report. UKC (KAR id:14418)

Su, Li and Bowman, Howard and Wyble, Brad (2006) Formal Modeling of Connectionism using Concurrency Theory, an Approach Based on Automata and Model Checking. Technical report. UKC (KAR id:14514)

Gacek, Cristina and de Lemos, Rogério (2005) Architectural Description of Dependable Software Systems. Technical report. UKC (KAR id:14238)

Luo, Yong (2005) A Type Theory with Partially Defined Functions. Technical report. UKC, University of Kent, Canterbury, Kent, UK (KAR id:14251)

Gomez, Rodolfo and Bowman, Howard (2005) Discrete Timed Automata. Technical report. UKC (KAR id:14362)

Bowman, Howard and Barnard, Philip (2001) Computational Modelling of Distributed Executive Control. Technical report. UKC, Canterbury, Kent, UK (KAR id:13548)

Carter, Janet and Tardivel, Jill (2001) Email Seminars and Student Scaffolding. Technical report. UKC, University of Kent at Canterbury (KAR id:13549)

Taylor, Chris and Boiten, Eerke Albert and Derrick, John (2001) Interpreting ODP Viewpoint Specification: Observations from a Case Study. Technical report. UKC, University of Kent at Canterbury, UK (KAR id:13546)

Carter, Janet and Tardivel, Jill and Fincher, Sally and Fuller, Ursula and Johnson, Colin G. and Linington, Janet and Utting, Ian (2001) Portrait of 2000/01 Part I Assessments, Part 1: Statistical Analysis. Technical report. UKC, University of Kent at Canterbury (KAR id:13572)

Roberts, Jonathan C. (1996) Interactive Hierarchical Data Investigation using Abstractions -- the Waltz Visualization Environment. Technical report. UKC, Computing Laboratory, Universty of Kent, Canterbury, Kent, CT2 7NF, UK (KAR id:21311)

Roberts, Jonathan C. (1996) Waltz Quick Start. Technical report. UKC, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK (KAR id:21317)

Roberts, Jonathan C. (1996) Waltz User Manual. Technical report. UKC, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK (KAR id:21310)

Telford, Alastair J. and Thompson, Simon (1996) Abstract Interpretation of Constructive Type Theory. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21326)

Welch, Peter H. and Poole, Michael D. (1996) Final Report: Embedded occam/Alpha Demonstrator. Technical report. UKC, Canterbury, Kent, CT2 7NF (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21333)

Hopkins, Tim and Morse, David R. (1996) The Implementation and Visualisation of a Large Spatial Individual-Based Model using Fortran 90. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21328)

Morse, David R. and Tardival, G.M. and Spicer, J. (1996) A Comparison of the Effectiveness of a Dichotomous Key and a Multi-Access Key to Woodlice. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21343)

Smith, Neil (1996) Freely Redistributable Software across the Internet - Current practice and future directions to overcome the bandwidth crisis. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21371)

Crawford, John and Waters, A. Gill (1996) An Heuristic for Lower Cost Multicast Routing in the Internet. Technical report. UKC (KAR id:21370)

Smith, Neil (1996) The UK National Web Cache - A State of the Art Report. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21369)

Beckett, David J. and Smith, Neil (1996) The ACademic DireCtory - AC/DC. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21374)

Barnes, David J. and Smith, Neil (1996) An analysis of World-Wide Web Proxy Cache performance and its application to the modelling and simulation of network traffic. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21375)

Wusteman, Judith (1996) Electronic Journal Formats. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21377)

Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1996) Strategies for Consistency Checking, the Choice of Unification. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21396)

Peel, Andrew (1996) HTML Macros -- Easing the Construction and Maintenance of Web Texts. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21405)

da Cunha, Rudnei Dias and Hopkins, Tim (1996) PIM 2.0 The Parallel Iterative Methods Package for Systems of Linear Equations User's Guide (Fortran 77 version). Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21398)

Czech, Zbigniew and Mikanik, Wojciech (1996) Randomized PRAM Simulation Using T9000 Transputers. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21406)

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1995) Cross Viewpoint Consistency in Open Distributed Processing (Intra language consistency). Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21256)

Thompson, Simon (1995) Programming Language Semantics using Miranda. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21257)

Thompson, Simon (1995) Regular Expressions and Automata using Miranda. Other. UKC (Unpublished) (KAR id:21260)

Wusteman, Judith and Brown, Heather (1995) Electronic Journals Using Guide. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21263)

Tripp, Gerald (1995) An ATM Interface with Facilities for Traffic Generation and Monitoring. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21272)

da Cunha, Rudnei Dias and Hopkins, Tim (1993) Using parallel programming environments on clusters of workstations. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21087)

da Cunha, Rudnei Dias and Hopkins, Tim (1993) A Parallel Implementation of the Restarted GMRES Iterative Method for Nonsymmetric Systems of Linear Equations. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21115)

da Cunha, Rudnei Dias and Hopkins, Tim (1993) Parallel Preconditioned Conjugate-Gradients Methods on Transputer Networks. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21120)

Jones, Richard E. and Lins, Rafael D. (1992) Cyclic Weighted Reference Counting without Delay. Technical report. UKC, University of Kent, Canterbury, UK 28-92*. (doi:28-92*) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21024)

Wood, David C. (1992) The Computation of Polylogarithms. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21052)

da Cunha, Rudnei Dias and Hopkins, Tim (1992) The Parallel Solution of Partial Differential Equations on Transputer Networks. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21054)

da Gracca Campos Pimentel, Maria (1992) Showing the destination of hypertext links: a new approach for Guide. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21062)

Lins, Rafael D. (1992) A Multi-Processor Shared Memory Architecture. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21067)

Chan, Syin (1992) Recompression of Still Images. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21068)

Lins, Rafael D. and Jones, Richard E. (1991) Cyclic Weighted Reference Counting. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20985)

Welch, Peter H. (1991) GOING TO Ceed? Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20988)

Lins, Rafael D. and Vasques, M.A. (1991) A Comparative Study of Algorithms for Cyclic Reference Counting. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20990)

Lins, Rafael D. (1991) A Shared Memory Architecture for Parallel Cyclic Reference Counting. Technical report. UKC, University of Kent, Canterbury, UK 10.1016/0165-6074(91)90322-k. (doi:10.1016/0165-6074(91)90322-k) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20994)

da Cunha, Rudnei Dias and Hopkins, Tim (1991) A Comparative Study of Iterative Methods to Solve Systems of Linear Equations using Transputer Networks. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20999)

da Cunha, Rudnei Dias and Hopkins, Tim (1991) The Parallel Solution of Triangular Systems of Linear Equations. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21000)

Meira, Silvio Lemos (1991) Modular Extensions to Z. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21012)

Meira, Silvio Lemos (1991) On the Use of Structured Inductive Semantics in Source-to-Source Translation of Programming Languagues. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21010)

da Cunha, Rudnei Dias and Hopkins, Tim (1991) Parallel Overrelaxation Algorithms for Systems of Linear Equations. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21009)

Hopkins, Tim and Vowden, Barry J. (1990) Distributing Matrix Eigenvalue Calculations over Transputer Arrays. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20965)

El-Giar, Mohamed Osama and Hopkins, Tim (1990) A Generally Configurable Multigrid Implementation for the Solution of Three-Dimensional Elliptic Equations on a Transputer Network. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20964)

Hopkins, Tim (1990) NAG Spline Fitting Routines on a Graphics Workstation -- The Story so far. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20969)

Jones, Richard E. (1990) Tail Recursion Without Space Leaks. Technical report. UKC, University of Kent, Canterbury, UK 72*. (doi:72*) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20974)

Lins, Rafael D. and Thompson, Simon (1990) Implementing SASL using Categorical Multi-combinators. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20976)

Hopkins, Tim and Welch, Peter H. (1989) Transputer Data-flow Solution for Systems of Linear Equations. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20946)

Lins, Rafael D. (1989) Cyclic Reference Counting with Local Mark-Scan. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20948)

El-Giar, Mohamed Osama and Hopkins, Tim (1989) The Parallel Solution of Linear Elliptic Equations using Hopscotch Algorithms. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20950)