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

$153.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$153.00
See Site In stock Visit Store

Similar Products

Machine Learning and Systems Engineering

$219.99

On Raising a Digital Human

$44.99

MicroRNA and Cancer

$84.99

Predictive Intelligence fr Manager

$59.99

Financial Counseling

$59.99

Jungen Pdagogik

$39.99

Utilization of Geospatial Information in Daily Life

$149.00

Reactive Oxygen Species

$199.99

Molecular Logic and Computational Synthetic Biology

$39.99

Erkenntnisse und Erfahrungen zur forstlichen Bodenbenutzung der Entwicklungslnder am Beispiel von

$59.99

Geospatial Services and Applications for the Internet

$109.99

Advanced Research in Naval Engineering

$54.99

Deposition, Diagenesis and Weathering of Organic Matter-Rich Sediments

$39.99

Philipp Lenard: Erinnerungen eines Naturforschers

$79.99

Geometric Product Specification and Verification: Integration of Functionality

$169.99

Fields of Logic and Computation III

$54.99

From Curve Fitting to Machine Learning

$109.99

Computational and Methodological Statistics and Biostatistics

$169.99

Proceedings of the 1st Vietnam Symposium on Advances in Offshore Engineering

$219.99

Glaukom 2008

$14.99

Fhrung von Vielfalt

$44.99

Approaches to Study Living Foraminifera

$84.99

Work-Life Interface

$109.99

13th Street: The Fire-Breathing Ferret Fiasco

$4.46

Primary Productivity of the Biosphere

$109.99

My Thoughts on Biological Evolution

$119.99

Psychiatrische Genetik

$64.99

Analysis as a Life

$129.99

Cultural Ontology of the Self in Pain

$54.99

Recent Advances in Stem Cells

$129.00

Grundlagen der Datenverarbeitung

$59.99

Counsellor Competencies

$54.99

Wirtschaftsinformatik als Mittler zwischen Technik, konomie und Gesellschaft

$69.95

Earth Sciences and Archaeology

$84.99

Quantitative Entscheidungsunterlagen auf der Grundlage von Szenarien

$59.99

Vernderung kognitiver Prozesse in Psychoanalysen

$84.99

Smart Technologies for Smart Nations

$84.99

Adaptive Structural Systems with Piezoelectric Transducer Circuitry

$129.00

Hypertext und Hypermedia 1992

$69.99

Pattern Recognition

$139.99