Type

Number of items: 35.
A
  • HARP: a statically scheduled multiple-instruction-issue architecture and its compiler. (1994) R.G. Adams, S.M. Gray and G.B. Steven
    • B
  • Using testing semantics to show safety and liveness in the development of CCS specifications. (1994) J. Baillie
  • A conservative extension to CCS for true concurrency semantics. (1994) J. Baillie and D. Smith
  • An integrated approach to the development of advice systems to support learning and domain based information retrieval. (1994) M. Bearne, J. Hewitt, S. Jones and J. Sapsford-Francis
  • Towards usability guidelines for multimedia systems. (1994) M. Bearne, S. Jones and J. Sapsford-Francis
  • Overloading and polymorphism in the interpretation of inheritance in C++. (1994) M. Buchanan
  • A comparative study of three neural networks that use soft competition. (1994) K. Butchart
    • C
  • Clone detection in telecommunications software systems : a neural net approach. (1994) S. Carter, R. Frank and D. Tansley
  • File server architecture for an open distributed document system. (1994) B. Christianson and P. Hu
  • Shrink-wrapped optimism: the DODA approach to distributed document processing. (1994) B. Christianson and J.F. Snook
  • An explicitly declared delayed-branch mechanism for a superscalar architecture. (1994) R. Collins and G.B. Steven
    • E
  • Potential for asynchronous microprocessor design. (1994) C.J. Elston
    • F
  • A data flow model for prototyping reactive systems. (PhD Transfer Report). (1994) D.A. Fensome
    • G
  • Using conditional execution to exploit instruction level concurrency. (1994) S.M. Gray and R.G. Adams
    • H
  • An application of task analysis to the development of a generic office reference model. (1994) J. Hewitt, J. Hobson and J. Sapsford-Francis
  • Integrating formal and diagrammatic techniques in requirements capture and early system design. (1994) J. Hewitt, S. Jones and J. Sapsford-Francis
  • Multicultural issues in the development of a Pan-European knowledge based system. (1994) J. Hewitt and J. Sapsford-Francis
  • A knowledge extraction approach for capturing dispersed knowledge and its application to the modelling of working environments for people with disabilities. (1994) J. Hewitt and J. Sapsford-Francis
  • MODEMA - a knowledge based browsing system to facilitate the employment of people with disabilities. (1994) J. Hewitt, J. Sapsford-Francis, G. Bolstad, O. Eftedal, P. Halford, D. Vervenne and M. Verheyen
  • MODEMA - a multimedia public information system. (1994) J. Hewitt, J. Sapsford-Francis and J. Halford
    • J
  • Formal dialogue specification for hypertext and multimedia systems. (1994) L. Jacob and S. Jones
  • 3-dimensional modelling in knowledge engineering. (1994) S. Jones
    • L
  • To whom am I speaking? Remote booting in a hostile world. (1994) M. Lomas and B. Christianson
  • Self authenticating proxies. (1994) M.R. Low and B. Christianson
    • M
  • The Oberon-2 language and environment. (1994) A. Mayes and M. Buchanan
  • A comparison of Eiffel, C++ and Oberon-2. (1994) A. Mayes and M. Buchanan
  • Implementing associations between objects. (1994) A. Mayes, B. Dickerson and C. Britton
    • S
  • Validating knowledge models across multinational boundaries. (1994) J. Sapsford-Francis and J. Hewitt
  • User and designer centred issues in the development of a multimedia exhibition guide. (1994) J. Sapsford-Francis, J. Hewitt, P. Halford and N. Waring
  • The role of graphical representations in early design and requirements specification. (1994) J. Sapsford-Francis and S. Jones
  • Using a resource limited instruction scheduler to evaluate the iHARP processor. (1994) F.L. Steven, G.B. Steven and L. Wang
  • An evaluation of the iHARP multiple instruction issue processor. (1994) F.L. Steven, G.B. Steven and L. Wang
    • T
  • Increasing the usability of formal specification techniques through a combination of complementary formal languages and automated verification tools. (1994) P.N. Taylor and C. Britton
  • A case study for generic processes and reusability in LOTOS. (1994) P.N. Taylor and D.E. Smith
  • The influence of the formal description technique LOTOS on concurrent system design. (1994) P.N. Taylor and D.E. Smith