7429 search results - page 178 / 1486 » Embedded System Update |
138
Voted
RTCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
117
click to vote
FPGA
1999
ACM
15 years 6 months ago
1999
ACM
This paper presents the emulation of an embedded system with hard real time constraints and response times of about 220µs. We show that for such fast reactive systems, the softwa...
101
click to vote
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Software component techniques are widely used to enhance productivity and reduce the cost of software systems development. This paper proposes optimization of component connections...
130
Voted
HASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
FDL
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...