TAILIEUCHUNG - báo cáo hóa học:" Research Article A Formal Model for Performance and Energy Evaluation of Embedded Systems"

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 A Formal Model for Performance and Energy Evaluation of Embedded Systems | Hindawi Publishing Corporation EURASIP Journal on Embedded Systems Volume 2011 Article ID316510 12 pages doi 2011 316510 Research Article A Formal Model for Performance and Energy Evaluation of Embedded Systems Bruno Nogueira 1 2 Paulo Maciel 1 Eduardo Tavares 1 Ermeson Andrade 1 Ricardo Massa 1 Gustavo Callou 1 and Rodolfo Ferraz1 1 Informatics Center Federal University of Pernambuco Recife Brazil 2 Academic Unit of Garanhuns Federal Rural University of Pernambuco Garanhuns Brazil Correspondence should be addressed to Bruno Nogueira bcsn@ Received 2 June 2010 Accepted 21 September 2010 Academic Editor Dietmar Bruckner Copyright 2011 Bruno Nogueira et al. 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. Embedded systems designers need to verify their design choices to find the proper platform and software that satisfy a given set of requirements. In this context it is essential to adopt formal-based techniques to evaluate the impact of design choices on system requirements. To be useful such techniques must produce accurate results with minimal computation time. This paper proposes an approach based on Coloured Petri Nets for evaluating embedded systems performance and energy consumption. In particular this work presents a method for specifying and evaluating the workload and the platform components such as processors and shared or private memories. The method is applied to model single processor and multiprocessor platforms. Experimental results demonstrate an average accuracy of 96 in comparison with the respective measures assessed from the real hardware platform. 1. Introduction The design of embedded systems usually must take into account several nonfunctional constraints such as performance size weight cost reliability and durability. The rapid growth of .

• Báo cáo khoa học
• báo cáo hóa 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
• báo cáo khoa học
• trình bày báo cáo
• tài liệu báo cáo khoa học
• báo cáo khoa học sinh học
• báo cáo khoa học nông nghiệp
• tuyển tập báo cáo khoa học
• báo cáo ngành toán học
• báo cáo ngành sinh học
• báo cáo ngành vật lý
• phân tích nhiệt
• báo cáo ngành chăn nuôi
• nghiên cứu khoa học
• cách trình bày báo cáo khoa học
• báo cáo về văn học
• báo cáo triết học
• công nghiệp hóa
• hiện đại hóa
• 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
• phát triển kinh tế
• báo cáo ngành kỹ thuật
• báo cáo về tin học
• báo cáo tiếng anh
• báo cáo kỹ thuật
• báo cáo sinh học
• báo cáo nông nghiệp
• báo cáo văn học