3844 search results - page 168 / 769 » Modular interpreted systems |
113
Voted
ENTCS
2007
15 years 3 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
109
click to vote
AROBOTS
2000
15 years 3 months ago
2000
In this paper, I describe a simple functional programming language, GRL, in which most of the characteristic features of the popular behavior-based robot architectures can be conc...
115
Voted
AROBOTS
2000
15 years 3 months ago
2000
We wish for robots to manipulate objects and move flexibly in three-dimensional spaces. We describe a robot that can move on a web of surfaces oriented around arbitrary directions ...
143
click to vote
WMRD
1990
15 years 7 months ago
1990
Ficus is a replicated general ling environment for Unix intended to scale to very large nationwide networks. The system employs an optimistic one copy availability" model in ...
140
Voted
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— This video presents a humanoid two-arm system developed as a research platform for studying dexterous twohanded manipulation. The system is based on the modular DLR-Lightweight...