Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/rts/AshjaeiKMBSAN17,
  author       = {Mohammad Ashjaei and
                  Nima Khalilzad and
                  Saad Mubeen and
                  Moris Behnam and
                  Ingo Sander and
                  Lu{\'{\i}}s Almeida and
                  Thomas Nolte},
  title        = {Designing end-to-end resource reservations in predictable distributed
                  embedded systems},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {6},
  pages        = {916--956},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9283-6},
  doi          = {10.1007/S11241-017-9283-6},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/AshjaeiKMBSAN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/AshjaeiPBNAB17,
  author       = {Mohammad Ashjaei and
                  Gaetano Patti and
                  Moris Behnam and
                  Thomas Nolte and
                  Giuliana Alderisi and
                  Lucia Lo Bello},
  title        = {Schedulability analysis of Ethernet Audio Video Bridging networks
                  with scheduled traffic support},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {4},
  pages        = {526--577},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9268-5},
  doi          = {10.1007/S11241-017-9268-5},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/AshjaeiPBNAB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BouyerMPS17,
  author       = {Patricia Bouyer and
                  Nicolas Markey and
                  Nicolas Perrin and
                  Philipp Schlehuber{-}Caissier},
  title        = {Timed-automata abstraction of switched dynamical systems using control
                  invariants},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {3},
  pages        = {327--353},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-016-9262-3},
  doi          = {10.1007/S11241-016-9262-3},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/BouyerMPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BrilAHDB17,
  author       = {Reinder J. Bril and
                  Sebastian Altmeyer and
                  Martijn M. H. P. van den Heuvel and
                  Robert I. Davis and
                  Moris Behnam},
  title        = {Fixed priority scheduling with pre-emption thresholds and cache-related
                  pre-emption delays: integrated analysis and evaluation},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {4},
  pages        = {403--466},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-016-9266-z},
  doi          = {10.1007/S11241-016-9266-Z},
  timestamp    = {Tue, 30 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/BrilAHDB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Davis17,
  author       = {Robert I. Davis},
  title        = {Guest editorial: special issue on mixed-criticality, multi-core, and
                  micro-kernels},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {5},
  pages        = {669--672},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9288-1},
  doi          = {10.1007/S11241-017-9288-1},
  timestamp    = {Tue, 30 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/Davis17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/GiannopoulouHAB17,
  author       = {Georgia Giannopoulou and
                  Pengcheng Huang and
                  Rehan Ahmed and
                  Davide B. Bartolini and
                  Lothar Thiele},
  title        = {Isolation scheduling on multicores: model and scheduling approaches},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {4},
  pages        = {614--667},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9277-4},
  doi          = {10.1007/S11241-017-9277-4},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/GiannopoulouHAB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/KangC17,
  author       = {Woochul Kang and
                  Jaeyong Chung},
  title        = {Energy-efficient response time management for embedded databases},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {2},
  pages        = {228--253},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-016-9264-1},
  doi          = {10.1007/S11241-016-9264-1},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/KangC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/KimWCAS17,
  author       = {Namhoon Kim and
                  Bryan C. Ward and
                  Micaiah Chisholm and
                  James H. Anderson and
                  F. Donelson Smith},
  title        = {Attacking the one-out-of-m multicore problem by combining hardware
                  management with mixed-criticality provisioning},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {5},
  pages        = {709--759},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9272-9},
  doi          = {10.1007/S11241-017-9272-9},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/KimWCAS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LeeTL17,
  author       = {Chang{-}Gun Lee and
                  Eduardo Tovar and
                  Chenyang Lu},
  title        = {Guest editorial: special issue on embedded and real-time computing
                  systems and applications},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {6},
  pages        = {855--856},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9292-5},
  doi          = {10.1007/S11241-017-9292-5},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/LeeTL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LiFAAGL17,
  author       = {Jing Li and
                  David Ferry and
                  Shaurya Ahuja and
                  Kunal Agrawal and
                  Christopher D. Gill and
                  Chenyang Lu},
  title        = {Mixed-criticality federated scheduling for parallel real-time tasks},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {5},
  pages        = {760--811},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9281-8},
  doi          = {10.1007/S11241-017-9281-8},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/LiFAAGL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LiG17,
  author       = {Xiaoting Li and
                  Laurent George},
  title        = {Deterministic delay analysis of {AVB} switched Ethernet networks using
                  an extended Trajectory Approach},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {1},
  pages        = {121--186},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-016-9260-5},
  doi          = {10.1007/S11241-016-9260-5},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rts/LiG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LiuBBN17,
  author       = {Meng Liu and
                  Matthias Becker and
                  Moris Behnam and
                  Thomas Nolte},
  title        = {Using non-preemptive regions and path modification to improve schedulability
                  of real-time traffic over priority-based NoCs},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {6},
  pages        = {886--915},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9276-5},
  doi          = {10.1007/S11241-017-9276-5},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/LiuBBN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LorberRNA17,
  author       = {Florian Lorber and
                  Amnon Rosenmann and
                  Dejan Nickovic and
                  Bernhard K. Aichernig},
  title        = {Bounded determinization of timed automata with silent transitions},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {3},
  pages        = {291--326},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9271-x},
  doi          = {10.1007/S11241-017-9271-X},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/LorberRNA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/MaggioLB17,
  author       = {Martina Maggio and
                  Juri Lelli and
                  Enrico Bini},
  title        = {rt-muse: measuring real-time characteristics of execution platforms},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {6},
  pages        = {857--885},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9284-5},
  doi          = {10.1007/S11241-017-9284-5},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/MaggioLB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/MelaniMCCT17,
  author       = {Alessandra Melani and
                  Renato Mancuso and
                  Daniel Cullina and
                  Marco Caccamo and
                  Lothar Thiele},
  title        = {Optimizing resource speed for two-stage real-time tasks},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {1},
  pages        = {82--120},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-016-9259-y},
  doi          = {10.1007/S11241-016-9259-Y},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/MelaniMCCT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/NikolicP17,
  author       = {Borislav Nikolic and
                  Lu{\'{\i}}s Miguel Pinho},
  title        = {Optimal minimal routing and priority assignment for priority-preemptive
                  real-time NoCs},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {4},
  pages        = {578--612},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9273-8},
  doi          = {10.1007/S11241-017-9273-8},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/NikolicP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/NikolicP17a,
  author       = {Borislav Nikolic and
                  Lu{\'{\i}}s Miguel Pinho},
  title        = {Erratum to: Optimal minimal routing and priority assignment for priority-preemptive
                  real-time NoCs},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {4},
  pages        = {613},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9278-3},
  doi          = {10.1007/S11241-017-9278-3},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/NikolicP17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Norman0Z17,
  author       = {Gethin Norman and
                  David Parker and
                  Xueyi Zou},
  title        = {Verification and control of partially observable probabilistic systems},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {3},
  pages        = {354--402},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9269-4},
  doi          = {10.1007/S11241-017-9269-4},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/Norman0Z17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/PaolieriSV17,
  author       = {Marco Paolieri and
                  Sriram Sankaranarayanan and
                  Enrico Vicario},
  title        = {Guest Editorial: Special issue on formal modeling and analysis of
                  timed systems},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {3},
  pages        = {289--290},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9274-7},
  doi          = {10.1007/S11241-017-9274-7},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/PaolieriSV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Pathan17,
  author       = {Risat Mahmud Pathan},
  title        = {Real-time scheduling algorithm for safety-critical systems on faulty
                  multicore environments},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {1},
  pages        = {45--81},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-016-9258-z},
  doi          = {10.1007/S11241-016-9258-Z},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/Pathan17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/PengF17,
  author       = {Bo Peng and
                  Nathan Fisher},
  title        = {Parameter adaptation for generalized multiframe tasks: schedulability
                  analysis, case study, and applications to self-suspending tasks},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {6},
  pages        = {957--986},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9279-2},
  doi          = {10.1007/S11241-017-9279-2},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/PengF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Safaei17,
  author       = {Ali A. Safaei},
  title        = {Real-time processing of streaming big data},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {1},
  pages        = {1--44},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-016-9257-0},
  doi          = {10.1007/S11241-016-9257-0},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/Safaei17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/SewellKH17,
  author       = {Thomas Sewell and
                  Felix Kam and
                  Gernot Heiser},
  title        = {High-assurance timing analysis for a high-assurance real-time operating
                  system},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {5},
  pages        = {812--853},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9286-3},
  doi          = {10.1007/S11241-017-9286-3},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/SewellKH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/ShiZ17,
  author       = {Zhenwu Shi and
                  Fumin Zhang},
  title        = {Model predictive control under timing constraints induced by controller
                  area networks},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {2},
  pages        = {196--227},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-016-9263-2},
  doi          = {10.1007/S11241-016-9263-2},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/ShiZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/ValsanYF17,
  author       = {Prathap Kumar Valsan and
                  Heechul Yun and
                  Farzad Farshchi},
  title        = {Addressing isolation challenges of non-blocking caches for multicore
                  real-time systems},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {5},
  pages        = {673--708},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9280-9},
  doi          = {10.1007/S11241-017-9280-9},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/ValsanYF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/YangCH17,
  author       = {Maolin Yang and
                  Jian{-}Jia Chen and
                  Wen{-}Hung Huang},
  title        = {A misconception in blocking time analyses under multiprocessor synchronization
                  protocols},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {2},
  pages        = {187--195},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-016-9261-4},
  doi          = {10.1007/S11241-016-9261-4},
  timestamp    = {Tue, 24 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/YangCH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/ZhaoPLCX17,
  author       = {Luxi Zhao and
                  Paul Pop and
                  Qiao Li and
                  Junyan Chen and
                  Huagang Xiong},
  title        = {Timing analysis of rate-constrained traffic in TTEthernet using network
                  calculus},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {2},
  pages        = {254--287},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-016-9265-0},
  doi          = {10.1007/S11241-016-9265-0},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rts/ZhaoPLCX17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/ZhaoZ17,
  author       = {Yecheng Zhao and
                  Haibo Zeng},
  title        = {An efficient schedulability analysis for optimizing systems with adaptive
                  mixed-criticality scheduling},
  journal      = {Real Time Syst.},
  volume       = {53},
  number       = {4},
  pages        = {467--525},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11241-017-9267-6},
  doi          = {10.1007/S11241-017-9267-6},
  timestamp    = {Thu, 13 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/ZhaoZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics