2978 search results - page 40 / 596 » Operations Research |
ORL
2010
14 years 6 months ago
2010
WIESS
2000
15 years 1 months ago
2000
Our research is motivated by the scaleability, availability, and extensibility challenges in deploying open systems based, enterprise operational applications. We present Delta�...
CRYPTO
2005
Springer
15 years 5 months ago
2005
Springer
In many important applications, a collection of mutually distrustful parties must perform private computation over multisets. Each party’s input to the function is his private i...
106
click to vote
SWAT
1992
Springer
15 years 3 months ago
1992
Springer
This paper presents parallel algorithms for priority queue operations on a p-processor EREWPRAM. The algorithms are based on a new data structure, the Min-path Heap (MH), which is...
CADE
2008
Springer
16 years 4 days ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...