385 search results - page 38 / 77 » Verified Code Generation for Embedded Systems |
124
click to vote
CASES
2010
ACM
14 years 12 months ago
2010
ACM
Wired embedded networks must include multicast authentication to prevent masquerade attacks within the network. However, unique constraints for these networks make most existing m...
106
click to vote
CODES
2000
IEEE
15 years 6 months ago
2000
IEEE
One of the challenging tasks in code generation for embedded systems is register allocation and assignment, wherein one decides on the placement and lifetimes of variables in regi...
101
Voted
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
111
click to vote
RTCSA
2005
IEEE
15 years 7 months ago
2005
IEEE
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
111
click to vote
JTRES
2009
ACM
15 years 8 months ago
2009
ACM
The ScopedMemory class of the RTSJ enables the organization of objects into regions. This ensures time-predictable management of dynamic memory. Using scopes forces the programmer...