Items where authors include "Davis, Robert Ian"

Export as [feed] Atom [feed] RSS
Number of items: 40.

Article

Baruah, Sanjoy, Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2023) Optimal Synthesis of Robust IDK Classifier Cascades. ACM Transactions in Embedded Computing Systems. 150. pp. 1-26. ISSN 1558-3465

Abdelzaher, Tarek F., Agrawa, Kunal, Baruah, Sanjoy et al. (4 more authors) (2023) Scheduling IDK classifiers with arbitrary dependences to minimize the expected time to successful classification. Real-Time Systems. ISSN 1573-1383

Baruah, Sanjoy, Burns, Alan orcid.org/0000-0001-5621-8816, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (1 more author) (2023) Optimally ordering IDK classifiers subject to deadlines. Real-Time Systems. ISSN 1573-1383

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Griffin, David Jack orcid.org/0000-0002-4077-0005 and Bate, Iain John orcid.org/0000-0003-2415-8219 (2022) A Framework for Multi-core Schedulability Analysis Accounting for Resource Stress and Sensitivity. Real-Time Systems. ISSN 1573-1383

Akesson, Benny, Nasri, Mitra, Nelissen, Geoffrey et al. (2 more authors) (2021) A Comprehensive Survey of Industry Practice in Real-time Systems. Real-Time Systems. ISSN 1573-1383

Burns, Alan orcid.org/0000-0001-5621-8816, Harbin, James Robert orcid.org/0000-0002-6479-8600, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (3 more authors) (2020) The AirTight Protocol for Mixed Criticality Wireless CPS. ACM Transactions on Cyber-Physical Systems. 19. ISSN 2378-9638

Maiza, Claire, Rihani, Hamza, Rivas, Juan et al. (3 more authors) (2019) A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems. ACM Comput. Surv.. ISSN 0360-0300

Davis, Robert Ian orcid.org/0000-0002-5772-0928 and Cucu-Grosjean, Liliana (2019) A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems. LITES: Leibniz Transactions on Embedded Systems. ISSN 2199-2002

Davis, Robert Ian orcid.org/0000-0002-5772-0928 and Cucu-Grosjean, Liliana (2019) A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems. LITES: Leibniz Transactions on Embedded Systems. pp. 1-60. ISSN 2199-2002

Burns, Alan orcid.org/0000-0001-5621-8816, Davis, Robert Ian orcid.org/0000-0002-5772-0928, Baruah, Sanjoy et al. (1 more author) (2018) Robust Mixed-Criticality Systems. IEEE Transactions on Computers. pp. 1478-1491. ISSN 0018-9340

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Altmeyer, Sebastian, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 et al. (3 more authors) (2018) An extensible framework for multicore response time analysis. Real-Time Systems. pp. 607-661. ISSN 1573-1383

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Altmeyer, Sebastian and Reineke, Jan (2018) Response-time analysis for fixed-priority systems with a write-back cache. Real-Time Systems. ISSN 1573-1383

Lesage, Benjamin Michael Jean-Rene, Griffin, David Jack orcid.org/0000-0002-4077-0005, Altmeyer, Sebastian et al. (2 more authors) (2018) On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs. Real-Time Systems. pp. 307-388. ISSN 1573-1383

Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2018) A Survey of Research into Mixed Criticality Systems. ACM Comput. Surv.. 82. ISSN 0360-0300

Feld, Timo, Biondi, Alessandro, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (2 more authors) (2017) A Survey of Schedulability Analysis Techniques for Rate-Dependent Tasks. Journal of Systems and Software. pp. 100-107. ISSN 0164-1212

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Thekkilakattil, Abhilash, Gettings, Oliver et al. (3 more authors) (2017) Exact Speedup Factors and Sub-Optimality for Non-Preemptive Scheduling. Real-Time Systems. pp. 1-39. ISSN 1573-1383

Bate, Iain John orcid.org/0000-0003-2415-8219, Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2017) An Enhanced Bailout Protocol for Mixed Criticality Embedded Software. IEEE Transactions on Software Engineering. 7516652. pp. 298-320. ISSN 0098-5589

Bril, Reinder, Altmeyer, Sebastian, van den Heuvel, Martijn et al. (2 more authors) (2017) Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: : integrated analysis and evaluation. Real-Time Systems. pp. 1-64. ISSN 1573-1383

Melani, Alessandra, Bertogna, Marko, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (3 more authors) (2016) Exact Response Time Analysis for Fixed Priority Memory-Processor Co-scheduling. IEEE Transactions on Computers. pp. 1-15. ISSN 0018-9340

von der Br�uggen, Georg, Chen, Jian-Jia, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (1 more author) (2016) Exact Speedup Factors for Linear-Time Schedulability Tests for Fixed-Priority Preemptive and Non-preemptive Scheduling. Information Processing Letters. pp. 1-5. ISSN 0020-0190

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Cucu-Grosjean, Liliana, Bertogna, Marko et al. (1 more author) (2016) A Review of Priority Assignment in Real-Time Systems. Journal of systems architecture. pp. 64-82. ISSN 1383-7621

Altmeyer, Sebastian, Douma, Roeland, Lunniss, William Richard Elgon et al. (1 more author) (2016) On the effectiveness of cache partitioning in hard real-time systems. Real-Time Systems. pp. 598-643. ISSN 1573-1383

Conference or Workshop Item

Griffin, David Jack orcid.org/0000-0002-4077-0005, Harbin, James Robert orcid.org/0000-0002-6479-8600, Burns, Alan orcid.org/0000-0001-5621-8816 et al. (3 more authors) (2019) Validating High Level Simulation Results against Experimental Data and Low Level Simulation : A Case Study. In: Real-Time Networks and Systems, 06-08 Nov 2019.

