ISMIS
1991
Springer
15 years 8 months ago
1991
Springer
148
click to vote
ICCL
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
167
click to vote
ISER
1991
Springer
15 years 8 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...
125
click to vote
ISCA
1991
IEEE
15 years 8 months ago
1991
IEEE
This paper describes a parallel associative processor, IXM2, developed mainly for semantic network processing. IXM2 consists of 64 associative processors and 9 network processors,...