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 3642323324
Pages 424 pages
Rating 4/5 (24 users)

More Books:

Modeling Time in Computing
Language: en
Pages: 424
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
Modeling Time in Computing
Language: en
Pages: 424
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
High-Performance and Time-Predictable Embedded Computing
Language: en
Pages: 234
Authors: Pinho, Luis Miguel
Categories: Computers
Type: BOOK - Published: 2018-07-04 - Publisher: River Publishers

GET EBOOK

Nowadays, the prevalence of computing systems in our lives is so ubiquitous that we live in a cyber-physical world dominated by computer systems, from pacemaker
Applied Time Series Analysis and Innovative Computing
Language: en
Pages: 112
Authors: Sio-Iong Ao
Categories: Mathematics
Type: BOOK - Published: 2010-04-21 - Publisher: Springer Science & Business Media

GET EBOOK

Applied Time Series Analysis and Innovative Computing contains the applied time series analysis and innovative computing paradigms, with frontier application st
Neutrosophic soft sets forecasting model for multi-attribute time series
Language: en
Pages: 21
Authors: Hongjun Guan
Categories: Mathematics
Type: BOOK - Published: - Publisher: Infinite Study

GET EBOOK

Traditional time series forecasting models mainly assume a clear and definite functional relationship between historical values and current/future values of a d
Load Balance For Distributed Real-time Computing Systems
Language: en
Pages: 260
Authors: Junhua Fang
Categories: Computers
Type: BOOK - Published: 2020-05-19 - Publisher: World Scientific

GET EBOOK

This illustrative compendium analyzes the load balancing problem in distributed stream processing systems and explores a set of high-performance real-time proce
Space-Time Computing with Temporal Neural Networks
Language: en
Pages: 215
Authors: James E. Smith
Categories: Computers
Type: BOOK - Published: 2017-05-18 - Publisher: Morgan & Claypool Publishers

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 Systems
Language: en
Pages: 504
Authors: Dan Ionescu
Categories: Computers
Type: BOOK - Published: 2007-03-05 - Publisher: World Scientific

GET EBOOK

This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of real-time s
Foundations of Real-Time Computing: Scheduling and Resource Management
Language: en
Pages: 326
Authors: André M. van Tilborg
Categories: Computers
Type: BOOK - Published: 1991-07-31 - 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