Foundations of Real-Time Computing: Formal Specifications and Methods

Name: Foundations of Real-Time Computing: Formal Specifications and Methods
Brand: Springer
SKU: 9780792391678
Price: 61794 HUF
Availability: InStock

Formal Specifications and Methods

Szerző: André M. van Tilborg, Gary M. Koob

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 11-15 napon belül

61 794 Ft

This volume contains a selection of papers that focus on the state-of the-art in formal specificatio...

Információk a könyvről

Szerző

André M. van Tilborg, Gary M. Koob

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

1991

oldal

316

EAN

9780792391678

ISBN

0792391675

Enbook ID

01398080

Kiadó

Springer

Súly

1420

Méretek

155 x 235 x 19

Teljes leírás

This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D. C. A companion volume by the title Foundations of Real-Time Computing: Scheduling and Resource Management complements this hook by addressing many of the recently devised techniques and approaches for scheduling tasks and managing resources in real-time systems. Together, these two texts provide a comprehensive snapshot of current insights into the process of designing and building real time computing systems on a scientific basis. The notion of real-time system has alternative interpretations, not all of which are intended usages in this collection of papers. Different communities of researchers variously use the term real-time to refer to either very fast computing, or immediate on-line data acquisition, or deadline-driven computing. This text is concerned with the formal specification and verification of computer software and systems whose correct performance is dependent on carefully orchestrated interactions with time, e. g. , meeting deadlines and synchronizing with clocks. Such systems have been enabled for a rapidly increasing set of diverse end-uses by the unremitting advances in computing power per constant-dollar cost and per constant-unit-volume of space. End use applications of real-time computers span a spectrum that includes transportation systems, robotics and manufacturing, aerospace and defense, industrial process control, and telecommunications.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Foundations of Real-Time Computing: Formal Specifications and Methods

Formal Specifications and Methods

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták