Info
Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems
| Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems |
| Autore | Hong Seongsoo |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2001 |
| Descrizione fisica | 1 online resource (250 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Electrical & Computer Engineering
Engineering & Applied Sciences Electrical Engineering |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Languages, Compilers and Tools for Embedded Systems
LCTES '01 Workshop on Languages, Compilers and Tools for Embedded Systems 2001 ( co-located with PLDI 2001 ), Snowbird - June 22 - 23, 2001 |
| Record Nr. | UNINA-9910376228903321 |
Hong Seongsoo
|
||
| [Place of publication not identified], : ACM, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||