{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:02:34Z","timestamp":1729652554313,"version":"3.28.0"},"reference-count":48,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/iwmse.2009.5071377","type":"proceedings-article","created":{"date-parts":[[2009,6,16]],"date-time":"2009-06-16T13:08:52Z","timestamp":1245157732000},"page":"1-8","source":"Crossref","is-referenced-by-count":4,"title":["Developing parallel programs: A design-oriented perspective"],"prefix":"10.1109","author":[{"given":"Ali","family":"Ebnenasir","sequence":"first","affiliation":[]},{"given":"Rasoul","family":"Beik","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/11795490_22"},{"key":"35","article-title":"optimize managed code formulti-core machines","author":"leijen","year":"2007","journal-title":"MSDN Magazine"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321641"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1995.375476"},{"year":"0","key":"18"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.015"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2008.4536385"},{"key":"34","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/367845.367996","article-title":"jml (poster session): notations and tools supporting detailed design in java","author":"leavens","year":"2000","journal-title":"OOPSLA'00 Addendum to the 2000 proceedings of the conference on Objectoriented programming systems languages and applications (Addendum)"},{"journal-title":"Automatic Synthesis of Fault-Tolerance","year":"2005","author":"ebnenasir","key":"16"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(88)90022-2"},{"key":"13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/173284.155333","article-title":"logp: towards a realistic model of parallel computation","volume":"28","author":"culler","year":"1993","journal-title":"ACM SIGPLAN Notices"},{"journal-title":"A Discipline of Programming","year":"1990","author":"dijkstra","key":"14"},{"article-title":"introduction to openmp","year":"2008","author":"matloff","key":"37"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1996.0107"},{"journal-title":"Patterns for Parallel Programming","year":"2004","author":"mattson","key":"38"},{"journal-title":"Parallel Program Design A Foundation","year":"1988","author":"chandy","key":"12"},{"key":"21","volume":"1990","author":"emerson","year":"0","journal-title":"Handbook of Theoretical Computer Science Chapter 16 Temporal and Modal Logic"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0053-6"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360224"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375625"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1145\/162685.162705"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"48","doi-asserted-by":"publisher","DOI":"10.1145\/508386.508399"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"1999","author":"rumbaugh","key":"45"},{"journal-title":"Intel Threading Building Blocks Outfitting C++ for Multi-core Processor Parallelism","year":"2007","author":"reinders","key":"44"},{"key":"47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75416-9_44"},{"key":"46","doi-asserted-by":"publisher","DOI":"10.1145\/224964.224987"},{"key":"22","first-page":"215","article-title":"pro: a model for the design and analysis of efficient and scalable parallel algorithms","volume":"13","author":"gebremedhin","year":"2006","journal-title":"Nordic Journal of Computing"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-005-1489-x"},{"journal-title":"Posix threads tutorial http \/\/math arizona edu\/?swig\/ documentation\/ pthreads","year":"2007","author":"hays","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1993.698569"},{"key":"26","first-page":"266","article-title":"survey on parallel programming model","volume":"5245","author":"kasim","year":"2008","journal-title":"NPC"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/242224.242420"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/383845.383858"},{"key":"29","first-page":"48","article-title":"automated analysis of natural language properties for uml models","author":"konrad","year":"2005","journal-title":"MoDELS Satellite Events"},{"year":"2008","key":"3"},{"journal-title":"Cilk 5 4 6 Reference Manual","year":"1998","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/11424529_17"},{"journal-title":"Resources on parallel patterns","year":"0","key":"1"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1002\/1096-9128(200010)12:12<1165::AID-CPE529>3.0.CO;2-L"},{"key":"7","first-page":"672","article-title":"towards a complexity model for design and analysis of pgas-based algorithms","author":"bakhouya","year":"2007","journal-title":"HPCC"},{"year":"0","key":"6"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2005.29"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90224-P"},{"key":"31","first-page":"441","article-title":"enhancing the faulttolerance of nonmasking programs","author":"kulkarni","year":"2003","journal-title":"Proceedings of the 23rd International Conference on Distributed Computing Systems"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/355045.355049"},{"journal-title":"OpenMP","year":"2008","author":"barney","key":"8"}],"event":{"name":"2009 ICSE Workshop on Multicore Software Engineering (IWMSE)","start":{"date-parts":[[2009,5,18]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2009,5,18]]}},"container-title":["2009 ICSE Workshop on Multicore Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5061470\/5071362\/05071377.pdf?arnumber=5071377","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T17:02:25Z","timestamp":1497805345000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5071377\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":48,"URL":"https:\/\/doi.org\/10.1109\/iwmse.2009.5071377","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}