17th IEEE Real-Time Systems Symposium

• Record Nr.: UNISA996204871503316
• Pubbl/distr/stampa: [Place of publication not identified], : IEEE Computer Society Press, 1997
• Descrizione fisica: 1 online resource (x, 321 pages) : illustrations
• Disciplina: 004.33
• Soggetti: Real-time data processing
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: Foreword -- Committees -- Reviewers -- Session 1: Scheduling I -- Bounding Completion Times of Jobs with Arbitrary Release Times and Variable Execution Times -- On Task Schedulability in Real-Time Control System -- A Multiframe Model for Real-Time Tasks -- Session 2 Experimental Systems and Applications -- Middleware for Distributed Industrial Real-Time Systems on ATM Networks -- Analysing APEX Applications -- Operating System Extensions for Dynamic Real-Time Applications -- Session 3: Formal Methods -- Approximate Reachability Analysis of Timed Automata -- Correctness of Vehicle Control Systems -A Case Study -- Reducing the number of clock variables of timed automata -- Predictability of Real-Time Systems: A Process-Algebraic Approach -- Session 4: Synchronization -- A Framework for Implementing Objects and Scheduling Tasks in Lock-Free Real-Time Systems -- Optimizing a FIFO, Scalable Spin Lock Using Consistent Memory -- Work in Progress -- Session S: Invited Talks on System Requirements -- Session 6: Model and Tools -- The MSP.RTL Real-Time Scheduler Synthesis Tool -- Tool Support for the Construction of Statically Analysable Hard Real-Time Ada Systems -- High Availability in The Real-Time Publisher/Subscriber Inter-Process Communication Model -- Session 7: Communications -- Structuring Communication Software for Quality-of-Service Guarantees -- Multirate Scheduling for Guaranteed and Predictive Services in ATM Network -- Message Transmission with Timing Constraints in Ring Networks -- On Supporting Time-Constrained Communications in ; WDMA-based Star-Coupled Optical Networks -- Session 8: Scheduling II -- Real-Time Queueing Theory -- An Optimal Pinwheel Scheduler Using the Single-Number Reduction Techniqu -- Integrated Scheduling of Multimedia and Hard Real-Time Tasks -- EEE Real-Time Systems TC meeting -- Session 9 Databases -- Commit Processing in Distributed Real-Time Database Systems -- Value-cognizant Admission Control for RTDB Systems -- Scheduling Transactions with Temporal Constraints: Exploiting Data Semantics -- Session 10 Timing Analysis -- Cache Modeling for Real-Time Software: Beyond Direct Mapped Instruction Caches -- Analysis of Cache-related Preemption Delay in Fixed-priority Preemptive Schedulin -- A Method for Bounding the Effect of DMA U0 Interference on Program Execution Time -- Session 11: Resource Allocation and System Implementation -- A Proportional Share Resource Allocation Algorithm for Real-Time, Time-shared Systems -- Visual Assessment of a Real-Time Systems Design: A Case Study on a CNC Controller -- Optimizing Interprocess Communication for Embedded Real-Time Systems -- Author Index.
• Sommario/riassunto: Encompassing both computer-science and engineering aspects of real-time systems the 31 papers cover scheduling, experimental systems and applications, formal methods, synchronization, models and tools, communications, databases, timing analysis, resource allocation, and system implementation. Among the specific topics are optimizing interprocess communications for embedded systems, analyzing cache-related pre-emption delay in fixed-priority preemptive scheduling, exploiting data semantics to schedule transactions with temporal constraints, queuing theory, message transmission with timing constraints in ring networks, and approximate reachability analysis of times automata. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.

An introduction to discrete-valued time series / / Christian Weiss

• Record Nr.: UNINA9910270888103321
• Autore: Weiss Christian H. <1977->
• Pubbl/distr/stampa: Hoboken, New Jersey : , : Wiley, , 2018; ©2018
• ISBN: 1-119-09698-7; 1-119-09701-0
• Edizione: [1st edition]
• Descrizione fisica: 1 online resource (1 volume) : illustrations
• Disciplina: 519.5/5
• Soggetti: Time-series analysis; Discrete-time systems - Mathematical models
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: A first approach for modeling time series of counts : the thinning-based INAR (1) model -- Further thinning-based models for count time series -- INGARCH models for count time series -- Further models for count time series -- Analyzing categorical time series -- Models for categorical time series -- Control charts for count processes -- Control charts for categorical processes.
• Sommario/riassunto: A much-needed introduction to the field of discrete-valued time series, with a focus on count-data time series Time series analysis is an essential tool in a wide array of fields, including business, economics, computer science, epidemiology, finance, manufacturing and meteorology, to name just a few. Despite growing interest in discrete-valued time series—especially those arising from counting specific objects or events at specified times—most books on time series give short shrift to that increasingly important subject area. This book seeks to rectify that state of affairs by providing a much needed introduction to discrete-valued time series, with particular focus on count-data time series. The main focus of this book is on modeling. Throughout numerous examples are provided illustrating models currently used in discrete-valued time series applications. Statistical process control, including various control charts (such as cumulative sum control charts), and performance evaluation are treated at length. Classic ; approaches like ARMA models and the Box-Jenkins program are also featured with the basics of these approaches summarized in an Appendix. In addition, data examples, with all relevant R code, are available on a companion website. Provides a balanced presentation of theory and practice, exploring both categorical and integer-valued series Covers common models for time series of counts as well as for categorical time series, and works out their most important stochastic properties Addresses statistical approaches for analyzing discrete-valued time series and illustrates their implementation with numerous data examples Covers classical approaches such as ARMA models, Box-Jenkins program and how to generate functions Includes dataset examples with all necessary R code provided on a companion website An Introduction to Discrete-Valued Time Series is a valuable working resource for researchers and practitioners in a broad range of fields, including statistics, data science, machine learning, and engineering. It will also be of interest to postgraduate students in statistics, mathematics and economics.