Items related to Foundations of Real-Time Computing: Formal Specifications...
Foundations of Real-Time Computing: Formal Specifications and Methods (The Springer International Series in Engineering and Computer Science, 142) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Foundations of Real-Time Computing: Formal Specifications...
Stock Image
Foundations of Real-Time Computing : Formal Specifications and Methods
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. 1991st Edition. Ships from the UK. Used book that is in clean, average condition without any missing pages. Seller Inventory # 15785951-20
Quantity: 1 available
Stock Image
Foundations Of Real-time Computing:: Formal Specifications And Methods (the International Series In Engineering And Computer Science) (hardcover)
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-156745
Quantity: 1 available
Stock Image
Foundations Of Real-time Computing:: Formal Specifications And Methods (the International Series In Engineering And Computer Science) (hardcover)
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Excellent Customer Service. Seller Inventory # ABEOCT25-118539
Quantity: 1 available
Seller Image
Foundations of Real-Time Computing : Formal Specifications and Methods
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 7814469-n
Quantity: 15 available
Stock Image
Foundations of Real-Time Computing: Formal Specifications and Methods (The Springer International Series in Engineering and Computer Science, 142)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190185693
Quantity: Over 20 available
Stock Image
Foundations of Real-Time Computing
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. 332. Seller Inventory # 263098785
Quantity: 1 available
Stock Image
Foundations of Real-Time Computing
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: Used. pp. 332 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 5830526
Quantity: 1 available
Stock Image
Foundations of Real-Time Computing: Formal Specifications and Methods (The Springer International Series in Engineering and Computer Science, 142)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780792391678
Quantity: Over 20 available
Stock Image
Foundations of Real-Time Computing: Formal Specifications and Methods (Hardcover)
Published by
Kluwer Academic Publishers, Dordrecht, 1991
ISBN 10: 0792391675
ISBN 13: 9780792391678
New
Hardcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780792391678
Quantity: 1 available
Seller Image
Foundations of Real-Time Computing : Formal Specifications and Methods
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 7814469
Quantity: 15 available