{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T14:49:22Z","timestamp":1648738162605},"reference-count":26,"publisher":"Elsevier BV","issue":"1-5","license":[{"start":{"date-parts":[[1988,3,1]],"date-time":"1988-03-01T00:00:00Z","timestamp":573177600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Microprocessing and Microprogramming"],"published-print":{"date-parts":[[1988,3]]},"DOI":"10.1016\/0165-6074(88)90340-7","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T17:14:48Z","timestamp":1062609288000},"page":"95-101","source":"Crossref","is-referenced-by-count":1,"title":["A DAISY architecture for abstract data type implementation in image processing"],"prefix":"10.1016","volume":"23","author":[{"given":"Monica","family":"Alderighi","sequence":"first","affiliation":[]},{"given":"Lauro","family":"Mantoani","sequence":"additional","affiliation":[]},{"given":"Giacomo R","family":"Sechi","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0165-6074(88)90340-7_BIB1","series-title":"Language Hierarchies and Interfaces, International Summer School, Marktoberdof 1975","first-page":"125","article-title":"Program Production by Successive Transformations","volume":"vol 46","author":"Griffiths","year":"1976"},{"key":"10.1016\/0165-6074(88)90340-7_BIB2","series-title":"Microprocessor Advanced Architectures and Design Methodologies","first-page":"88","article-title":"Designing Complex Computational Systems in Physics Experiments: A Scientific Approach Towards a Model Based Method","author":"Alderighi","year":"1986"},{"key":"10.1016\/0165-6074(88)90340-7_BIB3","series-title":"Software Reliability Principles and Practices","author":"Meyers","year":"1976"},{"key":"10.1016\/0165-6074(88)90340-7_BIB4","series-title":"Software Reliability Guidebook","author":"Glass","year":"1979"},{"key":"10.1016\/0165-6074(88)90340-7_BIB5","unstructured":"Alderighi, M., Annunziata, M., Binaghi, E., Ciocca, G., Lisca, L., Pavesi, L., and Sechi, G.R., Reliable Computational Systems for Image Processing in the Shining Project, submitted to publication."},{"key":"10.1016\/0165-6074(88)90340-7_BIB6","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","article-title":"Specification Techniques for Data Abstractions","volume":"1","author":"Liskov","year":"1975","journal-title":"IEEE Trans. on Software Eng."},{"key":"10.1016\/0165-6074(88)90340-7_BIB7","author":"Sydenham","year":"1982"},{"key":"10.1016\/0165-6074(88)90340-7_BIB8","series-title":"Computer Performance Measurement and Evaluation Methods","author":"Svobodova","year":"1976"},{"key":"10.1016\/0165-6074(88)90340-7_BIB9","series-title":"Fundamentals of the Computing Sciences","author":"Maly","year":"1978"},{"key":"10.1016\/0165-6074(88)90340-7_BIB10","series-title":"Proc. Conf. on Computer Graphycs, Pattern Recognition and Data Structures","first-page":"89","article-title":"Abstract Data Types as Initial Algebras and Correctness of Data Representations","author":"Goguen","year":"1975"},{"key":"10.1016\/0165-6074(88)90340-7_BIB11","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/359605.359618","article-title":"Abstract Data Types and the Development of Data Structures","volume":"20","author":"Guttag","year":"1977","journal-title":"Comm. of ACM"},{"key":"10.1016\/0165-6074(88)90340-7_BIB12","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00260922","article-title":"The Algebraic Specification of Abstract Data Types","volume":"10","author":"Guttag","year":"1978","journal-title":"Acta Informatica"},{"key":"10.1016\/0165-6074(88)90340-7_BIB13","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/359657.359666","article-title":"Abstract Data Types and Software Validation","volume":"21","author":"Guttag","year":"1978","journal-title":"Comm. of ACM"},{"key":"10.1016\/0165-6074(88)90340-7_BIB14","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/TSE.1980.230209","article-title":"Notes on Type Abstraction","volume":"6","author":"Guttag","year":"1980","journal-title":"IEEE Trans. on Software Eng."},{"key":"10.1016\/0165-6074(88)90340-7_BIB15","unstructured":"Alderighi, M., Chiodo, M., and Sechi, G.R., ACS: A Specification Language for Automatic Implementation of Abstract Data Type, submitted to publication."},{"key":"10.1016\/0165-6074(88)90340-7_BIB16","unstructured":"Alderighi, M., Chiodo, M., and Sechi, G.R., An Example of Abstract Data Type Formal Specification with a Representation-oriented Technique, submitted to publication."},{"key":"10.1016\/0165-6074(88)90340-7_BIB17","article-title":"Representational Bias in Modelling Reliable Computational Systems","author":"Alderighi","year":"1987","journal-title":"Internal Communication of I.F.C.T.R. - C.N.R."},{"key":"10.1016\/0165-6074(88)90340-7_BIB18","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1016\/0168-9002(84)90212-2","article-title":"Computer Simulation of Ion Discrimination in Mass and Charge","volume":"227","author":"Guazzoni","year":"1984","journal-title":"Nuclear Instruments and Methods"},{"key":"10.1016\/0165-6074(88)90340-7_BIB19","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0165-6074(85)90034-1","article-title":"A Hierarchical Architecture with Independent Processors for Real-Time Systems","volume":"15","author":"Rodda","year":"1985","journal-title":"Microprocessing and Microprogramming"},{"key":"10.1016\/0165-6074(88)90340-7_BIB20","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0165-6074(86)90004-9","article-title":"A Daisy Architecture for the Multiprocessor Real Time Data Acquisition System of the Thor Tokamak Experiment","volume":"17","author":"Annunziata","year":"1986","journal-title":"Microprocessing and Microprogramming"},{"key":"10.1016\/0165-6074(88)90340-7_BIB21","series-title":"Proc. EUROMICRO '85","first-page":"21","article-title":"A Microprogrammed Diagnostic Image Processor","author":"Annunziata","year":"1985"},{"key":"10.1016\/0165-6074(88)90340-7_BIB22","series-title":"Proc. EUROMICRO '86","first-page":"515","article-title":"AMDAS An Advanced Microprogrammed Data Acquisition System: A First Evaluation Prototype","author":"Annunziata","year":"1986"},{"key":"10.1016\/0165-6074(88)90340-7_BIB23","series-title":"Digital Image Processing","author":"Pratt","year":"1978"},{"key":"10.1016\/0165-6074(88)90340-7_BIB24","series-title":"Digital Picture Processing","author":"Rosenfeld","year":"1982"},{"key":"10.1016\/0165-6074(88)90340-7_BIB25","unstructured":"Alderighi, M., Pasi, G., and Sechi, G.R., Designing by Abstraction: an ADT Approach to the Computational System Specification, submitted to publication."},{"key":"10.1016\/0165-6074(88)90340-7_BIB26","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1145\/948415.948422","article-title":"A Technique to Obtain Effective Locality in Fortran IV","volume":"19","author":"Majocchi","year":"1984","journal-title":"ACM Sigplan Notices"}],"container-title":["Microprocessing and Microprogramming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607488903407?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607488903407?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T09:52:59Z","timestamp":1551088379000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0165607488903407"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,3]]},"references-count":26,"journal-issue":{"issue":"1-5","published-print":{"date-parts":[[1988,3]]}},"alternative-id":["0165607488903407"],"URL":"https:\/\/doi.org\/10.1016\/0165-6074(88)90340-7","relation":{},"ISSN":["0165-6074"],"issn-type":[{"value":"0165-6074","type":"print"}],"subject":[],"published":{"date-parts":[[1988,3]]}}}