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
Soggetto topico	Real-time data processing
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
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.
Record Nr.	UNISA-996204871503316

Pubbl/distr/stampa	Piscataway, New Jersey : , : IEEE, , 2013
Descrizione fisica	1 online resource
Disciplina	004.33
Soggetto topico	Online data processing
ISBN	1-4799-0664-6
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Altri titoli varianti	2013 IEEE 19th International On-Line Testing Symposium On-Line Testing Symposium
Record Nr.	UNISA-996279827203316

Pubbl/distr/stampa	Piscataway : , : IEEE, , 2013
Descrizione fisica	1 online resource
Disciplina	004.33
Soggetto topico	Real-time data processing
ISBN	1-4799-2006-1
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Altri titoli varianti	Real-Time Systems Symposium
Record Nr.	UNISA-996279986303316

Pubbl/distr/stampa	Piscataway, NJ : , : IEEE, , [2016]
Descrizione fisica	1 online resource (317 pages) : illustrations
Disciplina	004.33
Soggetto topico	Real-time data processing
ISBN	1-4673-8641-3
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Session 1: RTOS and Runtime Software -- Session 2: Work-in-Progress and Demos -- Session 3: Memory -- Session 4: Scheduling -- Session 5: Outstanding Papers -- Session 6: Dataflow and Stateflow Modelling -- Session 7: Networks and Communication -- Session 8: Timing Analysis and Memory.
Altri titoli varianti	2016 IEEE Real-Time and Embedded Technology and Applications Symposium
Record Nr.	UNISA-996279901703316