{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:51:47Z","timestamp":1725508307156},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/samos.2015.7363697","type":"proceedings-article","created":{"date-parts":[[2015,12,28]],"date-time":"2015-12-28T21:37:08Z","timestamp":1451338628000},"page":"348-353","source":"Crossref","is-referenced-by-count":0,"title":["Deterministic event-based control of Virtual Platforms for MPSoC software debugging"],"prefix":"10.1109","author":[{"given":"Luis Gabriel","family":"Murillo","sequence":"first","affiliation":[]},{"given":"Robert Lajos","family":"Buecs","sequence":"additional","affiliation":[]},{"given":"Rainer","family":"Leupers","sequence":"additional","affiliation":[]},{"given":"Gerd","family":"Ascheid","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1323293.1294272"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150997"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2014.295"},{"year":"0","key":"ref13","article-title":"The DOT Language"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1147403.1147413"},{"year":"0","key":"ref15","article-title":"Virtualizer Development Kits (VDK)"},{"year":"0","key":"ref16","article-title":"SPLASH-2"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2365864.2151034"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483771"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/LASCAS.2011.5750280"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1037\/0033-2909.116.2.220"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"journal-title":"Software and System Development using Virtual Platforms","year":"2014","author":"aarno","key":"ref6"},{"journal-title":"Better Software Faster! Best Practices in Virtual Prototyping","year":"2014","author":"schutter","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SOCC.2009.5335656"},{"key":"ref2","article-title":"Finding and reproducing heisenbugs in concurrent programs","author":"musuvathi","year":"2008","journal-title":"Usenix Symp on Operating Systems Design and Implementation"},{"year":"2011","key":"ref1","article-title":"Design"},{"key":"ref9","article-title":"Timestamps in message-passing systems that preserve the partial ordering","author":"fidge","year":"1988","journal-title":"Australian Computer Science Conference"},{"key":"ref20","article-title":"SWAT: system-wide assertions for concurrency debugging at system-level","author":"murillo","year":"2015","journal-title":"ASP-DAC"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_54"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566211"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/945465.945468"}],"event":{"name":"2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)","start":{"date-parts":[[2015,7,19]]},"location":"Samos, Greece","end":{"date-parts":[[2015,7,23]]}},"container-title":["2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7358369\/7363643\/07363697.pdf?arnumber=7363697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:18:27Z","timestamp":1602685107000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7363697"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/samos.2015.7363697","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}