385 search results - page 32 / 77 » Verified Code Generation for Embedded Systems |
121
click to vote
CATS
2006
15 years 3 months ago
2006
A complete description and proof of correctness are given for a new polynomial time algorithm for a class of codes based on directed graphs and involving construction well known i...
139
click to vote
MUM
2004
ACM
15 years 7 months ago
2004
ACM
Within the expanding paradigm of medical imaging and wireless communications there is increasing demand for transmitting diagnostic medical imagery over error-prone wireless commu...
145
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
117
click to vote
IEEECIT
2010
IEEE
15 years 13 days ago
2010
IEEE
- The increase of embedded applications complexity has demanded hardware more flexible while providing higher performance. Reconfigurable architectures and stream processing have b...
130
Voted
IVC
2002
15 years 1 months ago
2002
A color scale was designed with an approach that combined both human visual response to color and physical properties of color. The design was initiated with a subjective evaluati...