{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:10:12Z","timestamp":1750291812607,"version":"3.41.0"},"reference-count":39,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2014,2,1]],"date-time":"2014-02-01T00:00:00Z","timestamp":1391212800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003391","name":"Fonds Unique Interminist\u00e9riel","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003391","id-type":"DOI","asserted-by":"publisher"}]},{"name":"FUI PARSEC project"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Archit. Code Optim."],"published-print":{"date-parts":[[2014,2]]},"abstract":"<jats:p>We propose a software pipelining technique adapted to specific hard real-time scheduling problems. Our technique optimizes both computation throughput and execution cycle makespan, with makespan being prioritary. It also takes advantage of the predicated execution mechanisms of our embedded execution platform. To do so, it uses a reservation table formalism allowing the manipulation of the execution conditions of operations. Our reservation tables allow the double reservation of a resource at the same dates by two different operations, if the operations have exclusive execution conditions. Our analyses can determine when double reservation is possible even for operations belonging to different iterations.<\/jats:p>","DOI":"10.1145\/2579676","type":"journal-article","created":{"date-parts":[[2014,4,1]],"date-time":"2014-04-01T13:06:54Z","timestamp":1396357614000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Predicate-aware, makespan-preserving software pipelining of scheduling tables"],"prefix":"10.1145","volume":"11","author":[{"given":"Thomas","family":"Carle","sequence":"first","affiliation":[{"name":"INRIA Paris-Rocquencourt, Cedex, France"}]},{"given":"Dumitru","family":"Potop-Butucaru","sequence":"additional","affiliation":[{"name":"INRIA Paris-Rocquencourt, Cedex, France"}]}],"member":"320","published-online":{"date-parts":[[2014,2]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/212094.212131"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2007.4297340"},{"key":"e_1_2_1_3_1","unstructured":"ARINC653. 2005. Avionics Application Software Standard Interface volumes 1--3. http:\/\/www.arinc.org.  ARINC653. 2005. Avionics Application Software Standard Interface volumes 1--3. http:\/\/www.arinc.org."},{"key":"e_1_2_1_4_1","unstructured":"AUTOSAR. 2009. Automotive Open System Architecture release 4. http:\/\/www.autosar.org\/.  AUTOSAR. 2009. Automotive Open System Architecture release 4. http:\/\/www.autosar.org\/."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLUSTR.2007.4629278"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.655240"},{"key":"e_1_2_1_7_1","unstructured":"T. Carle D. Potop-Butucaru Y. Sorel and D. Lesens. 2012. From dataflow specification to multiprocessor partitioned time-triggered real-time implementation. Technical Report. INRIA. http:\/\/hal.inria.fr\/hal-00742908  T. Carle D. Potop-Butucaru Y. Sorel and D. Lesens. 2012. From dataflow specification to multiprocessor partitioned time-triggered real-time implementation. Technical Report. INRIA. http:\/\/hal.inria.fr\/hal-00742908"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780754"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2002.1043323"},{"volume-title":"Proceedings of DATE","year":"2011","author":"Chiu Y.-S.","key":"e_1_2_1_10_1"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/92.894152"},{"key":"e_1_2_1_12_1","unstructured":"G. Fohler A. Neundorf K.-E. \u00c5rz\u00e9n C. Lucarz M. Mattavelli V. Noel C. von Platen G. Butazzo E. Bini and C. Scordino. 2008. EU FP7 ACTORS project. Ch 5: Resource reservation in real-time systems. In D7a: State of the Art Assessment. http:\/\/www3.control.lth.se\/user\/karlerik\/Actors\/d7a-rev.pdf.  G. Fohler A. Neundorf K.-E. \u00c5rz\u00e9n C. Lucarz M. Mattavelli V. Noel C. von Platen G. Butazzo E. Bini and C. Scordino. 2008. EU FP7 ACTORS project. Ch 5: Resource reservation in real-time systems. In D7a: State of the Art Assessment. http:\/\/www3.control.lth.se\/user\/karlerik\/Actors\/d7a-rev.pdf."},{"key":"e_1_2_1_13_1","unstructured":"M. R. Garey and D. S. Johnson. 1979. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company.   M. R. Garey and D. S. Johnson. 1979. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626494000363"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/192724.192733"},{"volume-title":"Proceedings of the MEMOCODE. Mont St","author":"Grandpierre T.","key":"e_1_2_1_16_1"},{"key":"e_1_2_1_17_1","volume-title":"Computer Architecture: A Quantitative Approach","author":"Hennessy J. L.","year":"2007","edition":"4"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155115"},{"volume-title":"Proceedings of the 2012 International Converence on Field-Programmable Technology (FPT)","author":"Kim W.","key":"e_1_2_1_19_1"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54022"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01759032"},{"volume-title":"Proceedings of the ERTSS","author":"Monot A.","key":"e_1_2_1_22_1"},{"key":"e_1_2_1_23_1","unstructured":"L. Morel. 2005. Exploitation des structures r\u00e9guli\u00e8res et des sp\u00e9cifications locales pour le developpement correct de syst\u00e8mes r\u00e9actifs de grande taille. Ph.D. Dissertation. Institut National Polytechnique de Grenoble.  L. Morel. 2005. Exploitation des structures r\u00e9guli\u00e8res et des sp\u00e9cifications locales pour le developpement correct de syst\u00e8mes r\u00e9actifs de grande taille. Ph.D. Dissertation. Institut National Polytechnique de Grenoble."},{"key":"e_1_2_1_24_1","unstructured":"S. Muchnick. 1997. Advanced Compiler Design and Implementation. Morgan Kaufman.   S. Muchnick. 1997. Advanced Compiler Design and Implementation. Morgan Kaufman."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879048"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629356"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2004.10.002"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03356742"},{"volume-title":"Proceedings of the 14th Annual Workshop on Microprogramming. IEEE.","author":"Rau B. R.","key":"e_1_2_1_29_1"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143141"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/646787.706263"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/776261.776280"},{"key":"e_1_2_1_33_1","unstructured":"J. Wang and C. Eisenbeis. 1993. Decomposed software pipelining. http:\/\/hal.inria.fr\/inria-00074834  J. Wang and C. Eisenbeis. 1993. Decomposed software pipelining. http:\/\/hal.inria.fr\/inria-00074834"},{"volume-title":"Proceedings of the HICSS-26 Conference","author":"Warter N. J.","key":"e_1_2_1_34_1"},{"volume-title":"Proceedings of the Design, Automation Test in Europe Conference Exhibition (DATE)","author":"Yang H.","key":"e_1_2_1_35_1"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1027387028481"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2004.1278099"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2005.13"},{"volume-title":"Proceedings of the International Conference on Parallel Processing.","author":"Zhuge Q.","key":"e_1_2_1_39_1"}],"container-title":["ACM Transactions on Architecture and Code Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2579676","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2579676","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:43:50Z","timestamp":1750290230000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2579676"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2]]},"references-count":39,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["10.1145\/2579676"],"URL":"https:\/\/doi.org\/10.1145\/2579676","relation":{},"ISSN":["1544-3566","1544-3973"],"issn-type":[{"type":"print","value":"1544-3566"},{"type":"electronic","value":"1544-3973"}],"subject":[],"published":{"date-parts":[[2014,2]]},"assertion":[{"value":"2013-09-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-02-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}