Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.5555/827270.829023guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

The Time-Triggered Model of Computation

Published: 02 December 1998 Publication History

Abstract

No abstract available.

Cited By

View all
  • (2015)Design and verification of multi-rate distributed systemsProceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2015.7340463(20-29)Online publication date: 1-Sep-2015
  • (2014)A framework for high-assurance quasi-synchronous systemsProceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2014.6961845(72-83)Online publication date: 1-Oct-2014
  • (2012)The low-power wireless busProceedings of the 11th international conference on Information Processing in Sensor Networks10.1145/2185677.2185693(93-94)Online publication date: 16-Apr-2012
  • Show More Cited By
  1. The Time-Triggered Model of Computation

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image Guide Proceedings
    RTSS '98: Proceedings of the IEEE Real-Time Systems Symposium
    December 1998
    ISBN:081869212X

    Publisher

    IEEE Computer Society

    United States

    Publication History

    Published: 02 December 1998

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 13 Nov 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2015)Design and verification of multi-rate distributed systemsProceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2015.7340463(20-29)Online publication date: 1-Sep-2015
    • (2014)A framework for high-assurance quasi-synchronous systemsProceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2014.6961845(72-83)Online publication date: 1-Oct-2014
    • (2012)The low-power wireless busProceedings of the 11th international conference on Information Processing in Sensor Networks10.1145/2185677.2185693(93-94)Online publication date: 16-Apr-2012
    • (2006)Two-dimensional priority scheduling scheme for open real-time systemsProceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV10.1007/11751632_58(529-538)Online publication date: 8-May-2006
    • (2005)Preventing interrupt overloadACM SIGPLAN Notices10.1145/1070891.106591840:7(50-58)Online publication date: 15-Jun-2005
    • (2005)Transparent distribution of real-time components based on logical execution timeACM SIGPLAN Notices10.1145/1070891.106591540:7(31-39)Online publication date: 15-Jun-2005
    • (2005)Preventing interrupt overloadProceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems10.1145/1065910.1065918(50-58)Online publication date: 15-Jun-2005
    • (2005)Transparent distribution of real-time components based on logical execution timeProceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems10.1145/1065910.1065915(31-39)Online publication date: 15-Jun-2005
    • (2002)Utilization Based Schedulability Bounds for Age Constraint Process Sets in Real-Time SystemsReal-Time Systems10.1023/A:102023201348723:3(273-295)Online publication date: 1-Nov-2002

    View Options

    View options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media