4355 search results - page 581 / 871 » From Interpretation to Compilation |
170
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...
153
click to vote
HPDC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper evaluates linear models for predicting the Digital Unix five-second load average from 1 to 30 seconds into the future. A detailed statistical study of a large number of...
177
click to vote
ISIPTA
1999
IEEE
15 years 11 months ago
1999
IEEE
Decision criteria based on an imprecise probability representation of uncertainty have been criticized, from the normative point of view, on the grounds that they make the decisio...
160
click to vote
SOFSEM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used in the database field for the modelling of spatial data since many...
166
click to vote
ICRA
1993
IEEE
15 years 10 months ago
1993
IEEE
The ability to automatically generate internal models from sensed data will be of critical importance in the development of flexible, adaptive and useful unmanned underwater vehic...