3856 search results - page 143 / 772 » Models for Automated Earthmoving |
137
click to vote
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite e...
157
Voted
ICIAR
2004
Springer
15 years 10 months ago
2004
Springer
The automated flaw detection in aluminium castings consists of two steps: a) identification of potential defects using image processing techniques, and b) classification of pote...
166
Voted
FATES
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
177
Voted
MICRO
2002
IEEE
15 years 10 months ago
2002
IEEE
Pre-execution attacks cache misses for which conventional address-prediction driven prefetching is ineffective. In pre-execution, copies of cache miss computations are isolated fr...
174
click to vote
ERCIMDL
2006
Springer
15 years 8 months ago
2006
Springer
A machine-learning and a string-matching approach to automated subject classification of text were compared, as to their performance, advantages and downsides. The former approach ...