{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:16Z","timestamp":1750308736900,"version":"3.41.0"},"reference-count":13,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T00:00:00Z","timestamp":1380585600000},"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":["SIGBED Rev."],"published-print":{"date-parts":[[2013,10]]},"abstract":"<jats:p>The Multiprocessor Periodic Resource (MPR) model has been proposed for modeling compositional real-time guarantees of real-time systems which run on a shared multiprocessor hardware. In this paper we extend the MPR model such that the execution of virtual processors (servers) is not assumed to be synchronized i.e., the servers can have different phases. We believe that relaxing the server synchronization requirement provides greater deal of compatibility for implementing such a compositional method on various hardware platforms. We derive the resource supply bound function of the extended MPR model using an algorithm. Furthermore, we suggest an approach to calculate an approximate supply bound function with lower computational complexity for systems where calculating their supply bound function is computationally expensive.<\/jats:p>","DOI":"10.1145\/2544350.2544351","type":"journal-article","created":{"date-parts":[[2013,11,26]],"date-time":"2013-11-26T13:23:15Z","timestamp":1385472195000},"page":"7-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Exact and approximate supply bound function for multiprocessor periodic resource model"],"prefix":"10.1145","volume":"10","author":[{"given":"Nima Moghaddami","family":"Khalilzad","sequence":"first","affiliation":[{"name":"MRTC\/M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}]},{"given":"Moris","family":"Behnam","sequence":"additional","affiliation":[{"name":"MRTC\/M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}]},{"given":"Thomas","family":"Nolte","sequence":"additional","affiliation":[{"name":"MRTC\/M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2013,10]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128746"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.35"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2009.39"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/827269.828992"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.17"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-009-9073-x"},{"key":"e_1_2_1_7_1","first-page":"256","volume-title":"Proceedings of the 20th IEEE Real-Time Systems Symposium (RTSS '99)","author":"Kuo T.-W.","year":"1999"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1444451.1445663"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.12"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/882481.883794"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/956418.956612"},{"key":"e_1_2_1_12_1","unstructured":"H. S. Wilf. Lectures on integer partitions http:\/\/www.math.upenn.edu\/~wilf\/PIMS\/PIMSLectures.pdf.  H. S. Wilf. Lectures on integer partitions http:\/\/www.math.upenn.edu\/~wilf\/PIMS\/PIMSLectures.pdf."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.29"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2544350.2544351","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2544350.2544351","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:04Z","timestamp":1750278124000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2544350.2544351"}},"subtitle":["unsynchronized servers"],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,10]]}},"alternative-id":["10.1145\/2544350.2544351"],"URL":"https:\/\/doi.org\/10.1145\/2544350.2544351","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2013,10]]},"assertion":[{"value":"2013-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}