822 search results - page 17 / 165 » Hardware software partitioning of embedded system in OCAPI-x... |
COMPSAC
2007
IEEE
14 years 23 days 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...
IPPS
2005
IEEE
14 years 2 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...
ARCS
2007
Springer
14 years 24 days 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...
ICRA
2006
IEEE
14 years 2 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...
EUROMICRO
2007
IEEE
14 years 21 days 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...