{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:27Z","timestamp":1750220667156,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T00:00:00Z","timestamp":1604275200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["1948457,1814739,1911460,1932530,1850851,1937833,1725647,1733873"],"award-info":[{"award-number":["1948457,1814739,1911460,1932530,1850851,1937833,1725647,1733873"]}]},{"name":"Northrop Grumman Corporation","award":["N\/A"],"award-info":[{"award-number":["N\/A"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,2]]},"DOI":"10.1145\/3400302.3415674","type":"proceedings-article","created":{"date-parts":[[2020,12,18]],"date-time":"2020-12-18T01:19:19Z","timestamp":1608254359000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The safe and effective application of probabilistic techniques in safety-critical systems"],"prefix":"10.1145","author":[{"given":"Kunal","family":"Agrawal","sequence":"first","affiliation":[{"name":"Washington University in St. Louis"}]},{"given":"Sanjoy","family":"Baruah","sequence":"additional","affiliation":[{"name":"Washington University in St. Louis"}]},{"given":"Zhishan","family":"Guo","sequence":"additional","affiliation":[{"name":"University of Central Florida"}]},{"given":"Jing","family":"Li","sequence":"additional","affiliation":[{"name":"New Jersey Institute of Technology"}]}],"member":"320","published-online":{"date-parts":[[2020,12,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/777412.777430"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1998.739737"},{"volume-title":"Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday","author":"Baruah Sanjoy","key":"e_1_3_2_1_3_1","unstructured":"Sanjoy Baruah . 2018. Predictability Issues in Mixed-Criticality Real-Time Systems . In Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday , Marten Lohstroh, Patricia Derler, and Marjan Sirjani (Eds.). Springer International Publishing , 77--87. Sanjoy Baruah. 2018. Predictability Issues in Mixed-Criticality Real-Time Systems. In Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, Marten Lohstroh, Patricia Derler, and Marjan Sirjani (Eds.). Springer International Publishing, 77--87."},{"volume-title":"Multiprocessor Scheduling for Real-Time Systems","author":"Baruah Sanjoy","key":"e_1_3_2_1_4_1","unstructured":"Sanjoy Baruah , Marko Bertogna , and Giorgio Buttazzo . 2015. Multiprocessor Scheduling for Real-Time Systems . Springer Publishing Company, Inc orporated. Sanjoy Baruah, Marko Bertogna, and Giorgio Buttazzo. 2015. Multiprocessor Scheduling for Real-Time Systems. Springer Publishing Company, Incorporated."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the IEEE Real-Time Systems Symposium (RTSS","author":"Baruah Sanjoy","year":"2012","unstructured":"Sanjoy Baruah , Vincenzo Bonifaci , Alberto Marchetti-Spaccamela , Leem Stougie , and Andreas Wiese . 2012 . A generalized parallel task model for recurrent realtime processes . In Proceedings of the IEEE Real-Time Systems Symposium (RTSS 2012). San Juan, Puerto Rico, 63--72. Sanjoy Baruah, Vincenzo Bonifaci, Alberto Marchetti-Spaccamela, Leem Stougie, and Andreas Wiese. 2012. A generalized parallel task model for recurrent realtime processes. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS 2012). San Juan, Puerto Rico, 63--72."},{"key":"e_1_3_2_1_6_1","volume-title":"Achieving Optimal Backlog in Multi-Processor Cup Games. CoRR abs\/1904.02861","author":"Bender Michael A.","year":"2019","unstructured":"Michael A. Bender , Martin Farach-Colton , and William Kuszmaul . 2019. Achieving Optimal Backlog in Multi-Processor Cup Games. CoRR abs\/1904.02861 ( 2019 ). arXiv:1904.02861 http:\/\/arxiv.org\/abs\/1904.02861 Michael A. Bender, Martin Farach-Colton, and William Kuszmaul. 2019. Achieving Optimal Backlog in Multi-Processor Cup Games. CoRR abs\/1904.02861 (2019). arXiv:1904.02861 http:\/\/arxiv.org\/abs\/1904.02861"},{"key":"e_1_3_2_1_7_1","first-page":"2","article-title":"Probabilistic Timing Analysis: An Approach Using Copulas","volume":"1","author":"Bernat Guillem","year":"2005","unstructured":"Guillem Bernat , Alan Burns , and Martin Newby . 2005 . Probabilistic Timing Analysis: An Approach Using Copulas . J. Embedded Comput. 1 , 2 (April 2005), 179--194. http:\/\/dl.acm.org\/citation.cfm?id=1233760.1233763 Guillem Bernat, Alan Burns, and Martin Newby. 2005. Probabilistic Timing Analysis: An Approach Using Copulas. J. Embedded Comput. 1, 2 (April 2005), 179--194. http:\/\/dl.acm.org\/citation.cfm?id=1233760.1233763","journal-title":"J. Embedded Comput."},{"key":"e_1_3_2_1_8_1","unstructured":"G. Bernat A. Colin and S. Petters. 2003. pWCET: A tool for probabilistic worst-case execution time analysis of real-time systems. Technical Report. The University of York England.  G. Bernat A. Colin and S. Petters. 2003. pWCET: A tool for probabilistic worst-case execution time analysis of real-time systems. Technical Report. The University of York England."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181582"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/209936.209958"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the Workshop on Compositional Theory and Technology for Real-Time Embedded Systems.","author":"Burns Alan","year":"2011","unstructured":"Alan Burns and David Griffin . 2011 . Predictability as an emergent behaviour . In Proceedings of the Workshop on Compositional Theory and Technology for Real-Time Embedded Systems. Alan Burns and David Griffin. 2011. Predictability as an emergent behaviour. In Proceedings of the Workshop on Compositional Theory and Technology for Real-Time Embedded Systems."},{"key":"e_1_3_2_1_13_1","unstructured":"T. H. Cormen C. E. Leiserson R. L. Rivest and C. Stein. 2009. Introduction to Algorithms. (third ed.). MIT Press.  T. H. Cormen C. E. Leiserson R. L. Rivest and C. Stein. 2009. Introduction to Algorithms. (third ed.). MIT Press."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1279711.1279714"},{"key":"e_1_3_2_1_15_1","volume-title":"A Survey of Hard Real-Time Scheduling for Multiprocessor Systems. Comput. Surveys 43, 4","author":"Davis Robert","year":"2011","unstructured":"Robert Davis and Alan Burns . 2011. A Survey of Hard Real-Time Scheduling for Multiprocessor Systems. Comput. Surveys 43, 4 ( 2011 ). Robert Davis and Alan Burns. 2011. A Survey of Hard Real-Time Scheduling for Multiprocessor Systems. Comput. Surveys 43, 4 (2011)."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings 2017 Real-Time Scheduling Open Problems Seminar (RTSOPS).","author":"Davis Robert I.","year":"2017","unstructured":"Robert I. Davis , Alan Burns , and David Griffin . 2017 . On the Meaning of pWCET Distributions and their use in Schedulability Analysis . In Proceedings 2017 Real-Time Scheduling Open Problems Seminar (RTSOPS). Robert I. Davis, Alan Burns, and David Griffin. 2017. On the Meaning of pWCET Distributions and their use in Schedulability Analysis. In Proceedings 2017 Real-Time Scheduling Open Problems Seminar (RTSOPS)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.4230\/LITES-v006-i001-a004"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.4230\/LITES-v006-i001-a003"},{"key":"e_1_3_2_1_19_1","volume-title":"Ferreira","author":"de Haan Laurens","year":"2006","unstructured":"Laurens de Haan and Ana F . Ferreira . 2006 . Extreme Value Theory: An Introduction . Springer Publishing Company , Incorporated. Laurens de Haan and Ana F. Ferreira. 2006. Extreme Value Theory: An Introduction. Springer Publishing Company, Incorporated."},{"volume-title":"Provably good race detection that runs in parallel. Master's thesis","author":"Fineman Jeremey","key":"e_1_3_2_1_20_1","unstructured":"Jeremey Fineman . 2005. Provably good race detection that runs in parallel. Master's thesis . Massachusetts Institute of Technology , Deptartment of Electrical Engineering and Computer Science,. Jeremey Fineman. 2005. Provably good race detection that runs in parallel. Master's thesis. Massachusetts Institute of Technology, Deptartment of Electrical Engineering and Computer Science,."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1137\/0117039"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810479.1810509"},{"key":"e_1_3_2_1_23_1","volume-title":"Computer Journal","author":"Hoare C. A. R.","year":"1962","unstructured":"C. A. R. Hoare . 1962. Quicksort. Computer Journal ( 1962 ), 10--15. C. A. R. Hoare. 1962. Quicksort. Computer Journal (1962), 10--15."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.26.1.22"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2016.028"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2014.23"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1006\/jagm.1996.0055"},{"key":"e_1_3_2_1_28_1","unstructured":"PBBS. 2014. Problem Based Benchmark Suite. http:\/\/www.cs.cmu.edu\/~pbbs.  PBBS. 2014. Problem Based Benchmark Suite. http:\/\/www.cs.cmu.edu\/~pbbs."},{"key":"e_1_3_2_1_29_1","unstructured":"MIT Supercomputing Technologies Group. 1998. Cilk 5.4.6 Reference Manual. http:\/\/supertech.lcs.mit.edu\/cilk\/manual-5.4.6.pdf.  MIT Supercomputing Technologies Group. 1998. Cilk 5.4.6 Reference Manual. http:\/\/supertech.lcs.mit.edu\/cilk\/manual-5.4.6.pdf."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806689.1806791"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2015.28"},{"volume-title":"A Tighter Analysis of Work Stealing","author":"Tchiboukdjian Marc","key":"e_1_3_2_1_32_1","unstructured":"Marc Tchiboukdjian , Nicolas Gast , Denis Trystram , Jean-Louis Roch , and Julien Bernard . 2010. A Tighter Analysis of Work Stealing . In Algorithms and Computation, Otfried Cheong, Kyung-Yong Chwa, and Kunsoo Park (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 291--302. Marc Tchiboukdjian, Nicolas Gast, Denis Trystram, Jean-Louis Roch, and Julien Bernard. 2010. A Tighter Analysis of Work Stealing. In Algorithms and Computation, Otfried Cheong, Kyung-Yong Chwa, and Kunsoo Park (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 291--302."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(75)80008-0"}],"event":{"name":"ICCAD '20: IEEE\/ACM International Conference on Computer-Aided Design","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA","IEEE CS"],"location":"Virtual Event USA","acronym":"ICCAD '20"},"container-title":["Proceedings of the 39th International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3400302.3415674","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3400302.3415674","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3400302.3415674","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:52Z","timestamp":1750197772000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3400302.3415674"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,2]]},"references-count":32,"alternative-id":["10.1145\/3400302.3415674","10.1145\/3400302"],"URL":"https:\/\/doi.org\/10.1145\/3400302.3415674","relation":{},"subject":[],"published":{"date-parts":[[2020,11,2]]},"assertion":[{"value":"2020-12-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}