44651 search results - page 8648 / 8931 » A Generalization of the Least General Generalization |
173
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
318
click to vote
ENTCS
2002
15 years 6 months ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
165
click to vote
EOR
2002
15 years 6 months ago
2002
Capacity choice or expansion, whether organic or via mergers and acquisitions, creates firms of widely varying scales. The ex-post profitability of such a transformed firm relativ...
177
click to vote
JACM
2000
15 years 6 months ago
2000
We consider comparator networks M that are used repeatedly: while the output produced by M is not sorted, it is fed again into M. Sorting algorithms working in this way are called ...
174
click to vote
JACM
2000
15 years 6 months ago
2000
A crashing network protocol is an asynchronous protocol whose memory does not survive crashes. We show that a crashing network protocol that works over unreliable links can be driv...