1456 search results - page 110 / 292 » DYANA: An Environment for Embedded System Design and Analysi... |
170
click to vote
CODES
2007
IEEE
16 years 25 days ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
170
click to vote
DATE
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
171
click to vote
CODES
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
176
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
Java is one of the most popular programming languages for the development of portable workstation and server applications available today. Because of its clean design and typesafe...
190
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper presents a new methodology for system-level power and performance analysis of wireless multimedia systems. More precisely, we introduce an analytical approach based on ...