Modeling Time in Computing

Modeling Time in Computing

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common “ancestors”; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and “dual-language approaches” combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.

Download Now
Author
Publisher Springer Science & Business Media
Release Date
ISBN 3642323316
Pages 430 pages
Rating 4/5 (17 users)

More Books:

Modeling Time in Computing
Language: en
Pages: 430
Authors: Carlo A. Furia
Categories: Computers
Type: BOOK - Published: 2012-10-19 - Publisher: Springer Science & Business Media

GET EBOOK

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the
Handbook of Real-Time Computing
Language: en
Pages: 1511
Authors: Yu-Chu Tian
Categories: Technology & Engineering
Type: BOOK - Published: 2022-08-08 - Publisher: Springer Nature

GET EBOOK

The aim of this handbook is to summarize the recent rapidly developed real-time computing technologies, from theories to applications. This handbook benefits th
Real-Time and Embedded Computing Systems and Applications
Language: en
Pages: 620
Authors: Jing Chen
Categories: Computers
Type: BOOK - Published: 2004-05-21 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Real-Time and Embedded Systems and Applications, RTCSA 200
Space-Time Computing with Temporal Neural Networks
Language: en
Pages: 220
Authors: James E. Smith
Categories: Technology & Engineering
Type: BOOK - Published: 2022-05-31 - Publisher: Springer Nature

GET EBOOK

Understanding and implementing the brain's computational paradigm is the one true grand challenge facing computer researchers. Not only are the brain's computat
Real Time Computing
Language: en
Pages: 766
Authors: Alexander D. Stoyenko
Categories: Computers
Type: BOOK - Published: 2013-12-14 - Publisher: Springer Science & Business Media

GET EBOOK

NATO's Division of Scientific and Environmental Affairs sponsored this Advan ced Study Institute because it was felt to be timely to cover this important and ch
Foundations of Real-Time Computing: Scheduling and Resource Management
Language: en
Pages: 326
Authors: André M. van Tilborg
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains a selection of papers that focus on the state-of the-art in real-time scheduling and resource management. Preliminary versions of these pap
Modeling and Simulation of Computer Networks and Systems
Language: en
Pages: 964
Authors: Mohammad S. Obaidat
Categories: Computers
Type: BOOK - Published: 2015-04-21 - Publisher: Morgan Kaufmann

GET EBOOK

Modeling and Simulation of Computer Networks and Systems: Methodologies and Applications introduces you to a broad array of modeling and simulation issues relat
Tutorial Hard Real-time Systems
Language: en
Pages: 632
Authors: John A. Stankovic
Categories: Computer programming
Type: BOOK - Published: 1988 - Publisher:

GET EBOOK

Modeling and Simulation in HPC and Cloud Systems
Language: en
Pages: 155
Authors: Joanna Kołodziej
Categories: Technology & Engineering
Type: BOOK - Published: 2018-01-30 - Publisher: Springer

GET EBOOK

This book consists of eight chapters, five of which provide a summary of the tutorials and workshops organised as part of the cHiPSet Summer School: High-Perfor
First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)
Language: en
Pages: 510
Authors:
Categories: Technology & Engineering
Type: BOOK - Published: 1998 - Publisher:

GET EBOOK