{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T19:59:46Z","timestamp":1775246386284,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,10]],"date-time":"2018-10-10T00:00:00Z","timestamp":1539129600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,10]]},"DOI":"10.1145\/3273905.3273917","type":"proceedings-article","created":{"date-parts":[[2018,10,9]],"date-time":"2018-10-09T08:14:26Z","timestamp":1539072866000},"page":"19-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems"],"prefix":"10.1145","author":[{"given":"Bader","family":"Alahmad","sequence":"first","affiliation":[{"name":"The University of British Columbia, Vancouver, BC"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sathish","family":"Gopalakrishnan","sequence":"additional","affiliation":[{"name":"The University of British Columbia, Vancouver, BC"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,10,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"N. Alon and J. H. Spencer. 2016. The Probabilistic Method (4th ed.). Wiley Publishing. N. Alon and J. H. Spencer. 2016. The Probabilistic Method (4th ed.). Wiley Publishing."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676781"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.31"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"D. Dubhashi and A. Panconesi. 2009. Concentration of Measure for the Analysis of Randomized Algorithms (1st ed.). Cambridge University Press New York NY USA. D. Dubhashi and A. Panconesi. 2009. Concentration of Measure for the Analysis of Randomized Algorithms (1st ed.). Cambridge University Press New York NY USA.","DOI":"10.1017\/CBO9780511581274"},{"key":"e_1_3_2_1_5_1","volume-title":"d.}. Safety Analysis and Certification of Embedded Systems","author":"Software Validation The Certus","unstructured":"The Certus Centre for Software Validation and Verification. {n. d.}. Safety Analysis and Certification of Embedded Systems . http:\/\/certus-sfi.no\/projects\/safety-certification\/ Accessed: 2018-05-28. The Certus Centre for Software Validation and Verification. {n. d.}. Safety Analysis and Certification of Embedded Systems. http:\/\/certus-sfi.no\/projects\/safety-certification\/ Accessed: 2018-05-28."},{"key":"e_1_3_2_1_6_1","first-page":"04","article-title":"Optimal Scheduling of Periodic Gang Tasks","volume":"3","author":"Goossens J.","year":"2016","unstructured":"J. Goossens and P. Richard . 2016 . Optimal Scheduling of Periodic Gang Tasks . Leibniz Transactions on Embedded Systems 3 , 1 (2016), 04 -- 01 --04:18. J. Goossens and P. Richard. 2016. Optimal Scheduling of Periodic Gang Tasks. Leibniz Transactions on Embedded Systems 3, 1 (2016), 04--1--04:18.","journal-title":"Leibniz Transactions on Embedded Systems"},{"key":"e_1_3_2_1_7_1","volume-title":"Probability Theory: A Comprehensive Course (2 ed.)","author":"Klenke A.","unstructured":"A. Klenke . 2014. Probability Theory: A Comprehensive Course (2 ed.) . Springer . A. Klenke. 2014. Probability Theory: A Comprehensive Course (2 ed.). Springer."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"R. Rajkumar C. Lee J. P. Lehoczky and D. Siewiorek. 1998. Practical solutions for QoS-based resource allocation. 296--306. R. Rajkumar C. Lee J. P. Lehoczky and D. Siewiorek. 1998. Practical solutions for QoS-based resource allocation. 296--306.","DOI":"10.1109\/REAL.1998.739755"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02579368"},{"key":"e_1_3_2_1_11_1","volume-title":"The large deviation approach to statistical mechanics. 478 (July","author":"Touchette H.","year":"2009","unstructured":"H. Touchette . 2009. The large deviation approach to statistical mechanics. 478 (July 2009 ), 1--69. arXiv:condmat.stat-mech\/0804.0327 H. Touchette. 2009. The large deviation approach to statistical mechanics. 478 (July 2009), 1--69. arXiv:condmat.stat-mech\/0804.0327"},{"key":"e_1_3_2_1_12_1","volume-title":"Probably Approximately Correct: Nature's Algorithms for Learning and Prospering in a Complex World","author":"Valiant L.","unstructured":"L. Valiant . 2013. Probably Approximately Correct: Nature's Algorithms for Learning and Prospering in a Complex World . Basic Books, Inc. , New York, NY, USA . L. Valiant. 2013. Probably Approximately Correct: Nature's Algorithms for Learning and Prospering in a Complex World. Basic Books, Inc., New York, NY, USA."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 14th USENIX Conference on Networked Systems Design and Implementation (NSDI'17)","author":"Vasisht D.","unstructured":"D. Vasisht , Z. Kapetanovic , J. Won , X. Jin , R. Chandra , A. Kapoor , S. Sinha , M. Sudarshan , and S. Stratman . 2017. Farmbeats: An IoT Platform for Data-driven Agriculture . In Proceedings of the 14th USENIX Conference on Networked Systems Design and Implementation (NSDI'17) . USENIX Association, Berkeley, CA, USA, 515--528. http:\/\/dl.acm.org\/citation.cfm?id=3154630.3154673 D. Vasisht, Z. Kapetanovic, J. Won, X. Jin, R. Chandra, A. Kapoor, S. Sinha, M. Sudarshan, and S. Stratman. 2017. Farmbeats: An IoT Platform for Data-driven Agriculture. In Proceedings of the 14th USENIX Conference on Networked Systems Design and Implementation (NSDI'17). USENIX Association, Berkeley, CA, USA, 515--528. http:\/\/dl.acm.org\/citation.cfm?id=3154630.3154673"}],"event":{"name":"RTNS '18: 26th International Conference on Real-Time Networks and Systems","location":"Chasseneuil-du-Poitou France","acronym":"RTNS '18","sponsor":["University of Poitiers University of Poitiers"]},"container-title":["Proceedings of the 26th International Conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3273905.3273917","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3273905.3273917","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T19:07:31Z","timestamp":1775243251000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3273905.3273917"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,10]]},"references-count":13,"alternative-id":["10.1145\/3273905.3273917","10.1145\/3273905"],"URL":"https:\/\/doi.org\/10.1145\/3273905.3273917","relation":{},"subject":[],"published":{"date-parts":[[2018,10,10]]},"assertion":[{"value":"2018-10-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}