136 search results - page 21 / 28 » Advanced Uses for Micro Saint Simulation Software |
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
EXPCS
2007
13 years 11 months ago
2007
The evaluation of new network server architectures is usually performed experimentally using either a simulator or a hardware prototype. Accurate simulation of the hardwaresoftwar...
FTRTFT
1998
Springer
13 years 11 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
ICCV
1999
IEEE
14 years 9 months ago
1999
IEEE
We propose a flexible new technique to easily calibrate a camera. It only requires the camera to observe a planar pattern shown at a few (at least two) different orientations. Eit...
ICRA
2003
IEEE
14 years 24 days ago
2003
IEEE
Locomotion is considered as most basic function of robots. In the case of ordinary robots, they are not needed to change locomotion pattern because their configurations are consta...