{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T22:20:09Z","timestamp":1674080409891},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,1,23]],"date-time":"2010-01-23T00:00:00Z","timestamp":1264204800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1007\/s10836-009-5140-4","type":"journal-article","created":{"date-parts":[[2010,1,22]],"date-time":"2010-01-22T03:53:24Z","timestamp":1264132404000},"page":"279-292","source":"Crossref","is-referenced-by-count":11,"title":["Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems"],"prefix":"10.1007","volume":"26","author":[{"given":"Sven","family":"Verdoolaege","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Palkovi\u010d","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerda","family":"Janssens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francky","family":"Catthoor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,1,23]]},"reference":[{"key":"5140_CR1","doi-asserted-by":"crossref","unstructured":"Amarasinghe S, Anderson J, Lam MS, Tseng CW (1995) An overview of the SUIF compiler for scalable parallel machines. In: Proceedings of the seventh SIAM conference on parallel processing for scientific computing, San Francisco, CA","DOI":"10.1007\/3-540-57659-2_15"},{"issue":"2","key":"5140_CR2","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1006\/jpdc.1996.1261","volume":"40","author":"D Barthou","year":"1997","unstructured":"Barthou D, Collard JF, Feautrier P (1997) Fuzzy array dataflow analysis. J Parallel Distrib Comput 40(2):210\u2013226","journal-title":"J Parallel Distrib Comput"},{"key":"5140_CR3","doi-asserted-by":"crossref","unstructured":"Barthou D, Feautrier P, Redon X (2002) On the equivalence of two systems of affine recurrence equations. In: Euro-Par conf., LNCS, vol 2400. Paderborn, pp 309\u2013313","DOI":"10.1007\/3-540-45706-2_40"},{"key":"5140_CR4","unstructured":"Brockmeyer E, Miranda M, Corporaal H, Catthoor F (2003) Layer assignment echniques for low energy in multi-layered memory organisations. In: 2003 design, automation and test in Europe conference and exposition (DATE 2003), pp 11,070\u201311,075"},{"key":"5140_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4903-8","volume-title":"Data access and storage management for embedded programmable processors","author":"F Catthoor","year":"2002","unstructured":"Catthoor F, Danckaert K, Kulkarni C, Brockmeyer E, Kjeldsberg P, Van\u00a0Achteren T, Omn\u00e9s T (2002) Data access and storage management for embedded programmable processors. Kluwer Academic Publishers, Boston, USA"},{"key":"5140_CR6","doi-asserted-by":"crossref","unstructured":"Cousot P, Cousot R (1992) Comparing the Galois connection and widening\/narrowing approaches to abstract interpretation. In: PLILP\u201992, LNCS, vol 631. Leuven, Belgium, pp 269\u2013295","DOI":"10.1007\/3-540-55844-6_142"},{"issue":"1","key":"5140_CR7","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF01407931","volume":"20","author":"P Feautrier","year":"1991","unstructured":"Feautrier P (1991) Dataflow analysis of array and scalar references. Int J Parallel Program 20(1):23\u201353","journal-title":"Int J Parallel Program"},{"issue":"1","key":"5140_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1455229.1455232","volume":"14","author":"SV Gheorghita","year":"2009","unstructured":"Gheorghita SV, Palkovic M, Hamers J, Vandecappelle A, Mamagkakis S, Basten T, Eeckhout L, Corporaal H, Catthoor F, Vandeputte F, De\u00a0Bosschere K (2009) System-scenario-based design of dynamic embedded systems. ACM Transact Des Automat Electron Syst 14(1):1\u201345","journal-title":"ACM Transact Des Automat Electron Syst"},{"key":"5140_CR9","doi-asserted-by":"crossref","unstructured":"Godlin B, Strichman O (2009) Regression verification. In: 46th design automation conference (DAC\u201909), pp 466\u2013471","DOI":"10.1145\/1629911.1630034"},{"key":"5140_CR10","volume-title":"Computer-aided reasoning: an approach","author":"M Kaufmann","year":"2000","unstructured":"Kaufmann M, Moore JS, Manolios P (2000) Computer-aided reasoning: an approach. Kluwer Academic Publishers, Norwell, MA, USA"},{"issue":"6","key":"5140_CR11","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1007\/BF03356760","volume":"24","author":"W Kelly","year":"1996","unstructured":"Kelly W, Pugh W, Rosser E, Shpeisman T (1996) Transitive closure of infinite graphs and its applications. Int J Parallel Program 24(6):579\u2013598","journal-title":"Int J Parallel Program"},{"key":"5140_CR12","unstructured":"Lagerstr\u00f6m K (2001) Design and implementation of an mp3 decoder"},{"issue":"1","key":"5140_CR13","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1504\/IJES.2009.027238","volume":"4","author":"M Palkovic","year":"2009","unstructured":"Palkovic M, Corporaal H, Catthoor F (2009) Dealing with data dependent conditions to enable general global source code transformations. International Journal of Embedded Systems 4(1):27\u201339","journal-title":"International Journal of Embedded Systems"},{"issue":"2","key":"5140_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1497561.1497565","volume":"14","author":"M Palkovic","year":"2009","unstructured":"Palkovic M, Corporaal H, Catthoor F (2009) Trade-offs in loop transformations. ACM Transact Des Automat Electron Syst 14(2):1\u201330. http:\/\/doi.acm.org\/10.1145\/1497561.1497565","journal-title":"ACM Transact Des Automat Electron Syst"},{"key":"5140_CR15","unstructured":"Shashidhar KC (2008) Efficient automatic verification of loop and data-flow transformations by functional equivalence checking. PhD thesis, Katholieke Universiteit Leuven, Leuven, Belgium"},{"key":"5140_CR16","first-page":"221","volume-title":"CC 2005, proceedings, lecture notes in computer science, vol 3443","author":"KC Shashidhar","year":"2005","unstructured":"Shashidhar KC, Bruynooghe M, Catthoor F, Janssens G (2005) Verification of source code transformations by program equivalence checking. In: CC 2005, proceedings, lecture notes in computer science, vol 3443. Springer-Verlag, Berlin, pp 221\u2013236"},{"key":"5140_CR17","first-page":"1141","volume-title":"Proc. 4th Eur. signal processing conf. (EUSIPCO-88)","author":"P Strobach","year":"1988","unstructured":"Strobach P (1988) Qsdpcm \u2013 a new technique in scene adaptive coding. In: Proc. 4th Eur. signal processing conf. (EUSIPCO-88). Elsevier Publ., Grenoble, France, pp 1141\u20131144"},{"key":"5140_CR18","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1007\/978-3-642-02658-4_44","volume-title":"Computer aided verification, vol 21","author":"S Verdoolaege","year":"2009","unstructured":"Verdoolaege S, Janssens G, Bruynooghe M (2009) Equivalence checking of static affine programs using widening to handle recurrences. In: Computer aided verification, vol 21. Springer-Verlag Berlin, Heidelberg, pp 599\u2013613. doi: 10.1007\/978-3-642-02658-4_44"},{"key":"5140_CR19","doi-asserted-by":"crossref","unstructured":"Verdoolaege S, Janssens G, Bruynooghe M (2009) Equivalence checking of static affine programs using widening to handle recurrences. Report CW 565, Department of Computer Science, KULeuven, Leuven, Belgium","DOI":"10.1007\/978-3-642-02658-4_44"},{"key":"5140_CR20","first-page":"122","volume-title":"Proceedings of IEEE international high level design validation and test workshop","author":"S Verdoolaege","year":"2009","unstructured":"Verdoolaege S, Palkovic M, Bruynooghe M, Janssens G, Catthoor F (2009) Experience with widening based equivalence checking in realistic multimedia systems. In: Proceedings of IEEE international high level design validation and test workshop. IEEE Press, San Francisco, CA, USA, pp 122\u2013129"},{"key":"5140_CR21","doi-asserted-by":"crossref","unstructured":"Verdoolaege S, Palkovic M, Bruynooghe M, Janssens G, Catthoor F (2009) Experience with widening based equivalence checking in realistic multimedia systems. Report CW 572, Department of Computer Science, KULeuven, Leuven, Belgium","DOI":"10.1109\/HLDVT.2009.5340164"},{"key":"5140_CR22","unstructured":"Verma M, Marwedel P (2007) Advanced memory optimization techniques for low-power embedded processors. Springer Publishing Company, Incorporated"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-009-5140-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10836-009-5140-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-009-5140-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T01:57:45Z","timestamp":1559267865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10836-009-5140-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,23]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["5140"],"URL":"https:\/\/doi.org\/10.1007\/s10836-009-5140-4","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"value":"0923-8174","type":"print"},{"value":"1573-0727","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1,23]]}}}