{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:26:17Z","timestamp":1725614777437},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2005.1487891","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T17:52:28Z","timestamp":1122486748000},"page":"55-64","source":"Crossref","is-referenced-by-count":2,"title":["PyPBS Design and Methodologies"],"prefix":"10.1109","author":[{"given":"G.","family":"Hoover","sequence":"first","affiliation":[]},{"given":"F.","family":"Brewer","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/92.285744"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/EURDAC.1996.558188"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/266021.266209"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2002.1012607"},{"journal-title":"Sugar 2 0 Proposal Presented to the Accellera Formal Verification Technical Committee","year":"0","author":"eisner","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(91)90001-E"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781369"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896524"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/EURDAC.1996.558196"},{"key":"4","article-title":"Lustre: A declarative language for programming synchronous systems","author":"caspi","year":"1987","journal-title":"15th ACM Symposium on Principles of Programming Languages"},{"journal-title":"Ella A Multi-threaded Low-latency Processor for Embedded Systems","year":"2005","author":"hoover","key":"9"},{"key":"8","article-title":"Synchronous extensions to operation-centric hardware description languages","author":"hoe","year":"2004","journal-title":"Mem-oCODE 04"}],"event":{"name":"Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design","acronym":"MEMCOD-05","location":"Verona, Italy"},"container-title":["Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9956\/32009\/01487891.pdf?arnumber=1487891","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T15:46:04Z","timestamp":1489506364000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1487891\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/memcod.2005.1487891","relation":{},"subject":[]}}