{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:04Z","timestamp":1725664024160},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584681"},{"type":"electronic","value":"9783540489849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58468-4_183","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:15:32Z","timestamp":1330272932000},"page":"547-566","source":"Crossref","is-referenced-by-count":12,"title":["Distributed implementation of SIGNAL: Scheduling & graph clustering"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Maffe\u00cfs","sequence":"first","affiliation":[]},{"given":"Paul","family":"Guernic","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"27_CR1","unstructured":"A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wiley, 1986."},{"key":"27_CR2","unstructured":"T. Amagbegnon, L. Besnard, and P. L. Guernic. Aborescent canonical form of boolean expressions. Research Report 826, IRISA, June 1994."},{"issue":"1","key":"27_CR3","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/12.75137","volume":"37","author":"S. H. Bokhari","year":"1988","unstructured":"S. H. Bokhari. Partitioning problems in parallel, pipelined, and distributed computing. IEEE Trans. on Computers, 37(1):48\u201357, January 1988.","journal-title":"IEEE Trans. on Computers"},{"key":"27_CR4","volume-title":"Research report 2206","author":"P. Bournai","year":"1994","unstructured":"P. Bournai, C. Lavarenne, P. Le Guernic, O. Maffe\u00cfs, and Y. Sorel. Interface SIGNAL-SynDEx. Research report 2206, INRIA France, Rennes, march 1994."},{"issue":"9","key":"27_CR5","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/5.97299","volume":"79","author":"F. Boussinot","year":"1991","unstructured":"F. Boussinot and R. De Simone. The Esterel language. Proceedings of the IEEE, 79(9):1293\u20131304, Sept. 1991.","journal-title":"Proceedings of the IEEE"},{"issue":"4","key":"27_CR6","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1016\/0743-7315(92)90012-C","volume":"16","author":"A. Gerasoulis","year":"1992","unstructured":"A. Gerasoulis and T. Yang. A comparison of clustering heuristics for clustering dags on multiprocessors. Journal of Parallel and Distributed Computing, Special Issues on Scheduling and Load Balancing, 16(4):276\u2013291, Dec. 1992.","journal-title":"Journal of Parallel and Distributed Computing, Special Issues on Scheduling and Load Balancing"},{"key":"27_CR7","unstructured":"A. Gerasoulis and T. Yang. A static-dataflow scheduling tool for scalable parallel architectures. In Summer School on Scheduling Theory and its applications, pages 382\u2013417. Chateau de Bonas(Gers), INRIA, Sept. 1992."},{"issue":"9","key":"27_CR8","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data flow programming language Lustre. Proc. of the IEEE, 79(9):1305\u20131321, Sept. 1991.","journal-title":"Proc. of the IEEE"},{"key":"27_CR9","first-page":"1","volume":"III","author":"S. J. Kim","year":"1988","unstructured":"S. J. Kim and J. C. Browne. A general approach to mapping of parallel computation upon multiprocessor architectures. In Int. Conf. on Parallel Processing, volume III, pages 1\u20138, 1988.","journal-title":"Int. Conf. on Parallel Processing"},{"issue":"2","key":"27_CR10","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/130844.130856","volume":"24","author":"C. W. Krueger","year":"1992","unstructured":"C. W. Krueger. Software reuse. ACM Computing Surveys, 24(2):131\u2013183, June 1992.","journal-title":"ACM Computing Surveys"},{"key":"27_CR11","first-page":"1684","volume":"2","author":"C. Lavarenne","year":"1991","unstructured":"C. Lavarenne, O. Segrouchni, Y. Sorel, and M. Sorine. The Syndex software environment for real-time distributed systems design and implementation. In European Control Conference, volume 2, pages 1684\u20131689, June 1991.","journal-title":"European Control Conference"},{"key":"27_CR12","volume-title":"Research Report 1228","author":"B. Goff Le","year":"1990","unstructured":"B. Le Goff, P. Le Guernic, and J. Ar\u00e1oz Durand. Semi-granules and schielding for off-line scheduling. Research Report 1228, INRIA France, Rocquencourt, May 1990."},{"issue":"9","key":"27_CR13","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P. Guernic Le","year":"1991","unstructured":"P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Maire. Programming real-time applications with Signal. Proceedings of the IEEE, 79(9):1321\u20131336, Sept. 1991.","journal-title":"Proceedings of the IEEE"},{"key":"27_CR14","volume-title":"PhD thesis","author":"O. Maffe\u00cfs","year":"1993","unstructured":"O. Maffe\u00cfs. Ordonnancements de graphes de flots synchrones; Application \u00e0 Signal. PhD thesis, Universit\u00e9 de Rennes 1, France, Jan. 1993."},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"O. Maffe\u00cfs and P. Le Guernic. Combining dependability with architectural adaptability by means of the Signal language. In 3rd Int. Workshop on Static Analysis, pages 99\u2013110. LNCS no 724, Springer-Verlag, Sept. 1993.","DOI":"10.1007\/3-540-57264-3_32"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"27_CR17","unstructured":"F. Maraninchi. The Argos language: Graphical representation of automata and description of reactive systems. In IEEE Workshop on Visual Languages, Oct. 1991."},{"key":"27_CR18","volume-title":"Research Monographs in Parallel and Distributed Computing","author":"V. Sarkar","year":"1989","unstructured":"V. Sarkar. Partitioning and Scheduling Parallel Programs for Multiprocessors. Research Monographs in Parallel and Distributed Computing. MIT Press, Cambridge, Massachusetts, and Pitman Publishing, London, U.K., 1989."},{"key":"27_CR19","volume-title":"Reference Manual for the Ada Programming Language","author":"USDD","year":"1983","unstructured":"USDD. Reference Manual for the Ada Programming Language. United States, Department of Defense, 1983. ANSI:MIL-STD-1815A-1983."},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"T. Yang and A. Gerasoulis. Pyrros: Static task scheduling and code generation for message-passing multiprocessors. In Proc. of the 6th ACM Int. Conf. on Supercomputing, pages 428\u2013437, 1992.","DOI":"10.1145\/143369.143446"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58468-4_183.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:21:48Z","timestamp":1605648108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58468-4_183"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584681","9783540489849"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-58468-4_183","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}