5239 search results - page 569 / 1048 » Model-Integrated Embedded Systems |
180
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— Recent brain imaging studies on primates revealed that a network of brain areas is activated both during observation and during execution of movements. The present work aims at...
222
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
154
click to vote
ISORC
2007
IEEE
16 years 1 months ago
2007
IEEE
In object-oriented real-time computing scenarios, particularly where Corba is used in embedded systems with resource constraints, developers and system architects often utilize Co...
195
click to vote
ISVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose and implement a vector processing system that includes two identical vector microprocessors embedded in two FPGA chips. Each vector microprocessor suppor...
139
click to vote
ROMAN
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Robot ecologies provide a new paradigm for assistive, service, industrial, and entertainment robotics which is quickly gaining popularity. These ecologies contain a lar...