822 search results - page 17 / 165 » Hardware software partitioning of embedded system in OCAPI-x... |
152
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
160
Voted
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Embedded designers now have the capability of offloading software routines into custom applicationspecific hardware blocks. This paper evaluates a domain-specific design system fo...
157
click to vote
ARCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Evolutionary hardware design reveals the potential to provide autonomous systems with self-adaptation properties. We first outline an architectural concept for an intrins...
191
Voted
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
– To make a mobile robot with real-time vision system adapt to the highly dynamic environments and emergencies under the real-time constraints, a significant account of processin...
167
click to vote
EUROMICRO
2007
IEEE
15 years 9 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...