385 search results - page 20 / 77 » Verified Code Generation for Embedded Systems |
104
click to vote
CODES
1997
IEEE
15 years 6 months ago
1997
IEEE
The Pia hardware-software co-simulator provides substantial speedups over traditional co-simulation methods by permitting dynamic changes in the level of detail when simulating co...
78
Voted
ICIP
2003
IEEE
16 years 3 months ago
2003
IEEE
We present an authenticable graphical barcode symbology, and describe a system for its reliable encoding and decoding. The graphical barcode is generated by modulating halftone pa...
126
Voted
POPL
2000
ACM
15 years 6 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
111
Voted
IESS
2007
Springer
15 years 8 months ago
2007
Springer
The stringent performance constraints and short time to market of modern digital systems require automatic methods for design of high performance applicationspecific architectures...
107
click to vote
CGO
2010
IEEE
15 years 8 months ago
2010
IEEE
For memory constrained embedded systems code size is at least as important as performance. One way of increasing code density is to exploit compact instruction formats, e.g. ARM T...