Books > Computing & IT > Applications of computing > Databases
|
Buy Now
Foundations of Real-Time Computing: Formal Specifications and Methods (Hardcover, 1991 ed.)
Loot Price: R4,690
Discovery Miles 46 900
|
|
Foundations of Real-Time Computing: Formal Specifications and Methods (Hardcover, 1991 ed.)
Series: The Springer International Series in Engineering and Computer Science, 142
Expected to ship within 10 - 15 working days
|
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."
General
Imprint: |
Springer
|
Country of origin: |
Netherlands |
Series: |
The Springer International Series in Engineering and Computer Science, 142 |
Release date: |
August 1991 |
First published: |
1991 |
Editors: |
Andre M.Van Tilborg
• Gary M. Koob
|
Dimensions: |
235 x 155 x 19mm (L x W x T) |
Format: |
Hardcover
|
Pages: |
316 |
Edition: |
1991 ed. |
ISBN-13: |
978-0-7923-9167-8 |
Categories: |
Books >
Computing & IT >
Applications of computing >
Databases >
General
|
LSN: |
0-7923-9167-5 |
Barcode: |
9780792391678 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.