{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:33:26Z","timestamp":1725737606618},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,17]]},"DOI":"10.1145\/2095654.2095663","type":"proceedings-article","created":{"date-parts":[[2012,1,17]],"date-time":"2012-01-17T12:20:41Z","timestamp":1326802841000},"page":"1-8","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Runtime model validation with parallel object constraint language"],"prefix":"10.1145","author":[{"given":"Tam\u00e1s","family":"Vajk","sequence":"first","affiliation":[{"name":"Budapest University of Technology and Economics, Magyar Tud\u00f3sok k\u00f6r\u00fatja, Budapest, Hungary"}]},{"given":"Zolt\u00e1n","family":"D\u00e1vid","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Magyar Tud\u00f3sok k\u00f6r\u00fatja, Budapest, Hungary"}]},{"given":"M\u00e1rk","family":"Asztalos","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Magyar Tud\u00f3sok k\u00f6r\u00fatja, Budapest, Hungary"}]},{"given":"Gergely","family":"Mezei","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Magyar Tud\u00f3sok k\u00f6r\u00fatja, Budapest, Hungary"}]},{"given":"Tiham\u00e9r","family":"Levendovszky","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Suite, Nashville, TN"}]}],"member":"320","published-online":{"date-parts":[[2011,10,17]]},"reference":[{"volume-title":"Amazon","year":"2010","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11767138_7"},{"first-page":"61","volume-title":"Automatic Parallelization of Canonical Loops. 13th Simp\u00f3sio Brasileiro de Linguagens de Programa\u00e7ao","year":"2009","author":"Da Mata L. L. P.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/99.660313"},{"volume-title":"DavidChappel & Associates","year":"2010","author":"Chappell David","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"volume-title":"GCC Developers' Summit","year":"2006","author":"Novillo Diego","key":"e_1_3_2_1_7_1"},{"volume-title":"Network Theory Ltd.","year":"2004","author":"Gough B. J.","key":"e_1_3_2_1_8_1"},{"volume-title":"Prentice Hall","year":"1985","author":"Hoare C. A. R.","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","first-page":"2006","article-title":"An Introduction to CSP. NET. In F. R. M. Barnes, J. M. Kerridge, and P. H. Welch, editors","author":"Lehmberg A.","year":"2006","journal-title":"Communicating Process Architectures"},{"first-page":"95","volume-title":"The 20th International Conference on Software Engineering (ICSE98)","year":"1997","author":"Mahony B.","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","unstructured":"OMG. Object Constraint Language 2.0 Specification. Object Management Group June 2005. OMG. Object Constraint Language 2.0 Specification . Object Management Group June 2005."},{"key":"e_1_3_2_1_13_1","unstructured":"OpenMP. The OpenMP API specification for parallel programming. OpenMP. The OpenMP API specification for parallel programming."},{"first-page":"18","volume-title":"Proceedings of the 2006 GCC Developers Summit","year":"2006","author":"Pop S.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","unstructured":"Rackspace. Cloud Computing Cloud Hosting & Online Storage. http:\/\/www.rackspace.com\/cloud\/. Rackspace. Cloud Computing Cloud Hosting & Online Storage. http:\/\/www.rackspace.com\/cloud\/."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"C. Severance. Using Google App Engine. O'Reilly Media 1 edition May 2009. C. Severance. Using Google App Engine . O'Reilly Media 1 edition May 2009.","DOI":"10.1007\/978-1-4302-1832-6_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_59"},{"volume-title":"GRAPHITE Two Years After: First Lessons Learned From Real-World Polyhedral Compilation. In GCC Research Opportunities Workshop (GROW'10)","year":"2010","author":"Trifunovic K.","key":"e_1_3_2_1_18_1"},{"volume-title":"CSP Simulation of Parallel OCL Constraint Checking. In Automation and Applied Computer Science Workshop (AACS)","year":"2011","author":"Vajk T.","key":"e_1_3_2_1_19_1"},{"first-page":"573","volume-title":"Proc. of 8th HUCI","year":"2007","author":"Vajk T.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS-EERC.2009.21"},{"key":"e_1_3_2_1_22_1","unstructured":"VMTS. Visual Modeling and Transformation System website. http:\/\/vmts.aut.bme.hu\/ 2011. VMTS. Visual Modeling and Transformation System website. http:\/\/vmts.aut.bme.hu\/ 2011."},{"volume-title":"Second Edition. Addison Wesley","year":"2003","author":"Warmer J.","key":"e_1_3_2_1_23_1"}],"event":{"name":"MoDeVVa '11: Model-Driven Engineering, Verification, and Validation","acronym":"MoDeVVa '11","location":"Wellington New Zealand"},"container-title":["Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2095654.2095663","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T16:55:08Z","timestamp":1673542508000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2095654.2095663"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,17]]},"references-count":23,"alternative-id":["10.1145\/2095654.2095663","10.1145\/2095654"],"URL":"https:\/\/doi.org\/10.1145\/2095654.2095663","relation":{},"subject":[],"published":{"date-parts":[[2011,10,17]]},"assertion":[{"value":"2011-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}