5239 search results - page 268 / 1048 » Model-Integrated Embedded Systems |
144
click to vote
LCTRTS
1998
Springer
15 years 11 months ago
1998
Springer
The Counterflow Pipeline (CFP) organization may be a good target for synthesis of application-specific microprocessors for embedded systems because it has a regular and simple str...
145
click to vote
ENTCS
2008
15 years 6 months ago
2008
and Abstract Interpretation for C/C++ Programs Helge L
152
click to vote
EUROGP
2004
Springer
16 years 1 days ago
2004
Springer
Despite considerable progress in GP over the past 10 years, there are many outstanding challenges that need to be addressed before it will be widely deployed for developing useful ...
165
click to vote
IPCO
1992
15 years 7 months ago
1992
We present exact characterizations of structures on which the greedy algorithm produces optimal solutions. Our characterization, which we call matroid embeddings, complete the par...