Real-Time and Embedded Computing Systems and Applications [[electronic resource] ] : 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers / / edited by Jing Chen, Seongsoo Hong |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XIV, 626 p.) |
Disciplina | 004/.33 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Architecture, Computer
Computer science Computer System Implementation Computer Science, general |
ISBN |
1-280-30744-7
9786610307449 3-540-24686-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Scheduling -- Scheduling-Aware Real-Time Garbage Collection Using Dual Aperiodic Servers -- On the Composition of Real-Time Schedulers -- An Approximation Algorithm for Broadcast Scheduling in Heterogeneous Clusters -- Scheduling Jobs with Multiple Feasible Intervals -- Deterministic and Statistical Deadline Guarantees for a Mixed Set of Periodic and Aperiodic Tasks -- Real-Time Disk Scheduling with On-Disk Cache Conscious -- Probabilistic Analysis of Multi-processor Scheduling of Tasks with Uncertain Parameters -- Real-Time Virtual Machines for Avionics Software Porting and Development -- Algorithms for Managing QoS for Real-Time Data Services Using Imprecise Computation -- Networking and Communication -- On Soft Real-Time Guarantees on Ethernet -- BondingPlus: Real-Time Message Channel in Linux Ethernet Environment Using Regular Switching Hub -- An Efficient Switch Design for Scheduling Real-Time Multicast Traffic -- Embedded Systems/Environments -- XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment -- Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines -- Framework-Based Development of Embedded Real-Time Systems -- OVL Assertion-Checking of Embedded Software with Dense-Time Semantics -- Pervasive/Ubiquitous Computing -- System Support for Distributed Augmented Reality in Ubiquitous Computing Environments -- Zero-Stop Authentication: Sensor-Based Real-Time Authentication System -- An Interface-Based Naming System for Ubiquitous Internet Applications -- Systems and Architectures -- Schedulability Analysis in EDF Scheduler with Cache Memories -- Impact of Operating System on Real-Time Main-Memory Database System’s Performance -- The Design of a QoS-Aware MPEG-4 Video System -- Resource Management -- Constrained Energy Allocation for Mixed Hard and Soft Real-Time Tasks -- An Energy-Efficient Route Maintenance Scheme for Ad Hoc Networking Systems -- Resource Reservation and Enforcement for Framebuffer-Based Devices -- File Systems and Databases -- An Efficient B-Tree Layer for Flash-Memory Storage Systems -- Multi-disk Scheduling for High-Performance RAID-0 Devices -- Database Pointers: A Predictable Way of Manipulating Hot Data in Hard Real-Time Systems -- Performance Analysis -- Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis -- Rigorous Modeling of Disk Performance for Real-Time Applications -- Bounding the Execution Times of DMA I/O Tasks on Hard-Real-Time Embedded Systems -- Tools and Development -- Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems -- RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology -- Software Platform for Embedded Software Development -- Towards Aspectual Component-Based Development of Real-Time Systems -- Testing of Multi-Tasking Real-Time Systems with Critical Sections -- Symbolic Simulation of Real-Time Concurrent Systems. |
Record Nr. | UNISA-996465396003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Real-Time and Embedded Computing Systems and Applications : 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers / / edited by Jing Chen, Seongsoo Hong |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XIV, 626 p.) |
Disciplina | 004/.33 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Architecture, Computer
Computer science Computer System Implementation Computer Science, general |
ISBN |
1-280-30744-7
9786610307449 3-540-24686-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Scheduling -- Scheduling-Aware Real-Time Garbage Collection Using Dual Aperiodic Servers -- On the Composition of Real-Time Schedulers -- An Approximation Algorithm for Broadcast Scheduling in Heterogeneous Clusters -- Scheduling Jobs with Multiple Feasible Intervals -- Deterministic and Statistical Deadline Guarantees for a Mixed Set of Periodic and Aperiodic Tasks -- Real-Time Disk Scheduling with On-Disk Cache Conscious -- Probabilistic Analysis of Multi-processor Scheduling of Tasks with Uncertain Parameters -- Real-Time Virtual Machines for Avionics Software Porting and Development -- Algorithms for Managing QoS for Real-Time Data Services Using Imprecise Computation -- Networking and Communication -- On Soft Real-Time Guarantees on Ethernet -- BondingPlus: Real-Time Message Channel in Linux Ethernet Environment Using Regular Switching Hub -- An Efficient Switch Design for Scheduling Real-Time Multicast Traffic -- Embedded Systems/Environments -- XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment -- Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines -- Framework-Based Development of Embedded Real-Time Systems -- OVL Assertion-Checking of Embedded Software with Dense-Time Semantics -- Pervasive/Ubiquitous Computing -- System Support for Distributed Augmented Reality in Ubiquitous Computing Environments -- Zero-Stop Authentication: Sensor-Based Real-Time Authentication System -- An Interface-Based Naming System for Ubiquitous Internet Applications -- Systems and Architectures -- Schedulability Analysis in EDF Scheduler with Cache Memories -- Impact of Operating System on Real-Time Main-Memory Database System’s Performance -- The Design of a QoS-Aware MPEG-4 Video System -- Resource Management -- Constrained Energy Allocation for Mixed Hard and Soft Real-Time Tasks -- An Energy-Efficient Route Maintenance Scheme for Ad Hoc Networking Systems -- Resource Reservation and Enforcement for Framebuffer-Based Devices -- File Systems and Databases -- An Efficient B-Tree Layer for Flash-Memory Storage Systems -- Multi-disk Scheduling for High-Performance RAID-0 Devices -- Database Pointers: A Predictable Way of Manipulating Hot Data in Hard Real-Time Systems -- Performance Analysis -- Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis -- Rigorous Modeling of Disk Performance for Real-Time Applications -- Bounding the Execution Times of DMA I/O Tasks on Hard-Real-Time Embedded Systems -- Tools and Development -- Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems -- RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology -- Software Platform for Embedded Software Development -- Towards Aspectual Component-Based Development of Real-Time Systems -- Testing of Multi-Tasking Real-Time Systems with Critical Sections -- Symbolic Simulation of Real-Time Concurrent Systems. |
Record Nr. | UNINA-9910768173403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|