{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:17:47Z","timestamp":1763468267948,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319229744"},{"type":"electronic","value":"9783319229751"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22975-1_8","type":"book-chapter","created":{"date-parts":[[2015,8,21]],"date-time":"2015-08-21T08:37:43Z","timestamp":1440146263000},"page":"108-123","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["On the Scalability of Constraint Solving for Static\/Off-Line Real-Time Scheduling"],"prefix":"10.1007","author":[{"given":"Raul","family":"Gorcitz","sequence":"first","affiliation":[]},{"given":"Emilien","family":"Kofman","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Carle","sequence":"additional","affiliation":[]},{"given":"Dumitru","family":"Potop-Butucaru","sequence":"additional","affiliation":[]},{"given":"Robert","family":"de Simone","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,22]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Bahn, J.H., Yang, J., Bagherzadeh, N.: Parallel fft algorithms on network-on-chips. In: Proceedings ITNG 2008, April 2008","DOI":"10.1109\/ITNG.2008.55"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Baptiste, P., Le Pape, C., Nuijten, W.: Constraint-based scheduling: applying constraint programming to scheduling problems, vol. 39. Springer Science & Business Media (2001)","DOI":"10.1007\/978-1-4615-1479-4"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s11241-005-0507-9","volume":"30","author":"E Bini","year":"2005","unstructured":"Bini, E., Buttazzo, G.: Measuring the performance of schedulability tests. Real Time Systems 30, 129\u2013154 (2005)","journal-title":"Real Time Systems"},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/2579676","volume":"11","author":"T Carle","year":"2014","unstructured":"Carle, T., Potop-Butucaru, D.: Predicate-aware, makespan-preserving software pipelining of scheduling tables. TACO 11(1), 12 (2014)","journal-title":"TACO"},{"key":"8_CR5","unstructured":"Carle, T., Potop-Butucaru, D., Sorel, Y., Lesens, D.: From dataflow specification to multiprocessor partitioned time-triggered real-time implementation. Research Report RR-8109 (2012). https:\/\/hal.inria.fr\/hal-00742908"},{"issue":"3","key":"8_CR6","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/BF00288685","volume":"1","author":"APE Coffman Jr","year":"1972","unstructured":"Coffman Jr., A.P.E., Graham, R.L.: Optimal scheduling for two-processor systems. Acta informatica 1(3), 200\u2013213 (1972)","journal-title":"Acta informatica"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Craciunas, S., Oliver, R.S.: SMT-based task- and network-level static schedule generation for time-triggered networked systems. In: Proceedings RTNS 2014. pp. 45:45\u201345:54. ACM, New York (2014). http:\/\/doi.acm.org\/10.1145\/2659787.2659812","DOI":"10.1145\/2659787.2659812"},{"issue":"4","key":"8_CR8","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1137\/0204035","volume":"4","author":"M Garey","year":"1975","unstructured":"Garey, M., Johnson, D.: Complexity results for multiprocessor scheduling under resource constraints. SIAM Journal of Computing 4(4), 397\u2013411 (1975)","journal-title":"SIAM Journal of Computing"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Gu, Z., He, X., Yuan, M.: Optimization of static task and bus access schedules for time-triggered distributed embedded systems with model-checking. In: 44th ACM\/IEEE Design Automation Conference, DAC 2007, pp. 294\u2013299, June 2007","DOI":"10.1109\/DAC.2007.375175"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/978-3-642-22110-1_35","volume-title":"Computer Aided Verification","author":"C Hang","year":"2011","unstructured":"Hang, C., Manolios, P., Papavasileiou, V.: Synthesizing cyber-physical architectural models with real-time constraints. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 441\u2013456. Springer, Heidelberg (2011)"},{"issue":"5","key":"8_CR11","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/2594413.2594424","volume":"57","author":"K Leyton-Brown","year":"2014","unstructured":"Leyton-Brown, K., Hoos, H.H., Hutter, F., Xu, L.: Understanding the empirical hardness of np-complete problems. Commun. ACM 57(5), 98\u2013107 (2014). http:\/\/doi.acm.org\/10.1145\/2594413.2594424","journal-title":"Commun. ACM"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Megel, T., Sirdey, R., David, V.: Minimizing task preemptions and migrations in multiprocessor optimal real-time schedules. In: 2010 IEEE 31st Real-Time Systems Symposium (RTSS), pp. 37\u201346, November 2010","DOI":"10.1109\/RTSS.2010.22"},{"issue":"6","key":"8_CR13","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1145\/2499370.2462163","volume":"48","author":"T Nowatzki","year":"2013","unstructured":"Nowatzki, T., Sartin-Tarm, M., Carli, L.D., Sankaralingam, K., Estan, C., Robatmili, B.: A general constraint-centric scheduling framework for spatial architectures. SIGPLAN Not. 48(6), 495\u2013506 (2013). http:\/\/doi.acm.org\/10.1145\/2499370.2462163, (Proceedings PLDI 2013)","journal-title":"SIGPLAN Not."},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-40229-6_16","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"P Tendulkar","year":"2013","unstructured":"Tendulkar, P., Poplavko, P., Maler, O.: Symmetry breaking for multi-criteria mapping and scheduling on multicores. In: Braberman, V., Fribourg, L. (eds.) FORMATS 2013. LNCS, vol. 8053, pp. 228\u2013242. Springer, Heidelberg (2013)"},{"issue":"3","key":"8_CR15","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1109\/71.993206","volume":"13","author":"H Topcuoglu","year":"2002","unstructured":"Topcuoglu, H., Hariri, S., Wu, M.Y.: Performance-effective and low-complexity task scheduling for heterogeneous computing. IEEE Transactions on Parallel and Distributed Systems 13(3), 260\u2013274 (2002)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22975-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T19:53:50Z","timestamp":1674244430000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22975-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319229744","9783319229751"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22975-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}