1042 search results - page 13 / 209 » Synthesis of Software Programs for Embedded Control Applicat... |
CASES
2004
ACM
15 years 5 months ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...
110
click to vote
RSP
2005
IEEE
15 years 5 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
93
Voted
DAC
2006
ACM
16 years 19 days ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
143
Voted
VEE
2012
ACM
13 years 7 months ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
110
Voted
RTCSA
2006
IEEE
15 years 5 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...