{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T06:10:13Z","timestamp":1742019013475,"version":"3.38.0"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1109\/tse.2002.1033223","type":"journal-article","created":{"date-parts":[[2002,10,18]],"date-time":"2002-10-18T21:39:07Z","timestamp":1034977147000},"page":"822-831","source":"Crossref","is-referenced-by-count":18,"title":["Combining a performance estimation methodology with a hardware\/software codesign flow supporting multiprocessor systems"],"prefix":"10.1109","volume":"28","author":[{"given":"A.","family":"Baghdadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.-E.","family":"Zergainoh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.O.","family":"Cesario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.A.","family":"Jerraya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"824","article-title":"Stirling Numbers of the Second Kind","volume-title":"Handbook of Math. Functions with Formulas, Graphs, and Math. Tables","author":"Abramowitz"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IWRSP.2000.854975"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1997.597142"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IWV.1998.667136"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.1996.494536"},{"volume-title":"SDL: Formal Object-oriented Language for Communicating Systems","author":"Ellsberger","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1997.643600"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(94)90016-7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/92.661251"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277252"},{"volume-title":"Principles of Digital Design","author":"Gajski","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3966-7_1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35570-2_17"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1997.597233"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.1998.669500"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/HSC.1994.336718"},{"key":"ref17","article-title":"Functional Specification and Description Language"},{"key":"ref18","article-title":"Multilanguage Specification for System Design and Codesign","volume-title":"NATO ASI 1998","author":"Jerraya","year":"1999"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/HSC.1998.666238"},{"article-title":"Modeling & Simulation with SDL & MSC by an Example SDL","volume-title":"Proc. SDL Forum\u201997","author":"Le Blanc","key":"ref20"},{"author":"Leblanc","key":"ref21","article-title":"SDL Performance Analysis with ObjectGEODE"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/HSC.1998.666239"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008884219274"},{"article-title":"ObjectGEODE SDL Extensions for Performance Analysis","volume-title":"Proc. Performance and Time in SDL & MSC Workshop","author":"Roux","key":"ref24"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1996.545647"},{"article-title":"Fast Hardware-Software Cosimulation using Software Synthesis and Estimation","volume-title":"Proc. IEEE Int\u2019l High-Level Design Validation and Test Workshop","author":"Tabbara","key":"ref26"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/92.407006"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1995.528792"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.480025"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/22192\/01033223.pdf?arnumber=1033223","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T05:32:15Z","timestamp":1742016735000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1033223\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":29,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2002,9]]}},"URL":"https:\/\/doi.org\/10.1109\/tse.2002.1033223","relation":{},"ISSN":["0098-5589"],"issn-type":[{"type":"print","value":"0098-5589"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}