7429 search results - page 593 / 1486 » Embedded System Update |
189
click to vote
ENTCS
2002
15 years 7 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
194
click to vote
DAC
2001
ACM
16 years 8 months ago
2001
ACM
Energy consumption has become an increasingly important consideration in designing many real-time embedded systems. Variable voltage processors, if used properly, can dramatically...
188
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
194
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
Exploitation of silicon capacity will require improvements in design productivity and more scalable system paradigms. Asynchronous message passing networks on chip (NOC) have been...
165
click to vote
ICCAD
2001
IEEE
16 years 4 months ago
2001
IEEE
In this work, we provide a technique for efficiently exploring the configuration space of a parameterized system-on-a-chip (SOC) architecture to find all Pareto-optimal configurat...