{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:32:05Z","timestamp":1761323525549},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665885"},{"type":"electronic","value":"9783540481188"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48118-4_22","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T20:30:57Z","timestamp":1194985857000},"page":"1364-1383","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Validation of mixed signal-alpha real-time systems through affine calculus on clock synchronisation constraints"],"prefix":"10.1007","author":[{"given":"Irina M.","family":"Smarandache","sequence":"first","affiliation":[]},{"given":"Thierry","family":"Gautier","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Le Guernic","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"22_CR1","series-title":"INRIA Research Report","volume-title":"Arborescent Canonical Form of Boolean Expressions","author":"T. Amagbegnon","year":"1994","unstructured":"Amagbegnon T., Besnard L., Le Guernic P.: Arborescent Canonical Form of Boolean Expressions. INRIA Research Report 2290, IRISA\/INRIA-Rennes, France, 1994"},{"key":"22_CR2","series-title":"IRISA Research Report","volume-title":"The Signal dataflow methodology applied to a production cell","author":"T. Amagbegnon","year":"1995","unstructured":"Amagbegnon T., Le Guernic P., Marchand H., Rutten E.: The Signal dataflow methodology applied to a production cell. IRISA Research Report 917, IRISA\/INRIA-Rennes, France, 1995"},{"key":"22_CR3","unstructured":"Belhadj M.: \u201cUsing Vhdl for Link to Synthesis Tools\u201d. Proceedings of the North Atlantic Test Workshop, June 1994, Nmes, France"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Benveniste A., Berry G.: \u201cReal-Time systems design and programming\u201d, Proceedings of the IEEE, September 1991, 79, (9)","DOI":"10.1109\/5.97297"},{"key":"22_CR5","unstructured":"Besnard L.: Compilation de Signal: horloges, dpendances, environnement, PhD Thesis, University of Rennes 1, France, September 1992"},{"key":"22_CR6","unstructured":"Birkoff G.: Lattice Theory, AMS colloquium publications, 1973."},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"De Micheli G.: \u201cComputer-Aided Hardware-Software Codesign\u201d, IEEE Micro, August 1994, 14, (4)","DOI":"10.1109\/40.296153"},{"key":"22_CR8","unstructured":"ETSI (European Telecommunication Standards Institute) Specification of Component TV codecs 32-45 Mbit\/s. December 1990"},{"key":"22_CR9","volume-title":"CODESIGN Conception conjointe logiciel-matriel","author":"T. Gautier","year":"1998","unstructured":"Gautier T., Le Guernic P., Quinton P., Rajopadhye S., Risset T., Smarandache I.: \u201cProjet CAIRN: conception d\u2019architectures partir de Signal et Alpha\u201d CODESIGN Conception conjointe logiciel-matriel, Eyrolles, Collection Technique et Scientifique des Tlcommunications, 1998"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Gupta R.K., Coelho C.N., De Micheli G.: \u201cProgram Implementation Schemes for Hardware-Software Systems\u201d Computer, January 1994, pp. 48\u201355","DOI":"10.1109\/2.248880"},{"issue":"3","key":"22_CR11","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/54.232469","volume":"10","author":"A. Kalavade","year":"1993","unstructured":"Kalavade A., Lee E.A.: \u201cA Hardware-Software Codesign Methodology for Dsp Applications\u201d IEEE Design & Test of Computers, September 1993, 10, (3), pp. 16\u201328","journal-title":"IEEE Design & Test of Computers"},{"key":"22_CR12","unstructured":"Le Guernic P., Gautier T.: \u201cData-Flow to von Neumann: the Signal Approach\u201d, Advanced Topics in Data-Flow Computing, (Gaudiot J. L. and Bic L., 1991), pp. 413\u2013438"},{"issue":"9","key":"22_CR13","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P. Guernic Le","year":"1991","unstructured":"Le Guernic P., Gautier T., Le Borgne M., Le Maire C.: \u201cProgramming Real-time Applications with Signal\u201d, Proceedings of the IEEE, September 1991, 79, (9), pp. 1321\u20131336","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"22_CR14","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/54.232471","volume":"10","author":"M.H. Salinas","year":"1993","unstructured":"Salinas M.H., Johnson B.W., Aylor J.H.: \u201cImplementation-Independent Model of an Instruction Set Architecture in Vhdl\u201d IEEE Design & Test of Computers, September 1993, 10, (3), pp. 42\u201354","journal-title":"IEEE Design & Test of Computers"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Sanderson J.G.: A Relational Theory of Computing, Springer Verlag 1980, 80, Goss G. and Hartmanis J.","DOI":"10.1007\/3-540-09987-5"},{"key":"22_CR16","series-title":"PhD Thesis","volume-title":"Transformations affines d\u2019horloges: application au codesign de syst\u00e8mes temps-r\u00e9el en utilisant les langages Signal et Alpha","author":"I. Smarandache","year":"1998","unstructured":"Smarandache I.: Transformations affines d\u2019horloges: application au codesign de syst\u00e8mes temps-r\u00e9el en utilisant les langages Signal et Alpha, PhD Thesis, University of Rennes 1, France, October 1998"},{"key":"22_CR17","series-title":"Lect Notes Comput Sci","volume-title":"Transformation-Based Reactive Systems Development","author":"I. Smarandache","year":"1997","unstructured":"Smarandache I. Le Guernic P.: \u201cAffine Transformations in Signal and Their Applications in the Specifications and Validation of Real-Time Systems\u201d Transformation-Based Reactive Systems Development, Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, Palma, Spain, LNCS 1231, Springer Verlag, 1997"},{"key":"22_CR18","series-title":"INRIA Research Report","volume-title":"A Canonical Form for Affine Relations in Signal","author":"I. Smarandache","year":"1997","unstructured":"Smarandache I., Le Guernic P.: A Canonical Form for Affine Relations in Signal. INRIA Research Report 3097, IRISA\/INRIA-Rennes, France, 1997"},{"issue":"3","key":"22_CR19","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/54.232468","volume":"10","author":"D.E. Thomas","year":"1993","unstructured":"Thomas D.E., Adams J.K., Schmit H.: \u201cA Model and Methodology for Hardware-Software Codesign\u201d IEEE Design & Test of Computers, September 1993, 10, (3), pp. 6\u201315","journal-title":"IEEE Design & Test of Computers"},{"key":"22_CR20","series-title":"IRISA Research Report","volume-title":"The Alpha Language","author":"D. Wilde","year":"1994","unstructured":"Wilde D.: The Alpha Language. IRISA Research Report 827, IRISA\/INRIA-Rennes, France, 1994"},{"key":"22_CR21","series-title":"IRISA Research Report","volume-title":"Regular array synthesis using Alpha","author":"D. Wilde","year":"1994","unstructured":"Wilde D., Si\u00e9 O.: Regular array synthesis using Alpha. IRISA Research Report 829, IRISA\/INRIA-Rennes, France, 1994"}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48118-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:02:05Z","timestamp":1558263725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"17 September 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}