254 search results - page 21 / 51 » A Behavioral Module System for the Pi-Calculus |
141
click to vote
AHS
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper introduces Perplexus, a European project that aims to develop a scalable hardware platform made of custom reconfigurable devices endowed with bio-inspired capabilities...
101
click to vote
ISVLSI
2006
IEEE
15 years 9 months ago
2006
IEEE
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...
116
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...
157
click to vote
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— This article presents a control architecture for controlling the locomotion of an amphibious snake/lamprey robot capable of swimming and serpentine locomotion. The control arch...
133
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The semi-automatic or automatic synthesis of robot controller software is both desirable and challenging. Synthesis of rather simple behaviors such as collision avoidance by apply...