9325 search results - page 419 / 1865 » The decentralized implementability problem |
133
click to vote
LISA
2001
15 years 6 months ago
2001
After installing an OS distribution, a computer is generally not yet properly adapted to go into production at the local site. Security policies must be implemented, local service...
138
click to vote
SNPD
2004
15 years 6 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
141
click to vote
WSC
2001
15 years 6 months ago
2001
Various stochastic programmingproblemscan be formulated as problems of optimization of an expected value function. Quite often the corresponding expectation function cannot be com...
117
click to vote
NIPS
2003
15 years 6 months ago
2003
The barn owl is a nocturnal hunter, capable of capturing prey using auditory information alone [1]. The neural basis for this localization behavior is the existence of auditory ne...
145
Voted
PDPTA
2000
15 years 6 months ago
2000
In this paper we address the issue of dependable distributed high performance computing in the field of Symbolic Computation. We describe the extension of a middleware infrastructu...