Foundations of Real-Time Computing: Formal Specifications and Methods

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

Formal Specifications and Methods

Autor: André M. van Tilborg, Gary M. Koob

Jazyk:

Väzba: Pevná

Vydavateľ: Springer

Dostupnosť: Skladom u dodávateľa v malom množstve

Odosielame za 13-18 dní

162.44 €

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

Informácie o knihe

Autor

André M. van Tilborg, Gary M. Koob

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

1991

Stránok

316

EAN

9780792391678

ISBN

0792391675

Enbook ID

01398080

Vydavateľ

Springer

Hmotnosť

1420

Rozmery

155 x 235 x 19

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Foundations of Real-Time Computing: Formal Specifications and Methods

Formal Specifications and Methods

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež