Browsing School of Computer Science and Informatics by Publication Date
Now showing items 21-40 of 3024
-
Using ITL and Tempura for large scale specification and simulation.
(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 ... -
Proving the correctness of the interlock mechanism in processor design.
(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 ... -
Refining interval temporal logic specifications
(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 ... -
A dense-time temporal logic with nice compositionality properties
(Article)A dense temporal logic specification method for the development of reactive systems is introduced. The two development constructs of this method are refinement and composition. A reactive system is specified by a pair ... -
The Enhancement of the Goodyer Skin Rheometer by means of a Microcontroller Based PCB.
(Conference)GSI Ltd designs and manufactures low volume high cost specialist Test and Measurement Equipment, mainly concentrating on systems for use by the cosmetics industry, and for use in prototype vehicles. The FUSE project involved ... -
Solving optimization and scheduling problems with neural network methods
(Article)This paper briefly reviewed the applications of neural networks in optimization and scheduling problems. The background of combining neural networks with optimization and scheduling problems is first introduced, and ... -
Designing a provably correct robot control system using a "lean" formal method
(Book chapter)A development method for the construction of provably correct robot control systems together with its supporting tool environment are described. The method consists of four stages: 1. specification, 2. refinement, 3. ... -
Genetic algorithm and neural network hybrid approach for job-shop scheduling
(Conference)This paper proposes a genetic algorithm (GA) and constraint satisfaction adaptive neural network (CSANN) hybrid approach for job-shop scheduling problems. In the hybrid approach, GA is used to iterate for searching optimal ... -
Genetic algorithm and adaptive neural network hybrid method for job-shop scheduling problems
(Article)This paper proposes a hybrid method of genetic algorithm (GA) and constraint satisfaction adaptive neural network (CSANN) for solving job-shop scheduling problems. In the hybrid method GA is used to iterate for searching ... -
Integrating structured OO approaches with formal techniques for the development of real-time systems
(Article)The use of formal methods in the development of time-critical applications is essential if we want to achieve a high level of assurance in them. However, these methods have not yet been widely accepted in industry as ... -
Constraint satisfaction adaptive neural network and efficient heuristics for job-shop scheduling
(Conference)An efficient constraint satisfaction based adaptive neural network and heuristics hybrid approach for job-shop scheduling is presented. The adaptive neural network has the property of adaptively adjusting its connection ... -
Recursion removal/introduction by formal transformation: an aid to program development and program comprehension
(Article)The transformation of a recursive program to an iterative equivalent is a fundamental operation in Computer Science. In the reverse direction, the task of reverse engineering (analysing a given program in order to determine ... -
A Conceptual Framework for Modelling and Simulation of Variable Structure Hybrid Systems
(Conference)This paper introduces a conceptual framework for modeling and simulation of variable structure hybrid systems. The framework proposed is based on and further extends the DEVS-formalism, providing a novel definition for ... -
A wide-spectrum language for object-based development of real-time systems.
(Article)A formal design notation is present whose underlying computational model is object-based. The object structure of the model is based on the practical, industry-strength Object Oriented structure development technique ... -
Using constraint satisfaction adaptive neural network and efficient heuristics for job-shop scheduling
(Article)This paper proposes a new adaptive neural network , based on constraint satisfaction, and efficient heuristics hybrid algorithm for job-shop scheduling. The neural network has the property of adapting its connection weights ... -
A neural network and heuristics hybrid strategy for job-shop scheduling problem
(Article)A new efficient neural network and heuristics hybrid strategy for job-shop scheduling is presented. The neural network has the property of adapting its connection weights and biases of neural units while solving feasible ...