385 search results - page 56 / 77 » Verified Code Generation for Embedded Systems |
115
Voted
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
108
click to vote
RTCSA
2005
IEEE
15 years 7 months ago
2005
IEEE
While enabling fast implementation and reconfiguration of stream applications, programmable stream processors expose issues of incompatibility and lack of adoption in existing st...
127
Voted
ICSE
2000
IEEE-ACM
15 years 5 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...
128
click to vote
EUC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Embedded systems have strict timing and code size requirements. Retiming is one of the most important optimization techniques to improve the execution time of loops by in...
127
Voted
POPL
2000
ACM
15 years 5 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...