TAILIEUCHUNG - Báo cáo hóa học: " Research Article Removing Cycles in Esterel Programs Jan Lukoschus and Reinhard von Hanxleden"

Tuyển tập báo cáo các nghiên cứu khoa học quốc tế ngành hóa học dành cho các bạn yêu hóa học tham khảo đề tài: Research Article Removing Cycles in Esterel Programs Jan Lukoschus and Reinhard von Hanxleden | Hindawi Publishing Corporation EURASIP Journal on Embedded Systems Volume 2007 Article ID 48979 23 pages doi 2007 48979 Research Article Removing Cycles in Esterel Programs Jan Lukoschusand Reinhard von Hanxleden Department of Computer Science Christian-Albrechts-Universitat zu Kiel Olshausenstr. 40 24098 Kiel Germany Received 1 June 2006 Revised 14 January 2007 Accepted 6 March 2007 Recommended by Alain Girault Esterel belongs to the family of synchronous programming languages which are affected by cyclic signal dependencies. This prohibits a static scheduling limiting the choice of available compilation techniques for programs with such cycles. This work proposes an algorithm that given a constructive synchronous Esterel program performs a semantics-preserving source code level transformation that removes cyclic signal dependencies. The transformation is divided into two parts detection of cycles and iterative resolution of these cycles. It is based on the replacement of cycle signals by a signal expression involving no other cycle signals thereby breaking the cycle. This transformation of cyclic Esterel programs enables the use of efficient compilation techniques which are only available for acyclic programs. Furthermore experiments indicate that the code transformation can even improve code quality produced by compilers that can already handle cyclic programs. Copyright 2007 J. Lukoschus and R. von Hanxleden. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use distribution and reproduction in any medium provided the original work is properly cited. 1. INTRODUCTION One of the strengths of synchronous languages 1 is their deterministic semantics in the presence of concurrency. Synchronicity implies instantaneous interactions between concurrent threads which makes it possible to write a synchronous program that contains cyclic interdependencies among concurrent threads. Depending on the .

• Báo cáo khoa học
• báo cáo khoa học
• báo cáo hóa học
• công trình nghiên cứu về hóa học
• tài liệu về hóa học
• cách trình bày báo cáo
• trình bày báo cáo
• tài liệu báo cáo khoa học
• cách trình bày báo cáo khoa học
• báo cáo khoa học sinh học
• báo cáo khoa học toán học
• luận văn mẫu
• người lính việt nam
• sau chiến tranh
• tuyển tập báo cáo khoa học
• báo cáo ngành triết học
• báo cáo ngành lịch sử
• báo cáo ngành văn học
• nghiên cứu khoa học
• báo cáo về văn học
• báo cáo triết học
• báo cáo văn học
• chuyên đề văn học
• văn học nghệ thuật
• văn học Việt NAm
• báo cáo ngành toán học
• báo cáo ngành vật lý
• báo cáo ngành chăn nuôi
• văn học Trung Hoa
• báo cáo khoa học kinh tế
• Kỷ yếu tóm tắt báo cáo khoa học
• Báo cáo khoa học y học
• Báo cáo y học
• Hội nghị khoa học tim mạch
• Báo cáo khoa học y khoa
• Tăng huyết áp
• báo cáo sinh học
• bảo tồn nguồn gen
• báo cáo ngành kỹ thuật
• Báo cáo quản lý chất thải sinh hoạt
• Báo cáo khoa học môi trường
• Báo cáo khoa học công nghệ
• Nghiên cứu khoa học về môi trường
• Đề tài nghiên cứu khoa học
• Báo cáo nghiên cứu khoa học