1126 search results - page 91 / 226 » Modularity and the Rule of Adaptation |
114
click to vote
LISA
1994
15 years 5 months ago
1994
This paper presents a machine configuration system which stores all configuration parameters in a central ``database''. The system is dynamic in the sense that machines ...
128
click to vote
NIPS
1994
15 years 5 months ago
1994
This paper discusses the linearly weighted combination of estimators in which the weighting functions are dependent on the input. We show that the weighting functions can be deriv...
178
Voted
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
128
click to vote
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Recently, notions of equivalence for Answer Set Programming have been studied intensively and were shown to be beneficial for modular programming and automated optimizati...
134
click to vote
ENTCS
2008
15 years 3 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...