Search dblp for Publications

• > Home > Search

@article{DBLP:journals/rts/AalstO95,
  author       = {Wil M. P. van der Aalst and
                  Michiel A. Odijk},
  title        = {Analysis of Railway Stations by Means of Interval Timed Coloured Petri
                  Nets},
  journal      = {Real Time Syst.},
  volume       = {9},
  number       = {3},
  pages        = {241--263},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01088807},
  doi          = {10.1007/BF01088807},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/AalstO95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/AkazanM95,
  author       = {Justin N. Akazan and
                  Zoubir Mammeri},
  title        = {On Tasks Synchronization with the {MMS} Protocol},
  journal      = {Real Time Syst.},
  volume       = {9},
  number       = {3},
  pages        = {265--287},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01088808},
  doi          = {10.1007/BF01088808},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/AkazanM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/BertossiBM95,
  author       = {Alan A. Bertossi and
                  Massimo Bonometto and
                  Luigi V. Mancini},
  title        = {Increasing Processor Utilization in Hard-Real-Time Systems with Checkpoints},
  journal      = {Real Time Syst.},
  volume       = {9},
  number       = {1},
  pages        = {5--29},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01094171},
  doi          = {10.1007/BF01094171},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/BertossiBM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/GhazalieB95,
  author       = {T. M. Ghazalie and
                  Theodore P. Baker},
  title        = {Aperiodic Servers in a Deadline Scheduling Environment},
  journal      = {Real Time Syst.},
  volume       = {9},
  number       = {1},
  pages        = {31--67},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01094172},
  doi          = {10.1007/BF01094172},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/GhazalieB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/HassapisP95,
  author       = {George Hassapis and
                  John Papadopoulos},
  title        = {Support Software for the Development of Programmable Logic Controller
                  Applications},
  journal      = {Real Time Syst.},
  volume       = {9},
  number       = {2},
  pages        = {173--193},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01088856},
  doi          = {10.1007/BF01088856},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/HassapisP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/OhS95,
  author       = {Yingfeng Oh and
                  Sang Hyuk Son},
  title        = {Allocating Fixed-Priority Periodic Tasks on Multiprocessor Systems},
  journal      = {Real Time Syst.},
  volume       = {9},
  number       = {3},
  pages        = {207--239},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01088806},
  doi          = {10.1007/BF01088806},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/OhS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/ShinH95,
  author       = {Kang G. Shin and
                  Chao{-}Ju Hou},
  title        = {Analytic Evaluation of Contention Protocols Used in Distributed Real-Time
                  Systems},
  journal      = {Real Time Syst.},
  volume       = {9},
  number       = {1},
  pages        = {69--107},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01094173},
  doi          = {10.1007/BF01094173},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/ShinH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/ThawonmasCS95,
  author       = {Ruck Thawonmas and
                  Goutam Chakraborty and
                  Norio Shiratori},
  title        = {Fast Heuristic Scheduling Based on Neural Networks for Real-Time Systems},
  journal      = {Real Time Syst.},
  volume       = {9},
  number       = {3},
  pages        = {289--304},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01088809},
  doi          = {10.1007/BF01088809},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rts/ThawonmasCS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/TindellBW95,
  author       = {Ken Tindell and
                  Alan Burns and
                  Andy J. Wellings},
  title        = {Analysis of Hard Real-Time Communications},
  journal      = {Real Time Syst.},
  volume       = {9},
  number       = {2},
  pages        = {147--171},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01088855},
  doi          = {10.1007/BF01088855},
  timestamp    = {Thu, 17 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rts/TindellBW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/ZhouH95,
  author       = {Ping Zhou and
                  Jozef Hooman},
  title        = {Formal Specification and Compositional Verification of an Atomic Broadcast
                  Protocol},
  journal      = {Real Time Syst.},
  volume       = {9},
  number       = {2},
  pages        = {119--145},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01088854},
  doi          = {10.1007/BF01088854},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/ZhouH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}