Skip to main content

Browse by Publisher

Group by: Item Type | Date | No Grouping
Jump to: Monograph
Number of items: 68.

Monograph

Gomez, Rodolfo (2009) Compositional detection of Zeno behavior in Timed Automata with Deadlines. Technical report. UKC (KAR id:24121)
[thumbnail of CompGomez.pdf]
Preview
Gomez, Rodolfo (2009) From LIDL(m) to Timed Automata. Technical report. UKC (KAR id:24080)
[thumbnail of LIDLGomez.pdf]
Preview
Hopkins, Tim (2008) The Collected Algorithms of the ACM. Technical report. UKC, Canterbury, Kent, UK (KAR id:24039)
[thumbnail of ACMHopkins.pdf]
Preview
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)
[thumbnail of DefectHopkins.pdf]
Preview
Tripp, Gerald (2008) Regular expression matching with input compression and next state prediction. Technical report. UKC (KAR id:24028)
[thumbnail of RegularTripp.pdf]
Preview
Gomez, Rodolfo (2008) Verification of Timed Automata with Deadlines in Uppaal. Technical report. UKC (KAR id:23991)
[thumbnail of VeriGomez.pdf]
Preview
Wyble, Brad and Bowman, Howard and Craston, Patrick (2006) Attentional Capture in Stimulus Rich Computer Interfaces. Technical report. UKC (KAR id:14417)
[thumbnail of Attentional_capture_in_stimulus_rich.pdf]
Preview
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)
[thumbnail of Dependable_and_Secure_Storage_in.pdf]
Preview
Wyble, Brad and Craston, Patrick and Bowman, Howard (2006) Electrophysiological Feedback in Adaptive Human Computer Interfaces. Technical report. UKC (KAR id:14420)
[thumbnail of Electrophysiological_Feedback_in.pdf]
Preview
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)
[thumbnail of Emotional_Modulation_of_Temporal.pdf]
Preview
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)
[thumbnail of Performance_of_reactive_interfaces_in.pdf]
Preview
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)
[thumbnail of Semantic_Modulation_of_Temporal.pdf]
Preview
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)
[thumbnail of Formal_Modeling_of_Connectionism_using_Concurrency_Theory,_an.pdf]
Preview
Gacek, Cristina and de Lemos, Rogério (2005) Architectural Description of Dependable Software Systems. Technical report. UKC (KAR id:14238)
[thumbnail of Archi_Christina.pdf]
Preview
Luo, Yong (2005) A Type Theory with Partially Defined Functions. Technical report. UKC, University of Kent, Canterbury, Kent, UK (KAR id:14251)
[thumbnail of Partiallyyong.pdf]
Preview
Gomez, Rodolfo and Bowman, Howard (2005) Discrete Timed Automata. Technical report. UKC (KAR id:14362)
[thumbnail of TR305.pdf]
Preview
Bowman, Howard and Barnard, Philip (2001) Computational Modelling of Distributed Executive Control. Technical report. UKC, Canterbury, Kent, UK (KAR id:13548)
[thumbnail of computational_modelling_of_distibuted_bowman.doc]
Carter, Janet and Tardivel, Jill (2001) Email Seminars and Student Scaffolding. Technical report. UKC, University of Kent at Canterbury (KAR id:13549)
[thumbnail of email_seminars_and_student_carter.doc]
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)
[thumbnail of interpreting_odp_viewpoint_taylor.pdf]
Preview
[thumbnail of interpreting_odp_viewpoint_taylor.ps]
Preview
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)
[thumbnail of portrait_of_2000_carter.doc]
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)
[thumbnail of waltzPaperTechReport.pdf]
Preview
[thumbnail of waltzPaperTechReport.ps]
Preview
Roberts, Jonathan C. (1996) Waltz Quick Start. Technical report. UKC, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK (KAR id:21317)
[thumbnail of Quickstart.pdf]
Preview
[thumbnail of Quickstart.ps]
Preview
Roberts, Jonathan C. (1996) Waltz User Manual. Technical report. UKC, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK (KAR id:21310)
[thumbnail of MainUD.pdf]
Preview
[thumbnail of MainUD.ps]
Preview
Telford, Alastair J. and Thompson, Simon (1996) Abstract Interpretation of Constructive Type Theory. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21326)
[thumbnail of AbstractTelford.pdf]
Preview
[thumbnail of AbstractTelford.ps]
Preview
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)
[thumbnail of FortranHopkins.pdf]
Preview
[thumbnail of FortranHopkins.ps]
Preview
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)
[thumbnail of WoodliceMorse.pdf]
Preview
[thumbnail of WoodliceMorse.ps]
Preview
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)
[thumbnail of CrisisSmith.pdf]
Preview
[thumbnail of CrisisSmith.ps]
Preview
Crawford, John and Waters, A. Gill (1996) An Heuristic for Lower Cost Multicast Routing in the Internet. Technical report. UKC (KAR id:21370)
[thumbnail of mospf.pdf]
Preview
[thumbnail of mospf.ps]
Preview
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)
[thumbnail of UkwebSmith.pdf]
Preview
[thumbnail of UkwebSmith.ps]
Preview
Beckett, David J. and Smith, Neil (1996) The ACademic DireCtory - AC/DC. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21374)
[thumbnail of AcDCSmith.pdf]
Preview
[thumbnail of AcDCSmith.ps]
Preview
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)
[thumbnail of SimulationSmith.pdf] [thumbnail of SimulationSmith.ps]
Preview
Wusteman, Judith (1996) Electronic Journal Formats. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21377)
[thumbnail of EjournalSmith.pdf]
Preview
[thumbnail of EjournalSmith.ps]
Preview
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)
[thumbnail of StrategiesBoiten.pdf]
Preview
[thumbnail of StrategiesBoiten.ps]
Preview
Peel, Andrew (1996) HTML Macros -- Easing the Construction and Maintenance of Web Texts. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21405)
[thumbnail of WebPeel.pdf]
Preview
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)
[thumbnail of PIM2Hopkins.pdf]
Preview
[thumbnail of PIM2Hopkins.ps]
Preview
Czech, Zbigniew and Mikanik, Wojciech (1996) Randomized PRAM Simulation Using T9000 Transputers. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21406)
[thumbnail of RandomCzech.pdf]
Preview
[thumbnail of RandomCzech.ps]
Preview
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)
[thumbnail of CrossviewBoiten.pdf]
Preview
[thumbnail of CrossviewBoiten.ps]
Preview
Thompson, Simon (1995) Programming Language Semantics using Miranda. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21257)
[thumbnail of MirindaThompson.pdf]
Preview
[thumbnail of MirindaThompson.ps]
Preview
Thompson, Simon (1995) Regular Expressions and Automata using Miranda. Other. UKC (Unpublished) (KAR id:21260)
[thumbnail of RegularThompson.pdf]
Preview
[thumbnail of RegularThompson.ps]
Preview
Wusteman, Judith and Brown, Heather (1995) Electronic Journals Using Guide. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21263)
[thumbnail of EJournalWusteman.pdf]
Preview
[thumbnail of EJournalWusteman.ps]
Preview
Tripp, Gerald (1995) An ATM Interface with Facilities for Traffic Generation and Monitoring. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21272)
[thumbnail of ATMTripp.pdf]
Preview
[thumbnail of ATMTripp.ps]
Preview
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)
[thumbnail of ParallelTim.pdf]
Preview
[thumbnail of ParallelTim.ps]
Preview
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)
[thumbnail of ParallelHopkins.ps]
Preview
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)
[thumbnail of NetworkHopkins.ps]
Preview
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)
[thumbnail of ThecompD.pdf]
Preview
[thumbnail of ThecompD.ps]
Preview
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)
[thumbnail of Parallel_Tim.pdf]
Preview
[thumbnail of ParallelTim.ps]
Preview
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)
[thumbnail of HypertextMaria.ps]
Preview
[thumbnail of HypertextMaria.pdf]
Preview
Lins, Rafael D. (1992) A Multi-Processor Shared Memory Architecture. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21067)
[thumbnail of MultiRDS.pdf]
Preview
[thumbnail of MultRDS.ps]
Preview
Chan, Syin (1992) Recompression of Still Images. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21068)
[thumbnail of content.pdf]
Preview
[thumbnail of content.ps]
Preview
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 (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)
This list was generated on Sun Dec 5 02:18:08 2021 GMT.