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.
Real time programming [[electronic resource] ] : languages, specification and verification / / R.K. Shyamasundar, S. Ramesh
| Real time programming [[electronic resource] ] : languages, specification and verification / / R.K. Shyamasundar, S. Ramesh |
| Autore | Shyamasundar Rudrapatna <1950-> |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ ; ; London, : World Scientific, c2010 |
| Descrizione fisica | 1 online resource (264 p.) |
| Disciplina | 004/.33 |
| Altri autori (Persone) | RameshS (Sethu) |
| Soggetto topico | Real-time programming |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-282-76027-0
9786612760273 981-281-402-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; Preface; Organization of the Monograph; Dependence of the chapters; Acknowledgement; PART I: Real Time Systems - Background; Summary; 1 Real Time System Characteristics; 1.1 Real-time and Reactive Programs; 2 Formal Program Development Methodologies; 2.1 Requirement Specification; 2.1.1 An Example; 2.2 System Specifications; 3 Characteristics of Real-Time Languages; 3.1 Modelling Features of Real-Time Languages; 3.2 A Look at Classes of Real-Time Languages; 4 Programming Characteristics of Reactive Systems; 4.1 Execution of Reactive Programs; 4.2 Perfect Synchrony Hypothesis
4.3 Multiform Notion of Time4.4 Logical Concurrency and Broadcast Communication; 4.5 Determinism and Causality; PART II: Synchronous Languages; Summary; 5 Esterel Language: Structure; 5.1 Top Level Structure; 5.1.1 Signals and Events; 5.1.2 Module Instantiation; 5.2 Esterel Statements; 5.2.1 Data Handling Statements; 5.2.2 Reactive Statements; 5.2.3 Derived Statements; 5.3 Illustrations of Esterel Program Behaviour; 5.4 Causality Problems; 5.5 A Historical Perspective; 6 Program Development in Esterel; 6.1 A Simulation Environment; 6.2 Verification Environment 7 Programming Controllers in Esterel7.1 Auto Controllers; 7.1.1 A Very Simple Auto Controller; 7.1.2 A Complex Controller; 7.1.3 A Cruise Controller; 7.1.4 A Train Controller; 7.1.5 A Mine Pump Controller; 8 Asynchronous Interaction in Esterel; 9 Futurebus Arbitration Protocol: A Case Study; 9.1 Arbitration Process; 9.2 Abstraction of the Protocol; 9.3 Solution in Esterel; 10 Semantics of Esterel; 10.1 Semantic Structure; 10.2 Transition Rules; 10.2.1 Rules for Signal Statement; 10.3 Illustrative Examples; 10.4 Discussions; 10.5 Semantics of Esterel with exec PART III: Other Synchronous LanguagesSummary; 11 Synchronous Language Lustre; 11.1 An Overview of Lustre; 11.2 Flows and Streams; 11.3 Equations, Variables and Expressions; 11.4 Program Structure; 11.4.1 Illustrative Example; 11.5 Arrays in Lustre; 11.6 Further Examples; 11.6.1 A Very Simple Auto Controller; 11.6.2 A Complex Controller; 11.6.3 A Cruise Controller; 11.6.4 A Train Controller; 11.6.5 A Mine Pump Controller; 12 Modelling Time-Triggered Protocol (TTP) in Lustre; 12.1 Time-Triggered Protocol; 12.1.1 Clock Synchronization; 12.1.2 Bus Guardian .; 12.2 Modelling TTP in Lustre 13 Synchronous Language Argos13.1 Argos Constructs; 13.2 Illustrative Example; 13.3 Discussions; PART IV: Verification of Synchronous Programs; Summary; 14 Verification of Esterel Programs; 14.1 Transition System Based Veri cationy of Esterel Programs; 14.1.1 Detailed Discussion; 14.2 Esterel Transition System; 14.2.1 Abstraction and Hiding; 14.2.2 Observation Equivalence Reduction; 14.2.3 Context Filtering; 14.3 Temporal Logic Based Verification; 14.4 Observer-based Verification; 14.5 First Order Logic Based Verification; 15 Observer Based Verification of Simple Lustre Programs 15.1 A Simple Auto Controller |
| Record Nr. | UNINA-9910455578903321 |
Shyamasundar Rudrapatna <1950->
|
||
| Singapore ; ; Hackensack, NJ ; ; London, : World Scientific, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Real time programming [[electronic resource] ] : languages, specification and verification / / R.K. Shyamasundar, S. Ramesh
| Real time programming [[electronic resource] ] : languages, specification and verification / / R.K. Shyamasundar, S. Ramesh |
| Autore | Shyamasundar Rudrapatna <1950-> |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ ; ; London, : World Scientific, c2010 |
| Descrizione fisica | 1 online resource (264 p.) |
| Disciplina | 004/.33 |
| Altri autori (Persone) | RameshS (Sethu) |
| Soggetto topico | Real-time programming |
| ISBN |
1-282-76027-0
9786612760273 981-281-402-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; Preface; Organization of the Monograph; Dependence of the chapters; Acknowledgement; PART I: Real Time Systems - Background; Summary; 1 Real Time System Characteristics; 1.1 Real-time and Reactive Programs; 2 Formal Program Development Methodologies; 2.1 Requirement Specification; 2.1.1 An Example; 2.2 System Specifications; 3 Characteristics of Real-Time Languages; 3.1 Modelling Features of Real-Time Languages; 3.2 A Look at Classes of Real-Time Languages; 4 Programming Characteristics of Reactive Systems; 4.1 Execution of Reactive Programs; 4.2 Perfect Synchrony Hypothesis
4.3 Multiform Notion of Time4.4 Logical Concurrency and Broadcast Communication; 4.5 Determinism and Causality; PART II: Synchronous Languages; Summary; 5 Esterel Language: Structure; 5.1 Top Level Structure; 5.1.1 Signals and Events; 5.1.2 Module Instantiation; 5.2 Esterel Statements; 5.2.1 Data Handling Statements; 5.2.2 Reactive Statements; 5.2.3 Derived Statements; 5.3 Illustrations of Esterel Program Behaviour; 5.4 Causality Problems; 5.5 A Historical Perspective; 6 Program Development in Esterel; 6.1 A Simulation Environment; 6.2 Verification Environment 7 Programming Controllers in Esterel7.1 Auto Controllers; 7.1.1 A Very Simple Auto Controller; 7.1.2 A Complex Controller; 7.1.3 A Cruise Controller; 7.1.4 A Train Controller; 7.1.5 A Mine Pump Controller; 8 Asynchronous Interaction in Esterel; 9 Futurebus Arbitration Protocol: A Case Study; 9.1 Arbitration Process; 9.2 Abstraction of the Protocol; 9.3 Solution in Esterel; 10 Semantics of Esterel; 10.1 Semantic Structure; 10.2 Transition Rules; 10.2.1 Rules for Signal Statement; 10.3 Illustrative Examples; 10.4 Discussions; 10.5 Semantics of Esterel with exec PART III: Other Synchronous LanguagesSummary; 11 Synchronous Language Lustre; 11.1 An Overview of Lustre; 11.2 Flows and Streams; 11.3 Equations, Variables and Expressions; 11.4 Program Structure; 11.4.1 Illustrative Example; 11.5 Arrays in Lustre; 11.6 Further Examples; 11.6.1 A Very Simple Auto Controller; 11.6.2 A Complex Controller; 11.6.3 A Cruise Controller; 11.6.4 A Train Controller; 11.6.5 A Mine Pump Controller; 12 Modelling Time-Triggered Protocol (TTP) in Lustre; 12.1 Time-Triggered Protocol; 12.1.1 Clock Synchronization; 12.1.2 Bus Guardian .; 12.2 Modelling TTP in Lustre 13 Synchronous Language Argos13.1 Argos Constructs; 13.2 Illustrative Example; 13.3 Discussions; PART IV: Verification of Synchronous Programs; Summary; 14 Verification of Esterel Programs; 14.1 Transition System Based Veri cationy of Esterel Programs; 14.1.1 Detailed Discussion; 14.2 Esterel Transition System; 14.2.1 Abstraction and Hiding; 14.2.2 Observation Equivalence Reduction; 14.2.3 Context Filtering; 14.3 Temporal Logic Based Verification; 14.4 Observer-based Verification; 14.5 First Order Logic Based Verification; 15 Observer Based Verification of Simple Lustre Programs 15.1 A Simple Auto Controller |
| Record Nr. | UNINA-9910780895703321 |
|
Shyamasundar Rudrapatna <1950->
|
||
| Singapore ; ; Hackensack, NJ ; ; London, : World Scientific, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Real time programming [[electronic resource] ] : languages, specification and verification / / R.K. Shyamasundar, S. Ramesh
| Real time programming [[electronic resource] ] : languages, specification and verification / / R.K. Shyamasundar, S. Ramesh |
| Autore | Shyamasundar Rudrapatna <1950-> |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ ; ; London, : World Scientific, c2010 |
| Descrizione fisica | 1 online resource (264 p.) |
| Disciplina | 004/.33 |
| Altri autori (Persone) | RameshS (Sethu) |
| Soggetto topico | Real-time programming |
| ISBN |
1-282-76027-0
9786612760273 981-281-402-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; Preface; Organization of the Monograph; Dependence of the chapters; Acknowledgement; PART I: Real Time Systems - Background; Summary; 1 Real Time System Characteristics; 1.1 Real-time and Reactive Programs; 2 Formal Program Development Methodologies; 2.1 Requirement Specification; 2.1.1 An Example; 2.2 System Specifications; 3 Characteristics of Real-Time Languages; 3.1 Modelling Features of Real-Time Languages; 3.2 A Look at Classes of Real-Time Languages; 4 Programming Characteristics of Reactive Systems; 4.1 Execution of Reactive Programs; 4.2 Perfect Synchrony Hypothesis
4.3 Multiform Notion of Time4.4 Logical Concurrency and Broadcast Communication; 4.5 Determinism and Causality; PART II: Synchronous Languages; Summary; 5 Esterel Language: Structure; 5.1 Top Level Structure; 5.1.1 Signals and Events; 5.1.2 Module Instantiation; 5.2 Esterel Statements; 5.2.1 Data Handling Statements; 5.2.2 Reactive Statements; 5.2.3 Derived Statements; 5.3 Illustrations of Esterel Program Behaviour; 5.4 Causality Problems; 5.5 A Historical Perspective; 6 Program Development in Esterel; 6.1 A Simulation Environment; 6.2 Verification Environment 7 Programming Controllers in Esterel7.1 Auto Controllers; 7.1.1 A Very Simple Auto Controller; 7.1.2 A Complex Controller; 7.1.3 A Cruise Controller; 7.1.4 A Train Controller; 7.1.5 A Mine Pump Controller; 8 Asynchronous Interaction in Esterel; 9 Futurebus Arbitration Protocol: A Case Study; 9.1 Arbitration Process; 9.2 Abstraction of the Protocol; 9.3 Solution in Esterel; 10 Semantics of Esterel; 10.1 Semantic Structure; 10.2 Transition Rules; 10.2.1 Rules for Signal Statement; 10.3 Illustrative Examples; 10.4 Discussions; 10.5 Semantics of Esterel with exec PART III: Other Synchronous LanguagesSummary; 11 Synchronous Language Lustre; 11.1 An Overview of Lustre; 11.2 Flows and Streams; 11.3 Equations, Variables and Expressions; 11.4 Program Structure; 11.4.1 Illustrative Example; 11.5 Arrays in Lustre; 11.6 Further Examples; 11.6.1 A Very Simple Auto Controller; 11.6.2 A Complex Controller; 11.6.3 A Cruise Controller; 11.6.4 A Train Controller; 11.6.5 A Mine Pump Controller; 12 Modelling Time-Triggered Protocol (TTP) in Lustre; 12.1 Time-Triggered Protocol; 12.1.1 Clock Synchronization; 12.1.2 Bus Guardian .; 12.2 Modelling TTP in Lustre 13 Synchronous Language Argos13.1 Argos Constructs; 13.2 Illustrative Example; 13.3 Discussions; PART IV: Verification of Synchronous Programs; Summary; 14 Verification of Esterel Programs; 14.1 Transition System Based Veri cationy of Esterel Programs; 14.1.1 Detailed Discussion; 14.2 Esterel Transition System; 14.2.1 Abstraction and Hiding; 14.2.2 Observation Equivalence Reduction; 14.2.3 Context Filtering; 14.3 Temporal Logic Based Verification; 14.4 Observer-based Verification; 14.5 First Order Logic Based Verification; 15 Observer Based Verification of Simple Lustre Programs 15.1 A Simple Auto Controller |
| Record Nr. | UNINA-9910826613903321 |
|
Shyamasundar Rudrapatna <1950->
|
||
| Singapore ; ; Hackensack, NJ ; ; London, : World Scientific, c2010 | ||
| 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 | ||
| ||
Real-Time Applications, 1993 Workshop
| Real-Time Applications, 1993 Workshop |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1993 |
| Disciplina | 004/.33 |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996206161703316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Real-Time Applications: Proceedings of the 2nd IEEE Workshop on Real-Time Applications, 1994, Washington, D. C
| Real-Time Applications: Proceedings of the 2nd IEEE Workshop on Real-Time Applications, 1994, Washington, D. C |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1994 |
| Disciplina | 004/.33 |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996198228203316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Real-Time Computing Systems and Applications (rtcsa '98), 5th International Workshop on
| Real-Time Computing Systems and Applications (rtcsa '98), 5th International Workshop on |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1998 |
| Disciplina | 004/.33 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996211374303316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Real-Time Computing Systems and Applications: Proceedings of the 6th International Conference, Hong Kong, China, 1999
| Real-Time Computing Systems and Applications: Proceedings of the 6th International Conference, Hong Kong, China, 1999 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1999 |
| Disciplina | 004/.33 |
| Soggetto topico |
Real-time data processing - Congresses
Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996201987603316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Real-time database systems [[electronic resource] ] : architecture and techniques / / edited by Kam-Yiu Lam, Tei-Wei Kuo
| Real-time database systems [[electronic resource] ] : architecture and techniques / / edited by Kam-Yiu Lam, Tei-Wei Kuo |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Boston, : Kluwer Academic, 2001 |
| Descrizione fisica | 1 online resource (310 p.) |
| Disciplina | 004/.33 |
| Altri autori (Persone) |
LamKam-Yiu <1964->
KuoTei-Wei |
| Collana | The Kluwer international series in engineering and computer science |
| Soggetto topico |
Database design
Real-time data processing |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-20562-8
9786610205622 0-306-46988-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Overview, Misconceptions, and Issues -- Real-time Database Systems: An Overview of System Characteristics and Issues -- Misconceptions About Real-time Databases -- Applications and System Characteristics -- Real-Time Concurrency Control -- Conservative and Optimistic Protocols -- Semantics-based Concurrency Control -- Real-time Index Concurrency Control -- Run-Time System Management -- Buffer Management in Real-time Active Database Systems -- Disk Scheduling -- System Failure and Recovery -- Overload Management in RTDBs -- Secure Real-time Transaction Processing -- Active Issues and Triggering -- System Framework of ARTDBs -- Reactive Mechanisms -- Updates and View Maintenance -- Distributed Real-Time Database Systems -- Distributed Concurrency Control -- Data Replication and Availability -- Real-time Commit Processing -- Mobile Distributed Real-time Database Systems -- Prototypes and Future Directions -- Prototypes: Programmed Stock Trading -- Future Directions. |
| Record Nr. | UNINA-9910454833303321 |
| Boston, : Kluwer Academic, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
