4491 search results - page 646 / 899 » Algorithm Engineering |
171
click to vote
FCCM
2002
IEEE
15 years 11 months ago
2002
IEEE
NASA’s satellites currently do not make use of advanced image compression techniques during data transmission to earth because of limitations in the available platforms. With th...
170
click to vote
LCTRTS
2007
Springer
16 years 22 days ago
2007
Springer
Energy efficiency is an important factor in embedded systems design. We consider an embedded system with a dynamic voltage scaling (DVS) capable processor and its system-wide pow...
236
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
One of the most challenging problems in high-level synthesis is how to quickly explore a wide range of design options to achieve high-quality designs. This paper presents an Integ...
171
click to vote
LCTRTS
2007
Springer
16 years 22 days ago
2007
Springer
Existing methods place data or code in scratchpad memory, i.e., SPM by either relying on heuristics or resorting to integer programming or mapping it to a graph coloring problem. ...
180
click to vote
ISORC
2005
IEEE
16 years 6 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...