DORA Home
→
Faculty of Technology
→
School of Computer Science and Informatics
→
Browsing School of Computer Science and Informatics by Publication Date

Browse

All of DORA
This Collection

My Account

Browsing School of Computer Science and Informatics by Publication Date

Now showing items 1-20 of 1493

A modular solution to the design of dedicated laboratory equipment

Goodyer, E. N. (Conference)

Microprocessor based instrumentation can be placed in two groups: either the instrument is intended for mass production, or its one of a small production batch of between 1 and 100 units. The project planning of the ...
Integration and testing of microprocessor based systems.

Goodyer, E. N. (Conference)

The process of integration is the combining of the independently tested software and hardware modules to produce a prototype system. Invariably the integrated system does not work, precipitating the pointed index finger ...
A Microprocessor Gas Flow Computer

Goodyer, E. N. (Conference)

This presentation discusses some of the problems in accurate measurement of the flow rate of hydrocarbon gas; briefly reviews the limitations of analogue solutions; and finally presents a viable solution that employs a ...
NSC800 Tested

Goodyer, E. N. ; Strang, W. (Article)

NSC800 CMOS Microprocessor evaluated by Sira
A comparative study of the INTEL 8086, ZILOG Z8000 and MOTOROLA MC68000

Goodyer, E. N. ; Neylan, P. (Book)

An comparative study of the Motorola 68000, Zilog Z8000 and Intel 8086
GaAs FETs at Frequencies above 20GHz

Oxley, C. H. ; Forrest, P. ; Bennett, R. H. (Technical Report)
Travelling Wave GaAs Transistors

Holden, A. J. ; Oxley, C. H. (Article)
Study of a travelling wave GaAs FET

Oxley, C. H. ; Holden, A. ; Davies, I. ; Medhurst, P. ; Wheeldon, B. (Other)
Microstrip Balun Circuit

Oxley, C. H. (Other)
Millimetric wave gallium arsenide fets

Oxley, C. H. (Article)
Optical Sensors for Vehicles

Goodyer, E. N. (Conference)
Novel sensors for measuring fuel flow and level.

Goodyer, E. N. (Conference)
Parallel composition of assumption-commitment specifications: a unifying approach for shared variable and distributed message passing concurrency

Cau, A. (Antonio) ; Collette, Pierre (Article)

We unify the parallel composition rule of assumption-commitment specifications for respectively state-based and message-based concurrent processes. Without providing language-dependent definitions, we first assume that the ...
A classification method of alternatives for multiple preference ordering criteria based on fuzzy majority.

Chiclana, Francisco ; Herrera, F. ; Herrera-Viedma, Enrique ; Poyatos, M. C. (Article)
Preference relations as the information representation base in multi-person decision making.

Chiclana, Francisco ; Herrera-Viedma, Enrique ; Herrera, F. (Conference)
Using ITL and Tempura for large scale specification and simulation.

Cau, A. (Antonio) ; Zedan, Hussein ; Coleman, Nick ; Moszkowski, B. C. (Book chapter)

ITL and Tempura are used for respectively the formal specification and simulation of a large scale system, namely the general purpose multi-threaded dataflow processor EP/3. This paper shows that this processor can be ...
Etude et réalization d'un simulateur parallèle pour modèle PRAM

Siewe, Francois ; Tchuente, M. (Conference)
Proving the correctness of the interlock mechanism in processor design.

Li, Xiaoshan ; Cau, A. (Antonio) ; Moszkowski, B. C. ; Coleman, Nick ; Zedan, Hussein (Book chapter)

In this paper, Interval Temporal Logic (ITL) us used to specify and verify the event processor EP/3, which is a multi-threaded pipeline processor capable of executing parallel programs. We first give the high level ...
Sémantique Dénotationnelle d'un langage parallèle pour modèle PRAM

Siewe, Francois ; Tchuente, M. ; Roch, J. L. (Conference)
Refining interval temporal logic specifications

Cau, A. (Antonio) ; Zedan, Hussein (Book chapter)

Interval Temporal Logic (ITL) was designed as a tool for the specification and verification of systems. The development of an executable subset of ITL, namely Tempura, was an important step in the use of temporal logic as ...

Now showing items 1-20 of 1493

Browsing School of Computer Science and Informatics by Publication Date

De Montfort University Open Research Archive

Search DORA:

Browse

All of DORA

This Collection

My Account

Browsing School of Computer Science and Informatics by Publication Date