Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006): 16-18 August 2006/Sydney, Australia
| 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006): 16-18 August 2006/Sydney, Australia |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2006 |
| Descrizione fisica | 1 online resource |
| Disciplina | 004.33 |
| Soggetto topico |
Real-time data processing
Real-time data processing - Management |
| ISBN |
9781509098026
150909802X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - Cover -- 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - Title -- 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - Copyright -- 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - TOC -- Foreward -- Conference organization -- Reviewers -- Rate Monotonic Schedulability Conditions Using Relative Period Ratios -- Characterization and Analysis of Tasks with Offsets: Monotonic Transactions -- Probabilistic Timing Join over Uncertain Event Streams -- A Software Infrastructure for Wearable Sensor Networks -- objSampler: A Ubiquitous Logging Tool for Recording Encounters with Real World Objects. |
| Record Nr. | UNINA-9910145634603321 |
| [Place of publication not identified], : IEEE Computer Society Press, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
14th Euromicro Conference on Real-Time Systems (ECRTS 2002)
| 14th Euromicro Conference on Real-Time Systems (ECRTS 2002) |
| Pubbl/distr/stampa | [Place of publication not identified], : I E E E Imprint, 2002 |
| Descrizione fisica | 1 online resource |
| Disciplina | 004.33 |
| Soggetto topico | Real-time data processing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872752903321 |
| [Place of publication not identified], : I E E E Imprint, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
17th IEEE Real-Time Systems Symposium
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
17th IEEE Real-Time Systems Symposium
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2010 13th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
| 2010 13th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2010 |
| Descrizione fisica | 1 online resource |
| Disciplina | 004.33 |
| Soggetto topico | Real-time data processing |
| ISBN |
9780769540375
0769540376 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910139097803321 |
| [Place of publication not identified], : IEEE, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2010 17th Real-Time Conference
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2010 17th Real-Time Conference
| 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 |
9781424471102
1424471109 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910141146703321 |
| [Place of publication not identified], : IEEE, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2010 22nd Euromicro Conference on Real-Time Systems
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2010 22nd Euromicro Conference on Real-Time Systems
| 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 |
9781424475452
1424475457 |
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2011 23rd Euromicro Conference on Real-Time Systems
| 2011 23rd Euromicro Conference on Real-Time Systems |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2011 |
| Descrizione fisica | 1 online resource |
| Disciplina | 004.33 |
| Soggetto topico | Real-time programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910141091503321 |
| [Place of publication not identified], : IEEE, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
