Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Foundations of Real-Time Computing: Formal Specifications and Methods

Foundations of Real-Time Computing: Formal Specifications and Methods

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780792391678
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $169.99 - $169.99
BEST PRICE

Single Product Purchase

$169.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$169.99 $169.99

$169.99
See Site In stock Visit Store

Similar Products

Bioenergy for Sustainable Development in Africa

$129.00

Implementing Health Care Information Systems

$84.99

Management Ideas

$109.99

Perspektiven erziehungswissenschaftlicher Biographieforschung

$39.99

Invertebrate Biology

$54.99

Silizium-Halbleitertechnologie

$49.99

Exploring Memory Hierarchy Design with Emerging Memory Technologies

$109.99

Global Geodetic Observing System

$129.00

Brain Asymmetry and Neural Systems

$119.99

Quantum Theory: Informational Foundations and Foils

$159.99

Video Analytics for Audience Measurement

$44.99

Clusters of Atoms and Molecules II

$54.99

Baby Shark: Time for School, Baby Shark

$5.24

Das rot-grne Projekt

$44.99

Modern Problems in Insurance Mathematics

$129.00

High-Resolution Imaging of Cellular Proteins

$109.99

Mass Observation and Everyday Life

$54.99

Wie Kinder addieren und subtrahieren

$59.99

St James's Place Tax Guide 2010-2011

$56.00

Parallelrechnerstrukturen

$44.99

Perspektiven auf inklusive Bildung

$79.99

Die Bergwerksmaschinen. Eine Sammlung von Handbchern fr Betriebsbeamte

$59.99

Applied General Systems Research

$84.99

Entwicklung eines QFD-gesttzten Verfahrens zur Produktplanung und -entwicklung fr kleine und mittl

$84.99

E-Government

$59.99

Diemenschlichen Nahrungs- und Genussmittel, ihre Herstellung, Zusammensetzung und Beschaffenheit, ih

$49.99

Diversity and Inclusion in Latin American and Caribbean Workplaces

$109.99

Erfolgsfaktoren von Wertpapierbrsen im internationalen Wettbewerb

$59.99

Data Integration in the Life Sciences

$49.99

Gender and Authority across Disciplines, Space and Time

$84.99

Innovations in Bayesian Networks

$129.00

Certified Programs and Proofs

$54.99

Media Literacy and the Effect of Socialization

$129.99

Peasant and Community in Medieval England, 1200-1500

$109.99

Electromyography and Evoked Potentials

$84.99

Revolutions Other World

$84.99

Surgery for Gastric Cancer

$199.99

Health and Welfare of Captive Reptiles

$279.99

Methods of Nonlinear Analysis

$119.99

Forever Young?

$39.99