{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:29:18Z","timestamp":1750307358653,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,4,10]],"date-time":"2011-04-10T00:00:00Z","timestamp":1302393600000},"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":[[2011,4,10]]},"DOI":"10.1145\/1966445.1966476","type":"proceedings-article","created":{"date-parts":[[2011,4,12]],"date-time":"2011-04-12T12:01:35Z","timestamp":1302609695000},"page":"329-342","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Scheduling large jobs by abstraction refinement"],"prefix":"10.1145","author":[{"given":"Thomas A.","family":"Henzinger","sequence":"first","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasu","family":"Singh","sequence":"additional","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Wies","sequence":"additional","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damien","family":"Zufferey","sequence":"additional","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,4,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Amazon. Amazon Elastic Compute Cloud. http:\/\/aws.amazon.com\/ec2 February 2011.  Amazon. Amazon Elastic Compute Cloud. http:\/\/aws.amazon.com\/ec2 February 2011."},{"key":"e_1_3_2_1_2_1","volume-title":"February","author":"Hadoop Apache","year":"2011","unstructured":"Apache Hadoop . Apache Hadoop . http:\/\/wiki.apache.org\/hadoop , February 2011 . Apache Hadoop. Apache Hadoop. http:\/\/wiki.apache.org\/hadoop, February 2011."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365680"},{"key":"e_1_3_2_1_4_1","first-page":"15","volume-title":"HCW '99: Proceedings of the Eighth Heterogeneous Computing Workshop","author":"Braun Tracy D.","unstructured":"Tracy D. Braun , Howard Jay Siegel , Noah Beck , Ladislau L. Bölóni, Albert I. Reuther , Mitchell D. Theys , Bin Yao , Richard F. Freund , Muthucumaru Maheswaran , James P. Robertson , and Debra Hensgen . A comparison study of static mapping heuristics for a class of meta-tasks on heterogeneous computing systems . In HCW '99: Proceedings of the Eighth Heterogeneous Computing Workshop , page 15 . IEEE Computer Society, 1999. Tracy D. Braun, Howard Jay Siegel, Noah Beck, Ladislau L. Bölóni, Albert I. Reuther, Mitchell D. Theys, Bin Yao, Richard F. Freund, Muthucumaru Maheswaran, James P. Robertson, and Debra Hensgen. A comparison study of static mapping heuristics for a class of meta-tasks on heterogeneous computing systems. In HCW '99: Proceedings of the Eighth Heterogeneous Computing Workshop, page 15. IEEE Computer Society, 1999."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1111683.1111782"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966463"},{"key":"e_1_3_2_1_7_1","first-page":"154","volume-title":"12th International Conference, CAV'00","author":"Clarke Edmund M.","year":"2000","unstructured":"Edmund M. Clarke , Orna Grumberg , Somesh Jha , Yuan Lu , and Helmut Veith . Counterexample-guided abstraction refinement. In Computer Aided Verification , 12th International Conference, CAV'00 , pages 154 -- 169 . Springer , 2000 . Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith. Counterexample-guided abstraction refinement. In Computer Aided Verification, 12th International Conference, CAV'00, pages 154--169. Springer, 2000."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1155\/2005\/128026"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSO.2009.346"},{"key":"e_1_3_2_1_11_1","first-page":"542","volume-title":"IPPS\/SPDP","author":"Dror","year":"1998","unstructured":"Dror G. Feitelson and Ahuva Mu'alem Weil. Utilization and predictability in scheduling the IBM SP2 with backfilling . In IPPS\/SPDP , pages 542 -- 546 , 1998 . Dror G. Feitelson and Ahuva Mu'alem Weil. Utilization and predictability in scheduling the IBM SP2 with backfilling. In IPPS\/SPDP, pages 542--546, 1998."},{"key":"e_1_3_2_1_12_1","first-page":"276","volume-title":"Journal of Parallel and Distributed Computing","author":"Gerasoulis A.","year":"1992","unstructured":"A. Gerasoulis and T. Yang . A comparison of clustering heuristics for scheduling directed acycle graphs on multiprocessors . Journal of Parallel and Distributed Computing , pages 276 -- 291 , 1992 . A. Gerasoulis and T. Yang. A comparison of clustering heuristics for scheduling directed acycle graphs on multiprocessors. Journal of Parallel and Distributed Computing, pages 276--291, 1992."},{"key":"e_1_3_2_1_13_1","volume-title":"IST Austria","author":"Henzinger T. A.","year":"2010","unstructured":"T. A. Henzinger , A. V. Singh , V. Singh , T. Wies , and D. Zufferey . Flextic: Trading time for discounts in cloud computing. Technical report , IST Austria , 2010 . Available at: http:\/\/pub.ist.ac.at\/ vsingh\/flextic.pdf. T. A. Henzinger, A. V. Singh, V. Singh, T. Wies, and D. Zufferey. Flextic: Trading time for discounts in cloud computing. Technical report, IST Austria, 2010. Available at: http:\/\/pub.ist.ac.at\/ vsingh\/flextic.pdf."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1101\/gr.9.11.1106"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.265940"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/365628.365655"},{"key":"e_1_3_2_1_17_1","volume-title":"The Art of Computer Programming, Volume III: Sorting and Searching","author":"Knuth Donald E.","year":"1973","unstructured":"Donald E. Knuth . The Art of Computer Programming, Volume III: Sorting and Searching . Addison-Wesley , 1973 . ISBN 0-201-03803-X. Donald E. Knuth. The Art of Computer Programming, Volume III: Sorting and Searching. Addison-Wesley, 1973. ISBN 0-201-03803-X."},{"key":"e_1_3_2_1_18_1","series-title":"Princeton Series in Computer Science","volume-title":"Computer-Aided Verification of Coordinating Processes","author":"Kurshan Robert P.","year":"1994","unstructured":"Robert P. Kurshan . Computer-Aided Verification of Coordinating Processes . Princeton Series in Computer Science . Princeton Uiversity Press , 1994 . Robert P. Kurshan. Computer-Aided Verification of Coordinating Processes. Princeton Series in Computer Science. Princeton Uiversity Press, 1994."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/344588.344618"},{"key":"e_1_3_2_1_20_1","first-page":"204","volume-title":"ISPAN '99: Proceedings of the 1999 International Symposium on Parallel Architectures, Algorithms and Networks","author":"Kwok Yu-Kwong","unstructured":"Yu-Kwong Kwok , Anthony A. Maciejewski , Howard Jay Siegel , Arif Ghafoor , and Ishfaq Ahmad . Evaluation of a semi-static approach to mapping dynamic iterative tasks onto heterogeneous computing systems . In ISPAN '99: Proceedings of the 1999 International Symposium on Parallel Architectures, Algorithms and Networks , page 204 . IEEE Computer Society, 1999. Yu-Kwong Kwok, Anthony A. Maciejewski, Howard Jay Siegel, Arif Ghafoor, and Ishfaq Ahmad. Evaluation of a semi-static approach to mapping dynamic iterative tasks onto heterogeneous computing systems. In ISPAN '99: Proceedings of the 1999 International Symposium on Parallel Architectures, Algorithms and Networks, page 204. IEEE Computer Society, 1999."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.577254"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/646376.689366"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87477-5_24"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62262"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/846234.849275"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.233840"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.993206"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/WORKS.2006.5282330"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/E-SCIENCE.2005.26"},{"key":"e_1_3_2_1_30_1","first-page":"1","volume-title":"USENIX Symposium on Operating Systems Design and Implementation","author":"Yu Y.","year":"2008","unstructured":"Y. Yu , M. Isard , D. Fetterly , M. Budiu , U. Erlingsson , P. K. Gunda , and J. Currey . DryadLINQ: A system for general-purpose distributed data-parallel computing using a high-level language . In USENIX Symposium on Operating Systems Design and Implementation , pages 1 -- 14 , 2008 . Y. Yu, M. Isard, D. Fetterly, M. Budiu, U. Erlingsson, P. K. Gunda, and J. Currey. DryadLINQ: A system for general-purpose distributed data-parallel computing using a high-level language. In USENIX Symposium on Operating Systems Design and Implementation, pages 1--14, 2008."}],"event":{"name":"EuroSys '11: Sixth EuroSys Conference 2011","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Salzburg Austria","acronym":"EuroSys '11"},"container-title":["Proceedings of the sixth conference on Computer systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1966445.1966476","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1966445.1966476","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:26Z","timestamp":1750245746000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1966445.1966476"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,10]]},"references-count":30,"alternative-id":["10.1145\/1966445.1966476","10.1145\/1966445"],"URL":"https:\/\/doi.org\/10.1145\/1966445.1966476","relation":{},"subject":[],"published":{"date-parts":[[2011,4,10]]},"assertion":[{"value":"2011-04-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}