Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Real-time data processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method 14 structuring CSP descriptions of layered protocols is given.

Real-time data processing.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Workshop, held in Oulu, Finland, June 1993, is a forum that covers the state-of-the-art research and development in real-time computing. These selected papers cover a wide range of issues, such as modeling, architecture, scheduling, operating systems, prototyping, timing analysis, fault tolerance, and artificial intelligence. Also included are a panel session on real-time scheduling, a special presentation on developing correct systems, and a special session on reactive intelligent systems.

Scheduling. --- Real-time data processing. --- Real-time data processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial intelligence --- Real-time control --- Congresses.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Real-time data processing --- Temps réel