Search dblp for Publications

export results for "toc:db/journals/rts/rts10.bht:"

 download as .bib file

@article{DBLP:journals/rts/AndreP96,
  author       = {Charles Andr{\'{e}} and
                  Marie{-}Agn{\`{e}}s Peraldi},
  title        = {Predictability of a RTX2000-based Implementation},
  journal      = {Real Time Syst.},
  volume       = {10},
  number       = {3},
  pages        = {223--244},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00383386},
  doi          = {10.1007/BF00383386},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/AndreP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/ArmstrongB96,
  author       = {James Armstrong and
                  Leonor Barroca},
  title        = {Specification and Verification of Reactive System Behaviour: The Railroad
                  Crossing Example},
  journal      = {Real Time Syst.},
  volume       = {10},
  number       = {2},
  pages        = {143--178},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00360339},
  doi          = {10.1007/BF00360339},
  timestamp    = {Thu, 13 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rts/ArmstrongB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/AttouiS96,
  author       = {Ammar Attoui and
                  Michel Schneider},
  title        = {A Formal Approach to the Specification and the Behavior Validation
                  of Real-Time Systems Based on Rewriting Logic},
  journal      = {Real Time Syst.},
  volume       = {10},
  number       = {1},
  pages        = {5--22},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00357881},
  doi          = {10.1007/BF00357881},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/AttouiS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/BaldoniMR96,
  author       = {Roberto Baldoni and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Causal Delivery of Messages with Real-Time Data in Unreliable Networks},
  journal      = {Real Time Syst.},
  volume       = {10},
  number       = {3},
  pages        = {245--262},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00383387},
  doi          = {10.1007/BF00383387},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/BaldoniMR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/ChatterjeeS96,
  author       = {Saurav Chatterjee and
                  Jay K. Strosnider},
  title        = {Quantitative Analysis of Hardware Support for Real-Time Operating
                  Systems},
  journal      = {Real Time Syst.},
  volume       = {10},
  number       = {2},
  pages        = {123--142},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00360338},
  doi          = {10.1007/BF00360338},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/ChatterjeeS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/ChenM96,
  author       = {Ken Chen and
                  Paul M{\"{u}}hlethaler},
  title        = {A Scheduling Algorithm for Tasks Described by Time Value Function},
  journal      = {Real Time Syst.},
  volume       = {10},
  number       = {3},
  pages        = {293--312},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00383389},
  doi          = {10.1007/BF00383389},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/ChenM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/Delacroix96,
  author       = {J. Delacroix},
  title        = {Towards a Stable Earliest Deadline Scheduling Algorithm},
  journal      = {Real Time Syst.},
  volume       = {10},
  number       = {3},
  pages        = {263--291},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00383388},
  doi          = {10.1007/BF00383388},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/Delacroix96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/MalcolmKZ96,
  author       = {Nicholas Malcolm and
                  Sanjay Kamat and
                  Wei Zhao},
  title        = {Real-Time Communication in {FDDI} Networks},
  journal      = {Real Time Syst.},
  volume       = {10},
  number       = {1},
  pages        = {75--107},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00357884},
  doi          = {10.1007/BF00357884},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/MalcolmKZ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/SpuriB96,
  author       = {Marco Spuri and
                  Giorgio C. Buttazzo},
  title        = {Scheduling Aperiodic Tasks in Dynamic Priority Systems},
  journal      = {Real Time Syst.},
  volume       = {10},
  number       = {2},
  pages        = {179--210},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00360340},
  doi          = {10.1007/BF00360340},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/SpuriB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/TiaLS96,
  author       = {Too{-}Seng Tia and
                  Jane W.{-}S. Liu and
                  Mallikarjun Shankar},
  title        = {Algorithms and Optimality of Scheduling Soft Aperiodic Requests in
                  Fixed-Priority Preemptive Systems},
  journal      = {Real Time Syst.},
  volume       = {10},
  number       = {1},
  pages        = {23--43},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00357882},
  doi          = {10.1007/BF00357882},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/TiaLS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/Verissimo96,
  author       = {Paulo Ver{\'{\i}}ssimo},
  title        = {Causal Delivery Protocols in Real-time Systems: {A} Generic Model},
  journal      = {Real Time Syst.},
  volume       = {10},
  number       = {1},
  pages        = {45--73},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00357883},
  doi          = {10.1007/BF00357883},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/Verissimo96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.