5790 search results - page 662 / 1158 » Distributed programming with distributed authorization |
135
click to vote
ISIPTA
2005
IEEE
15 years 10 months ago
2005
IEEE
A protocol for the elicitation of imprecise probabilities based on linear programming is applied to the case of two continuous variables. Two medical experts were elicited. The re...
130
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
139
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
We present an overview of current research in performance modeling, focusing on efforts underway in the Performance Evaluation Research Center (PERC). Using some new techniques, w...
144
Voted
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
— Previous works have shown that neural branch prediction techniques achieve far lower misprediction rate than traditional approaches. We propose a neural predictor based on two ...
104
click to vote
EUROPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The features of the IA64 architecture create new opportunities for link-time optimization. At the same time they complicate the design of a link-time optimizer. This pape...