Sciweavers

923 search results - page 48 / 185
» Component-based software engineering for embedded systems
Sort
View
CODES
2001
IEEE
13 years 12 months ago
Formal synthesis and code generation of embedded real-time software
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
Pao-Ann Hsiung
CODES
2004
IEEE
13 years 12 months ago
Efficient search space exploration for HW-SW partitioning
Hardware/software (HW-SW) partitioning is a key problem in the codesign of embedded systems, studied extensively in the past. One major open challenge for traditional partitioning...
Sudarshan Banerjee, Nikil D. Dutt
INDIASE
2009
ACM
14 years 27 days ago
Method engineering process patterns
Component-Based Development (CBD) has been broadly used in software development, as it enhances reusability and flexibility, and reduces the costs and risks involved in systems dev...
Mohsen Asadi, Raman Ramsin
ETFA
2008
IEEE
13 years 10 months ago
Functional and structural properties in the Model-Driven Engineering approach
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
Daniela Cancila, Roberto Passerone
DAC
1997
ACM
14 years 12 days ago
Static Timing Analysis of Embedded Software
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
Sharad Malik, Margaret Martonosi, Yau-Tsun Steven ...