1724 search results - page 116 / 345 » Industrial applications |
177
click to vote
ICFP
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes the development of the programming language Erlang during the period 1985-1997. Erlang is a concurrent programming language designed for programming large-sca...
164
click to vote
FBT
1997
15 years 7 months ago
1997
Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple...
178
click to vote
FORTE
1990
15 years 7 months ago
1990
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
171
click to vote
JACIII
2008
15 years 6 months ago
2008
The development of on line model-based fault detection systems in machinery improves the operational reliability of industrial systems and reduces the operational and maintenance ...
210
click to vote
JIRS
2010
15 years 4 months ago
2010
The estimation of the performance characteristics of robot manipulators is crucial in robot application and design. Furthermore, studying the manipulability index for every point w...