{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:05:39Z","timestamp":1725559539428},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540278825"},{"type":"electronic","value":"9783540317142"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11526841_10","type":"book-chapter","created":{"date-parts":[[2010,7,18]],"date-time":"2010-07-18T16:51:58Z","timestamp":1279471918000},"page":"123-138","source":"Crossref","is-referenced-by-count":0,"title":["Formally Defining and Verifying Master\/Slave Speculative Parallelization"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Salverda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Craig","family":"Zilles","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"10_CR1","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/40.768501","volume":"9","author":"Arvind","year":"1999","unstructured":"Arvind, Shen, X.: Using term rewriting systems to design and verify processors. IEEE Micro\u00a09(3), 36\u201346 (1999)","journal-title":"IEEE Micro"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/3-540-58179-0_44","volume-title":"Computer Aided Verification","author":"J.R. Burch","year":"1994","unstructured":"Burch, J.R., Dill, D.L.: Automatic verification of pipelined microprocessor control. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 68\u201380. Springer, Heidelberg (1994)"},{"unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: Maude 2.0 Manual (2003), \n                    \n                      http:\/\/maude.cs.uiuc.edu\/manual","key":"10_CR3"},{"key":"10_CR4","volume-title":"CAFE: An Industrial-Strength Algebraic Formal Method","author":"M. Clavel","year":"2000","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Meseguer, J.: Building equational proving tools by reflection in rewriting logic. In: CAFE: An Industrial-Strength Algebraic Formal Method. Elsevier, Amsterdam (2000)"},{"doi-asserted-by":"crossref","unstructured":"Dill, D.L., Drexler, A.J., Hu, A.J., Yang, C.H.: Protocol verification as a hardware design aid. In: Proc. IEEE International Conference on Computer Design: VLSI in Computers and Processors, October 1992, pp. 522\u2013525 (1992)","key":"10_CR5","DOI":"10.1109\/ICCD.1992.276232"},{"unstructured":"Lamport, L.: What good is temporal logic? In: Information Processing 1983: Proc. IFIP 9th World Congress, September 1983, pp. 657\u2013668 (1983)","key":"10_CR6"},{"issue":"1","key":"10_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"unstructured":"Salverda, P., Ro\u015fu, G., Zilles, C.: Maude formalization of MSSP, \n                    \n                      http:\/\/fsl.cs.uiuc.edu\/mssp","key":"10_CR8"},{"unstructured":"Salverda, P., Zilles, C.: Formal verification of MSSP. Technical Report UIUCDCS-R-2003-2384, University of Illinois at Urbana-Champaign (December 2003)","key":"10_CR9"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/3-540-63166-6_36","volume-title":"Computer Aided Verification","author":"J. Sawada","year":"1997","unstructured":"Sawada, J., Hunt, W.A.: Trace table based approach for pipelined microprocessor verification. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 364\u2013375. Springer, Heidelberg (1997)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BFb0028740","volume-title":"Computer Aided Verification","author":"J. Sawada","year":"1998","unstructured":"Sawada, J., Hunt, W.A.: Processor verification with precise exceptions and speculative execution. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 135\u2013146. Springer, Heidelberg (1998)"},{"doi-asserted-by":"crossref","unstructured":"Sohi, G., Breach, S., Vijaykumar, T.: Multiscalar processors. In: Proc. 22nd Annual International Symposium on Computer Architecture, June 1995, pp. 414\u2013425 (1995)","key":"10_CR12","DOI":"10.1145\/223982.224451"},{"unstructured":"Zilles, C.: Master\/slave speculative parallelization and approximate code. PhD thesis, University of Winsconsin - Madison (2002)","key":"10_CR13"},{"doi-asserted-by":"crossref","unstructured":"Zilles, C., Sohi, G.: Master\/slave speculative parallelization. In: Proc. 35th Annual ACM\/IEEE International Symposium on Microarchitecture, November 2002, pp. 85\u201396 (2002)","key":"10_CR14","DOI":"10.1109\/MICRO.2002.1176241"}],"container-title":["Lecture Notes in Computer Science","FM 2005: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11526841_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:47:49Z","timestamp":1619506069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11526841_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540278825","9783540317142"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11526841_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}