2916 search results - page 325 / 584 » The simulation power of automod |
147
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a hardware mechanism which dynamically detects uniform and affine vectors used in Graphics Processing Units, to minimize pressure on the register file and redu...
185
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...
160
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: Scout II, an autonomous four-legged robot with only one actuator per compliant leg is described. We demonstrate the need to model the actuators and the power source of the robot ...
195
click to vote
LICS
1997
IEEE
15 years 10 months ago
1997
IEEE
Fixpoint expressions built from functional signatures interpreted over arbitrary complete lattices are considered. A generic notionof automatonis defined and shown, by means of a ...
201
click to vote
ISER
1991
Springer
15 years 10 months ago
1991
Springer
Detailed knowledge of actuator properties is a prerequisite for advanced manipulator design and control. This paper deals with the experimental identification and modelling of the...