Harbin, James Robert orcid.org/0000-0002-6479-8600, Griffin, David Jack orcid.org/0000-0002-4077-0005, Burns, Alan orcid.org/0000-0001-5621-8816 et al. (3 more authors) (2018) Supporting Critical Modes in AirTight. In: Workshop on Mixed Criticality, 11 Dec 2018.

Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2017) Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines. In: 5th International Workshop on Mixed Criticality Systems (WMC 2017), 05 Dec 2017.

Proceedings Paper

Abdelzaher, Tarek F., Baruah, Sanjoy, Bate, Iain John orcid.org/0000-0003-2415-8219 et al. (3 more authors) (2023) Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty. In: RTNS '23: Proceedings of the 31st International Conference on Real-Time Networks and Systems. 31st International Conference on Real-Time Networks and Systems, 06-08 Jun 2023. ACM , pp. 143-154.

Bruggen, G. von der, Burns, Alan orcid.org/0000-0001-5621-8816, Chen, Jian-Jia et al. (2 more authors) (2022) On the Trade-offs between Generalization and Specialization in Real-Time Systems. In: 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 23-25 Aug 2022. .

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Burns, Alan orcid.org/0000-0001-5621-8816 and Bate, Iain orcid.org/0000-0003-2415-8219 (2022) Compensating Adaptive Mixed Criticality Scheduling. In: Abdeddaïm, Yasmina, Cucu-Grosjean, Liliana, Nelissen, Geoffrey and Pautet, Laurent, (eds.) RTNS 2022 - Proceedings of the 30th International Conference on Real-Time Networks and Systems. 30th International Conference on Real-Time Networks and Systems, RTNS 2022, 07-08 Jun 2022. ACM International Conference Proceeding Series . ACM , FRA , pp. 81-93.

Davis, Robert Ian orcid.org/0000-0002-5772-0928 and Bate, Iain orcid.org/0000-0003-2415-8219 (2022) Mixed Criticality on Multi-cores Accounting for Resource Stress and Resource Sensitivity. In: Abdeddaïm, Yasmina, Cucu-Grosjean, Liliana, Nelissen, Geoffrey and Pautet, Laurent, (eds.) RTNS 2022 - Proceedings of the 30th International Conference on Real-Time Networks and Systems. 30th International Conference on Real-Time Networks and Systems, RTNS 2022, 07-08 Jun 2022. ACM International Conference Proceeding Series . ACM , FRA , pp. 103-115.

Bate, Iain John orcid.org/0000-0003-2415-8219, Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2022) Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling. In: Proceedings 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS). 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS), 04-06 May 2022. , pp. 187-200.

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Griffin, David Jack orcid.org/0000-0002-4077-0005 and Bate, Iain John orcid.org/0000-0003-2415-8219 (2021) Schedulability Analysis for Multi-core Systems Accounting for Resource Stress and Sensitivity. In: 33rd Euromicro Conference on Real-Time Systems 2021 (proceedings). 33rd Euromicro Conference on Real-Time Systems 2021, 05-09 Jul 2021. ACM , 7:1-7:26. (In Press)

Akesson, Benny, Nasri, Mitra, Nelissen, Geoffrey et al. (2 more authors) (2020) An Empirical Survey-based Study into Industry Practice in Real-time Systems. In: 2020 IEEE Real-Time Systems Symposium (Proceedings). 2020 IEEE Real-Time Systems Symposium, 01-04 Dec 2020. .

Griffin, David Jack orcid.org/0000-0002-4077-0005, Bate, Iain John orcid.org/0000-0003-2415-8219 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2020) Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests. In: 2020 IEEE Real-Time Systems Symposium (proceedings). 2020 IEEE Real-Time Systems Symposium, 01-04 Dec 2020. .

Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2020) Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance. In: 2020 IEEE Real-Time Systems Symposium (Proceedings). 2020 IEEE Real-Time Systems Symposium, 01-04 Dec 2020. .

Dziurzanski, Piotr, Davis, Robert Ian orcid.org/0000-0002-5772-0928 and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2020) Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms : A Proof of Concept. In: Proceedings of the 40th IEEE Real-Time Systems Symposium. UNSPECIFIED. Real-Time Systems Symposium . , pp. 43-55.

Burns, Alan orcid.org/0000-0001-5621-8816, Harbin, James Robert orcid.org/0000-0002-6479-8600, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 et al. (3 more authors) (2018) AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems. In: IEEE Embedded and Real-Time Computing Systems and Applications:RTCSA. UNSPECIFIED. .

Pölzlbauer, Florian, Bate, Iain John orcid.org/0000-0003-2415-8219 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2017) Analysis and Optimization of Message Acceptance Filter Configurations for Controller Area Network (CAN). In: International Conference on Real-Time Networks and Systems. UNSPECIFIED. ACM , pp. 247-256.

Griffin, David Jack orcid.org/0000-0002-4077-0005, Lesage, Benjamin Michael Jean-Rene, Bate, Iain John orcid.org/0000-0003-2415-8219 et al. (2 more authors) (2017) Forecast-Based Interference : Modelling Multicore Interference from Observable Factors. In: International Conference on Real-Time Networks and Systems. UNSPECIFIED. ACM , pp. 198-207.

Maxim, Dorin, Davis, Robert Ian orcid.org/0000-0002-5772-0928, Cucu-Grosjean, Liliana et al. (1 more author) (2016) Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC. In: Proceedings Workshop on Mixed Criticality systems (WMC) 2016. UNSPECIFIED. .

Book

Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2022) Mixed Criticality Systems - A Review : (13th Edition, February 2022). , (97pp).

This list was generated on Sat Mar 23 13:06:49 2024 GMT.