{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:47:23Z","timestamp":1729619243667,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/dsd.2002.1115358","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T21:03:42Z","timestamp":1056575022000},"page":"110-117","source":"Crossref","is-referenced-by-count":0,"title":["Specification and simulation of microprocessor operations and parallel instructions"],"prefix":"10.1109","author":[{"given":"L.","family":"Feijs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Gorissen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Trescher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"85","article-title":"Beyond tool-specific machine descriptions","author":"fauth","year":"1995","journal-title":"Code Generation for Embedded Processors"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1995.470354"},{"volume":"i iii","journal-title":"IA-32 Intel Architecture Software Developer's Manual","year":"0","key":"ref12"},{"year":"0","key":"ref13","article-title":"Royal Philips Electronics. Introducing the RD24120 Series"},{"year":"0","key":"ref14","article-title":"Trimedia Technologies Incorporation. Trimedia32 Architecture"},{"key":"ref15","article-title":"Formal aspects of and development environments for Montages","author":"anlauff","year":"1997","journal-title":"Second International workshop on the Theory and Practice of Algebraic Specifications Workshops in Computing"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/354880.354885"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/88.473612"},{"year":"2000","author":"payne","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/175208.175216"},{"key":"ref4","first-page":"1748","article-title":"Supersim - a new technique for simulation of programmable DSP architectures","author":"zivojnovi?","year":"1995","journal-title":"in Proceedings of the International Conference on Signal Processing Applications and Technology (lCSPAT) Dallas"},{"key":"ref3","article-title":"Embra: Fast and Flexible Machine Simulation","author":"witchel","year":"1996","journal-title":"Proceedings of ACM SIG-METRICS ‘96 Conference on Measurement and Modeling of Computer Systems Philadelphia"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/256562.256827"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/29650.29651"},{"key":"ref8","article-title":"Shade: a fast instruction-set simulator for execution profiling","author":"cmelik","year":"1993","journal-title":"Technical Report UWCSE93-06-06"},{"article-title":"using complete machine simulation to understand computer system behavior","year":"1998","author":"herrod","key":"ref7"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/223587.223589","article-title":"Talsiman: fast and accurate multicomputer simulation","volume":"23","author":"bedichek","year":"1995","journal-title":"Proceedings of the 1995 ACM SIGMET-RICS Conference on Measurement and Modeling of Computer Systems"},{"key":"ref9","first-page":"85","article-title":"Chess: Retargetable code generation for embedded DSP processors","author":"lanneer","year":"1995","journal-title":"Code Generation for Embedded Processors"},{"key":"ref1","first-page":"53","article-title":"Some efficient architecture simulation techniques","author":"bedichek","year":"1990"},{"key":"ref20","article-title":"Partial translation","author":"magnusson","year":"1993","journal-title":"SICS Technical report T93 05"},{"key":"ref22","article-title":"SimICS\/sun4m: A Virtual Workstation","author":"magnusson","year":"1998","journal-title":"Proc USENIX Annual Technical Conference"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SIMSYM.1995.393593"},{"article-title":"Computer Architecture: A Quantitative Approach","year":"1996","author":"hennessy","key":"ref24"},{"key":"ref23","article-title":"Performance debugging and tuning using an instruction-set simulator","author":"magnusson","year":"1995","journal-title":"SICS Technical report T97 02 Swedish Institute of Computer Science"},{"journal-title":"MIPS RISC Architecture","year":"1992","author":"kane","key":"ref26"},{"key":"ref25","article-title":"Generating efficient simulators from a specification language","author":"larson","year":"1997","journal-title":"SICS Technical report T97 01"}],"event":{"name":"Euromicro Symposium on Digital System Design. DSD'2002","acronym":"DSD-02","location":"Dortmund, Germany"},"container-title":["Proceedings Euromicro Symposium on Digital System Design. Architectures, Methods and Tools"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8187\/24597\/01115358.pdf?arnumber=1115358","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,26]],"date-time":"2023-04-26T11:30:24Z","timestamp":1682508624000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1115358\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/dsd.2002.1115358","relation":{},"subject":[]}}