Published in: LIPIcs, Volume 264, 38th Computational Complexity Conference (CCC 2023)
Ben Davis and Robert Robere. Colourful TFNP and Propositional Proofs. In 38th Computational Complexity Conference (CCC 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 264, pp. 36:1-36:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{davis_et_al:LIPIcs.CCC.2023.36, author = {Davis, Ben and Robere, Robert}, title = {{Colourful TFNP and Propositional Proofs}}, booktitle = {38th Computational Complexity Conference (CCC 2023)}, pages = {36:1--36:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-282-2}, ISSN = {1868-8969}, year = {2023}, volume = {264}, editor = {Ta-Shma, Amnon}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2023.36}, URN = {urn:nbn:de:0030-drops-183066}, doi = {10.4230/LIPIcs.CCC.2023.36}, annote = {Keywords: oracle separations, TFNP, proof complexity, Res(k), lower bounds} }
Published in: LIPIcs, Volume 196, 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021)
Robert I. Davis, David Griffin, and Iain Bate. Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity. In 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 196, pp. 7:1-7:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{davis_et_al:LIPIcs.ECRTS.2021.7, author = {Davis, Robert I. and Griffin, David and Bate, Iain}, title = {{Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity}}, booktitle = {33rd Euromicro Conference on Real-Time Systems (ECRTS 2021)}, pages = {7:1--7:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-192-4}, ISSN = {1868-8969}, year = {2021}, volume = {196}, editor = {Brandenburg, Bj\"{o}rn B.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2021.7}, URN = {urn:nbn:de:0030-drops-139388}, doi = {10.4230/LIPIcs.ECRTS.2021.7}, annote = {Keywords: real-time, multi-core, scheduling, schedulability analysis, cross-core contention, resource stress, resource sensitivity} }
Published in: LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1
Robert I. Davis and Liliana Cucu-Grosjean. A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems. In LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1, pp. 03:1-03:60, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{davis_et_al:LITES-v006-i001-a003, author = {Davis, Robert I. and Cucu-Grosjean, Liliana}, title = {{A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {03:1--03:60}, ISSN = {2199-2002}, year = {2019}, volume = {6}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a003}, doi = {10.4230/LITES-v006-i001-a003}, annote = {Keywords: Probabilistic, real-time, timing analysis} }
Published in: LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1
Robert I. Davis and Liliana Cucu-Grosjean. A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems. In LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1, pp. 04:1-04:53, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{davis_et_al:LITES-v006-i001-a004, author = {Davis, Robert I. and Cucu-Grosjean, Liliana}, title = {{A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {04:1--04:53}, ISSN = {2199-2002}, year = {2019}, volume = {6}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a004}, doi = {10.4230/LITES-v006-i001-a004}, annote = {Keywords: Probabilistic, real-time, schedulability analysis, scheduling, } }
Published in: LIPIcs, Volume 106, 30th Euromicro Conference on Real-Time Systems (ECRTS 2018)
Robert I. Davis, Iain Bate, Guillem Bernat, Ian Broster, Alan Burns, Antoine Colin, Stuart Hutchesson, and Nigel Tracey. Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies. In 30th Euromicro Conference on Real-Time Systems (ECRTS 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 106, pp. 7:1-7:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{davis_et_al:LIPIcs.ECRTS.2018.7, author = {Davis, Robert I. and Bate, Iain and Bernat, Guillem and Broster, Ian and Burns, Alan and Colin, Antoine and Hutchesson, Stuart and Tracey, Nigel}, title = {{Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies}}, booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)}, pages = {7:1--7:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-075-0}, ISSN = {1868-8969}, year = {2018}, volume = {106}, editor = {Altmeyer, Sebastian}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.7}, URN = {urn:nbn:de:0030-drops-89955}, doi = {10.4230/LIPIcs.ECRTS.2018.7}, annote = {Keywords: real-time systems, industrial impact, automotive, avionics} }
Published in: Dagstuhl Reports, Volume 7, Issue 3 (2017)
Liliana Cucu-Grosjean, Robert Davis, Sanjoy K. Baruah, and Zoë Stephenson. Mixed Criticality on Multicore / Manycore Platforms (Dagstuhl Seminar 17131). In Dagstuhl Reports, Volume 7, Issue 3, pp. 70-98, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Article{cucugrosjean_et_al:DagRep.7.3.70, author = {Cucu-Grosjean, Liliana and Davis, Robert and Baruah, Sanjoy K. and Stephenson, Zo\"{e}}, title = {{Mixed Criticality on Multicore / Manycore Platforms (Dagstuhl Seminar 17131)}}, pages = {70--98}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {3}, editor = {Cucu-Grosjean, Liliana and Davis, Robert and Baruah, Sanjoy K. and Stephenson, Zo\"{e}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.7.3.70}, URN = {urn:nbn:de:0030-drops-73622}, doi = {10.4230/DagRep.7.3.70}, annote = {Keywords: mixed-criticality multicore manycore real-time-systems} }
Published in: LIPIcs, Volume 76, 29th Euromicro Conference on Real-Time Systems (ECRTS 2017)
Jian-Jia Chen, Georg von der Brüggen, Wen-Hung Huang, and Robert I. Davis. On the Pitfalls of Resource Augmentation Factors and Utilization Bounds in Real-Time Scheduling. In 29th Euromicro Conference on Real-Time Systems (ECRTS 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 76, pp. 9:1-9:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{chen_et_al:LIPIcs.ECRTS.2017.9, author = {Chen, Jian-Jia and von der Br\"{u}ggen, Georg and Huang, Wen-Hung and Davis, Robert I.}, title = {{On the Pitfalls of Resource Augmentation Factors and Utilization Bounds in Real-Time Scheduling}}, booktitle = {29th Euromicro Conference on Real-Time Systems (ECRTS 2017)}, pages = {9:1--9:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-037-8}, ISSN = {1868-8969}, year = {2017}, volume = {76}, editor = {Bertogna, Marko}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2017.9}, URN = {urn:nbn:de:0030-drops-71619}, doi = {10.4230/LIPIcs.ECRTS.2017.9}, annote = {Keywords: Real-time systems, speedup factors, utilization bounds, capacity augmentation bounds} }
Published in: LITES, Volume 1, Issue 1 (2014). Leibniz Transactions on Embedded Systems, Volume 1, Issue 1
Will Lunniss, Sebastian Altmeyer, and Robert I. Davis. A Comparison between Fixed Priority and EDF Scheduling accounting for Cache Related Pre-emption Delays. In LITES, Volume 1, Issue 1 (2014). Leibniz Transactions on Embedded Systems, Volume 1, Issue 1, pp. 01:1-01:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@Article{lunniss_et_al:LITES-v001-i001-a001, author = {Lunniss, Will and Altmeyer, Sebastian and Davis, Robert I.}, title = {{A Comparison between Fixed Priority and EDF Scheduling accounting for Cache Related Pre-emption Delays}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {01:1--01:24}, ISSN = {2199-2002}, year = {2014}, volume = {1}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LITES-v001-i001-a001}, doi = {10.4230/LITES-v001-i001-a001}, annote = {Keywords: Real-time systems, Fixed priority, EDF, Pre-emptive scheduling, Cache related pre-emption delays} }
Feedback for Dagstuhl Publishing