Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/rts/rts7.bht:"
@article{DBLP:journals/rts/BertossiM94, author = {Alan A. Bertossi and Luigi V. Mancini}, title = {Scheduling Algorithms for Fault-Tolerance in Hard-Real-Time Systems}, journal = {Real Time Syst.}, volume = {7}, number = {3}, pages = {229--245}, year = {1994}, url = {https://doi.org/10.1007/BF01088520}, doi = {10.1007/BF01088520}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rts/BertossiM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rts/HarmonBW94, author = {Marion G. Harmon and Theodore P. Baker and David B. Whalley}, title = {A Retargetable Technique for Predicting Execution Time of Code Segments}, journal = {Real Time Syst.}, volume = {7}, number = {2}, pages = {159--182}, year = {1994}, url = {https://doi.org/10.1007/BF01088803}, doi = {10.1007/BF01088803}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rts/HarmonBW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rts/JahanianRR94, author = {Farnam Jahanian and Ragunathan Rajkumar and Sitaram C. V. Raju}, title = {Runtime Monitoring of Timing Constraints in Distributed Real-Time Systems}, journal = {Real Time Syst.}, volume = {7}, number = {3}, pages = {247--273}, year = {1994}, url = {https://doi.org/10.1007/BF01088521}, doi = {10.1007/BF01088521}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rts/JahanianRR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rts/KakudaKK94, author = {Yoshiaki Kakuda and Tohru Kikuno and Kenichi Kawashima}, title = {Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines}, journal = {Real Time Syst.}, volume = {7}, number = {3}, pages = {275--289}, year = {1994}, url = {https://doi.org/10.1007/BF01088522}, doi = {10.1007/BF01088522}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rts/KakudaKK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rts/MarloweSMW94, author = {Thomas J. Marlowe and Alexander D. Stoyenko and Stephen P. Masticola and Lonnie R. Welch}, title = {Schedulability-Analyzable Exception Handling for Fault-Tolerant Real-Time Languages}, journal = {Real Time Syst.}, volume = {7}, number = {2}, pages = {183--212}, year = {1994}, url = {https://doi.org/10.1007/BF01088804}, doi = {10.1007/BF01088804}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rts/MarloweSMW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rts/OhS94, author = {Yingfeng Oh and Sang Hyuk Son}, title = {Enhancing Fault-Tolerance in Rate-Monotonic Scheduling}, journal = {Real Time Syst.}, volume = {7}, number = {3}, pages = {315--329}, year = {1994}, url = {https://doi.org/10.1007/BF01088524}, doi = {10.1007/BF01088524}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rts/OhS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rts/SathayeS94, author = {Shirish S. Sathaye and Jay K. Strosnider}, title = {Conventional and Early Token Release Scheduling Models for the {IEEE} 802.5 Taken Ring}, journal = {Real Time Syst.}, volume = {7}, number = {1}, pages = {5--32}, year = {1994}, url = {https://doi.org/10.1007/BF01088620}, doi = {10.1007/BF01088620}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rts/SathayeS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rts/Schepers94, author = {Henk Schepers}, title = {Compositional Reasoning about Responsive Systems with Limited Resources}, journal = {Real Time Syst.}, volume = {7}, number = {3}, pages = {291--313}, year = {1994}, url = {https://doi.org/10.1007/BF01088523}, doi = {10.1007/BF01088523}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rts/Schepers94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rts/Schmid94, author = {Ulrich Schmid}, title = {Monitoring Distributed Real-Times}, journal = {Real Time Syst.}, volume = {7}, number = {1}, pages = {33--56}, year = {1994}, url = {https://doi.org/10.1007/BF01088621}, doi = {10.1007/BF01088621}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rts/Schmid94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rts/Schutz94, author = {Werner Sch{\"{u}}tz}, title = {Fundamental Issues in Testing Distributed Real-Time Systems}, journal = {Real Time Syst.}, volume = {7}, number = {2}, pages = {129--157}, year = {1994}, url = {https://doi.org/10.1007/BF01088802}, doi = {10.1007/BF01088802}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rts/Schutz94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rts/Verissimo94, author = {Paulo Ver{\'{\i}}ssimo}, title = {Ordering and Timeliness Requirements of Dependable Real-Time Programs}, journal = {Real Time Syst.}, volume = {7}, number = {2}, pages = {105--128}, year = {1994}, url = {https://doi.org/10.1007/BF01088801}, doi = {10.1007/BF01088801}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rts/Verissimo94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rts/WeddeKH94, author = {Horst F. Wedde and Bogdan Korel and Dorota M. Huizinga}, title = {Formal Timing Analysis for Distributed Real-Time Programs}, journal = {Real Time Syst.}, volume = {7}, number = {1}, pages = {57--90}, year = {1994}, url = {https://doi.org/10.1007/BF01088622}, doi = {10.1007/BF01088622}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rts/WeddeKH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.