881 search results - page 101 / 177 » Specification and Design Considerations for Reliable Embedde... |
ISCAS
2003
IEEE
15 years 3 months ago
2003
IEEE
Reconfigurable Computers based on a combination of conventional microprocessors and Field Programmable Gate Arrays (FPGAs) presents new challenges to designers. Debugging on such ...
TACAS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
ECRTS
2010
IEEE
14 years 11 months ago
2010
IEEE
Modern real-time systems increasingly operate with multiple interactive applications. While these systems often require reliable quality of service (QoS) for the applications, eve...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
VLSID
2004
IEEE
15 years 10 months ago
2004
IEEE
Recent developments in embedded systems technology have opened up a vast area of research and development- the development of portable and affordable assistive devices tuned to sp...