17th IEEE Real-Time Systems Symposium |
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 |
[Place of publication not identified], : IEEE Computer Society Press, 1997 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
17th IEEE Real-Time Systems Symposium |
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. | UNINA-9910872873503321 |
[Place of publication not identified], : IEEE Computer Society Press, 1997 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
2010 17th Real-Time Conference |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2010 |
Descrizione fisica | 1 online resource : illustrations |
Disciplina | 004.33 |
Soggetto topico |
Real-time data processing
Nuclear physics - Data processing |
ISBN | 1-4244-7110-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996205209003316 |
[Place of publication not identified], : IEEE, 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2010 17th Real-Time Conference |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2010 |
Descrizione fisica | 1 online resource : illustrations |
Disciplina | 004.33 |
Soggetto topico |
Real-time data processing
Nuclear physics - Data processing |
ISBN | 1-4244-7110-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910141146703321 |
[Place of publication not identified], : IEEE, 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
2010 22nd Euromicro Conference on Real-Time Systems |
Pubbl/distr/stampa | [Place of publication not identified], : I E E E, 2010 |
Descrizione fisica | 1 online resource |
Disciplina | 004.33 |
Soggetto topico | Real-time data processing |
ISBN | 1-4244-7545-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996200698803316 |
[Place of publication not identified], : I E E E, 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2010 22nd Euromicro Conference on Real-Time Systems |
Pubbl/distr/stampa | [Place of publication not identified], : I E E E, 2010 |
Descrizione fisica | 1 online resource |
Disciplina | 004.33 |
Soggetto topico | Real-time data processing |
ISBN | 1-4244-7545-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910140796503321 |
[Place of publication not identified], : I E E E, 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
2013 IEEE 19th International On-Line Testing Symposium (IOLTS) / / Institute of Electrical and Electronics Engineers |
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 |
Piscataway, New Jersey : , : IEEE, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2013 IEEE 19th International On-Line Testing Symposium (IOLTS) / / Institute of Electrical and Electronics Engineers |
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. | UNINA-9910132386903321 |
Piscataway, New Jersey : , : IEEE, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
2013 IEEE 34th Real-Time Systems Symposium / / Institute of Electrical and Electronics Engineers |
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 |
Piscataway : , : IEEE, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2013 IEEE 34th Real-Time Systems Symposium / / Institute of Electrical and Electronics Engineers |
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. | UNINA-9910132380103321 |
Piscataway : , : IEEE, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|