1140 search results - page 21 / 228 » Embedded Software: Better Models, Better Code |
197
click to vote
CL
2008
Springer
15 years 6 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
143
click to vote
CODES
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
159
click to vote
ICIP
1997
IEEE
16 years 7 months ago
1997
IEEE
An embedded wavelet coder algorithm which adopts different threshold values in different subbands is proposed in this work. The new image coder, called the multi-threshold wavelet...
142
click to vote
CODES
1996
IEEE
15 years 10 months ago
1996
IEEE
Successful """tiprocessor system design for complex realtime embedded applications requires powerful and comprehensive. yet cost-effective. productive. and maintain...
200
click to vote
SIGSOFT
2006
ACM
15 years 11 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...