A time-based model for OCCAM

A time-based model for OCCAM

Bibliographic Details
Main Author:	Boucher, A.
Published:	University of Oxford 1986
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.375240

Similar Items

Parallel computation of eigenvalues and eigenvectors using Occam and transputers
by: Ralha, Rui
Published: (1990)

OCCAM objects
by: Thomas, Ian Charles Herbert
Published: (1989)

Monitoring distributed OCCAM programs
by: West, A. J.
Published: (1987)

Modelling and evaluating timing constraints in real-time systems
by: Berryman, Steven John
Published: (1993)

Requirements modelling of real-time systems
by: Sateesh, Tiptur K.
Published: (1995)

Denotational semantic models for real-time LOTOS
by: Bryans, Jeremy William
Published: (1996)

Extending the scope of discrete time models to provide practical results for continuous time queueing systems
by: Wall, Alan Douglas
Published: (1995)

A skeleton-based approach for distributed real-time systems design and implementation
by: Cai, Hua
Published: (2000)

Fault tolerance in industrial microprocessor based real time controllers
by: Rave, O. L.
Published: (1983)

Modelling and programming support for parallel discrete event simulation with time warp
by: Hirata, Celso Massaki
Published: (1995)

Contributions to time-bounded problem solving using knowledge-based techniques
by: Chatterjee, Niladri
Published: (1995)

An object-oriented approach to the modelling of real-time computer systems and communication protocols
by: Al-Rowaihi, Salem F. K.
Published: (1991)

A skeleton-based programming environment for parallel and distributed fault-tolerant real-time systems
by: Outram, Matthew Edward
Published: (1999)

MUITS : a multi-window for Time-sharing Systems
by: Haddara, A. A.
Published: (1985)

Reconfigurable FPGA-based message routing for embedded real-time parallel processing applications
by: Frost, Graham
Published: (1998)

Studies in model-based diagnosis
by: Omar, Rosli Bin
Published: (2000)

A real-time operating system
by: Roker, I. G. R. J.
Published: (1986)

A decision making information system for labour resource allocations of logic and time based large scale project computer simulations
by: Stevens, Christopher Gerald John
Published: (1991)

A new protection model for component-based operating systems
by: Law, Greg
Published: (2001)

Wet and sticky : a novel model for computer-based painting
by: Cockshott, Malcolm Tunde
Published: (1991)

Constraint-based updates in a functional data model database
by: Embury, Suzanne M.
Published: (1994)

Real-time extensions of April for time-aware multi-agent systems programming
by: Prouskas, Konstantinos-Vassileios
Published: (2002)

A refinement calculus for real-time systems
by: Scholefield, David Jason
Published: (1992)

Data-based modelling using genetic programming
by: Hiden, Hugo George
Published: (1998)

T-Brave : a transputer based OR-parallel execution model with blackboard support
by: Carson, John Anthony
Published: (1995)

A computational model and knowledge based system for well completion design
by: Dunn-Norman, Shari
Published: (1990)

A development method for trusted real-time kernels
by: Fowler, Simon Quiller
Published: (1998)

A visual programming language for real-time systems
by: Gee, David Malcolm
Published: (1994)

A computer-aided software engineering tool to model, analyze and simulate scheduling algorithms to assist in the design and development of embedded hard real-time systems
by: Schnetler, Hermine
Published: (1992)

Programming model for a computer architecture base on free-space optical communications
by: Guan, Tut San
Published: (1995)

A logic-based modelling language and integer-programming framework for multicriteria optimisation
by: Vieira Pinto, Rodrigo Lamas
Published: (1995)

A temporal logic for the specification and verification of real-time systems
by: Naik, Yogesh
Published: (1993)

Static timing analysis and program proof
by: Chapman, Roderick
Published: (1995)

Data-based mechanistic modelling (DBM) of nonlinear environmental systems
by: Fawcett, Christopher P.
Published: (1999)

Imprecision in real-time systems : theory and practice
by: Portman, Martin
Published: (1994)

Replication and fault-tolerance in real-time systems
by: Waterworth, Adrian
Published: (1992)

Hoare logic's for run-time analysis of programs
by: Nielson, Hanne Riis
Published: (1984)

Real time fault detection and diagnosis in dynamic engineering systems using constraint analysis
by: Marrison, N. A.
Published: (1992)

An interpretive real-time language for process control : 'Arcol', implementation in distributed process control environment
by: Hessami, A. G.
Published: (1980)

A lightweight, graph-theoretic model of class-based similarity to support object-oriented code reuse
by: MacLean, Angus
Published: (2003)

Cannot write session to /tmp/vufind_sessions/sess_f10gejrsl0paj19881rmvmd0h6