{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T12:32:57Z","timestamp":1770294777586,"version":"3.49.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1991,9,1]],"date-time":"1991-09-01T00:00:00Z","timestamp":683683200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J VLSI Sign Process Syst Sign Image Video Technol"],"published-print":{"date-parts":[[1991,9]]},"DOI":"10.1007\/bf00925828","type":"journal-article","created":{"date-parts":[[2005,1,2]],"date-time":"2005-01-02T15:00:07Z","timestamp":1104678007000},"page":"173-182","source":"Crossref","is-referenced-by-count":73,"title":["The ALPHA language and its use for the design of systolic arrays"],"prefix":"10.1007","volume":"3","author":[{"given":"Herv\u00e9","family":"Le Verge","sequence":"first","affiliation":[]},{"given":"Christophe","family":"Mauras","sequence":"additional","affiliation":[]},{"given":"Patrice","family":"Quinton","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1991,9,1]]},"reference":[{"key":"BF00925828_CR1","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/MC.1982.1653825","volume":"15","author":"H.T. Kung","year":"1982","unstructured":"H.T. Kung, \u201cWhy systolic architectures?\u201dComputer, 15, 1982, pp. 37\u201346.","journal-title":"Computer"},{"key":"BF00925828_CR2","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1145\/321406.321418","volume":"14","author":"R.M. Karp","year":"1967","unstructured":"R.M. Karp, R.E. Miller, and S. Winograd, \u201cThe organization of computations for uniform recurrence equations,\u201dJournal of the Association for Computing Machinery, 14, 1967, pp. 563\u2013590.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"BF00925828_CR3","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/3-540-17943-7_135","volume-title":"Parallel Architectures and Languages Europe","author":"S.V. Rajopadhye","year":"1987","unstructured":"S.V. Rajopadhye and R.M. Fujimoto, \u201cSystolic array synthesis by static analysis of program dependencies.\u201d in (J.W. de Bakker, A.J. Nijman, and P.C. Treleaven, eds.),Parallel Architectures and Languages Europe, pages 295\u2013310, Berlin\/New York: Springer-Verlag, 1987."},{"key":"BF00925828_CR4","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/3-540-16766-8_5","volume-title":"VLSI Algorithms and Architectures","author":"C. Guerra","year":"1986","unstructured":"C. Guerra, \u201cA unifying framework for systolic designs,\u201d inVLSI Algorithms and Architectures, (G. Goos and J. Hartmanis eds.), Berlin\/New York: Springer-Verlag, 1986, pp. 46\u201356."},{"key":"BF00925828_CR5","doi-asserted-by":"crossref","unstructured":"P. Quinton, \u201cAutomatic synthesis of systolic arrays from recurrent uniform equations,\u201d in11th Annual Int. Symp. Computer Arch., Ann Arbor, Pisataway, N.J.: 1984, pp. 208\u2013214.","DOI":"10.1145\/800015.808184"},{"key":"BF00925828_CR6","volume-title":"Parallel and Distributed Algorithms","author":"G.-R. Perrin","year":"1988","unstructured":"G.-R. Perrin, \u201cParallel solving of equation systems,\u201d in (M. Cosnard, P. Quinton, M. Raynal, and Y. Robert, eds.),Parallel and Distributed Algorithms, Amsterdam: North-Holland, 1988."},{"key":"BF00925828_CR7","doi-asserted-by":"crossref","unstructured":"E.A. Ashcroft and W.W. Wadge, \u201cLUCID: a nonprocedural language with iteration,\u201dCACM, 20(7), 1977.","DOI":"10.1145\/359636.359715"},{"key":"BF00925828_CR8","unstructured":"M.C. Chen, Transformations of Parallel Programs in Crystal. Technical Report YALEU\/DCS\/RR-469, Yale University, 1986."},{"key":"BF00925828_CR9","unstructured":"Y. Choo and M.C. Chen, A Theory of Parallel Program Optimization. Technical Report YALEU\/DCS\/TR-608, Yale University, 1988."},{"key":"BF00925828_CR10","doi-asserted-by":"crossref","unstructured":"P. Caspi, D. Pilaud, N. Halbwachs, and J.A. Plaice. \u201cLUSTRE: a declarative language for programming synchronous systems,\u201d inFourteenth Annual ACM Symp. on Principles of Programming Languages, 1987, ACM, Munich (West Germany), pp. 178\u2013188.","DOI":"10.1145\/41625.41641"},{"key":"BF00925828_CR11","series-title":"VLSI Signal Processing","first-page":"282","volume-title":"IEEE Workshop on VLSI","author":"P. LeGuernic","year":"1984","unstructured":"P. LeGuernic, A. Benveniste, P. Bournai, and T. Gautier, \u201cSIGNAL: a data flow oriented language for signal processing,\u201d inIEEE Workshop on VLSI, VLSI Signal Processing, IEEE Press, New York, 1984, pp. 282\u2013293."},{"key":"BF00925828_CR12","series-title":"Proceedings of IFIP Working Conference, Grenoble (France)","volume-title":"From HDL Description to Guaranteed Correct Circuit Designs","author":"N. Halbwachs","year":"1986","unstructured":"N. Halbwachs, A. Longchamp, and D. Pilaud, \u201cDescribing and designing circuits by means of a synchronous declarative language,\u201d inFrom HDL Description to Guaranteed Correct Circuit Designs, Proceedings of IFIP Working Conference, Grenoble (France), Amsterdam: Adam Hilger: North-Holland, 1986."},{"key":"BF00925828_CR13","first-page":"87","volume-title":"Proc. 3d Caltech Conf. on VLSI","author":"C.E. Leiserson","year":"1983","unstructured":"C.E. Leiserson, F.M. Rose, and J.B. Saxe, \u201cOptimizing synchronous circuitry by retiming\u201d (preliminary version). In (R. Bryant, ed.)Proc. 3d Caltech Conf. on VLSI, Berlin: Computer Science Press, 1983, pp. 87\u2013116."},{"key":"BF00925828_CR14","first-page":"81","volume-title":"International Workshop on Systolic Arrays","author":"N. Halbwachs","year":"1986","unstructured":"N. Halbwachs and D. Pilaud, \u201cUse of real-time declarative language for systolic array design and simulation,\u201d in (W. Moore, A. McCabe, and R. Urquhart, ed.)International Workshop on Systolic Arrays, Bristol: Adam Hilger, University of Oxford, 1986, pp. 81\u201390."},{"key":"BF00925828_CR15","unstructured":"C. Mauras, \u201cAlpha: un langage \u00e9quationnel pour la conception et la programmation d'architectures parall\u00e8les synchrones.\u201d Th\u00e8se de l'Universit\u00e9 de Rennes 1, IFSIC, 1989."},{"key":"BF00925828_CR16","series-title":"Proc. of IFIP, Stockholm","first-page":"471","volume-title":"Information Processing","author":"G. Kahn","year":"1974","unstructured":"G. Kahn, \u201cThe semantics of a simple language for parallel programming,\u201d In (J.L. Rosenfeld, ed.),Information Processing, Proc. of IFIP, Stockholm, Amsterdam: North Holland, 1974, pp. 471\u2013475."},{"key":"BF00925828_CR17","volume-title":"Regular Iterative Algorithms and their Implementations on Processor Arrays","author":"S.K. Rao","year":"1985","unstructured":"S.K. Rao,Regular Iterative Algorithms and their Implementations on Processor Arrays. Ph.D. thesis, Stanford University, U.S.A., 1985."},{"key":"BF00925828_CR18","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF02477176","volume":"1","author":"P. Quinton","year":"1989","unstructured":"P. Quinton and V. Van Dongen, \u201cThe mapping of linear recurrence equations on regular arrays,\u201dJournal of VLSI Signal Processing, 1, 1989, pp. 95\u2013113.","journal-title":"Journal of VLSI Signal Processing"},{"key":"BF00925828_CR19","series-title":"Technical Report","volume-title":"Computability of Recurrence Equations","author":"Y. Saouter","year":"1989","unstructured":"Y. Saouter and P. Quinton,Computability of Recurrence Equations. Technical Report, IRISA-Rennes (France), 1989."},{"key":"BF00925828_CR20","doi-asserted-by":"crossref","unstructured":"J.A.B. Fortes, K.S. Fu, and B.W. Wah, \u201cSystematic approaches to the design of algorithmically specified systolic arrays,\u201d inICASSP 85, 1985, pp. 300\u2013303.","DOI":"10.1109\/ICASSP.1985.1168513"},{"key":"BF00925828_CR21","first-page":"11","volume":"31","author":"D.I. Moldovan","year":"1982","unstructured":"D.I. Moldovan, \u201cOn the analysis and synthesis of VLSI algorithms,\u201dIEEE Transactions on Computers, C-31(11), 1982.","journal-title":"IEEE Transactions on Computers"},{"key":"BF00925828_CR22","volume-title":"VLSI Array Processors","author":"S.Y. Kung","year":"1988","unstructured":"S.Y. Kung,VLSI Array Processors. Englewood Cliffs, NJ: Prentice Hall, 1988."},{"key":"BF00925828_CR23","volume-title":"ASAP 90","author":"C. Mauras","year":"1990","unstructured":"C. Mauras, P. Quinton, S. Rajopadhye, and Y. Saouter, \u201cScheduling affine parameterized recurrences by means of variable dependent timing function,\u201d inASAP 90, Princeton: Princeton University, 1990."},{"key":"BF00925828_CR24","doi-asserted-by":"crossref","unstructured":"J.A.B. Fortes and D.I. Moldovan, \u201cData broadcasting in linearly scheduled array processors,\u201d inProc. 11th Annual Symp. on Computer Architecture, 1984, pp. 224\u2013231.","DOI":"10.1145\/800015.808186"},{"key":"BF00925828_CR25","doi-asserted-by":"crossref","unstructured":"P. Borras, D. Cl\u00e9ment, Th. Despeyroux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual.CENTAUR: the System. Technical Report 777, INRIA, 1987.","DOI":"10.1145\/64135.65005"},{"key":"BF00925828_CR26","series-title":"Wiley-Interscience Series in Discrete Mathematics","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1986","unstructured":"A. Schrijver,Theory of Linear and Integer Programming. Wiley-Interscience Series in Discrete Mathematics, New York: Wiley and Sons, 1986."}],"container-title":["Journal of VLSI signal processing systems for signal, image and video technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00925828.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00925828\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00925828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,22]],"date-time":"2024-12-22T09:33:47Z","timestamp":1734860027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00925828"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,9]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1991,9]]}},"alternative-id":["BF00925828"],"URL":"https:\/\/doi.org\/10.1007\/bf00925828","relation":{},"ISSN":["0922-5773"],"issn-type":[{"value":"0922-5773","type":"print"}],"subject":[],"published":{"date-parts":[[1991,9]]}}}