2642 search results - page 305 / 529 » Merge-by-Wire: Algorithms and System Support |
145
click to vote
INFOCOM
1999
IEEE
15 years 8 months ago
1999
IEEE
There is an increasing need for Internet hosts to be able to quickly and efficiently learn the distance, in terms of metrics such as latency or bandwidth, between Internet hosts. ...
163
click to vote
EUROPAR
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. The Numerical Algorithms Group Ltd is currently participating in the European HPCN Fourth Framework project on Parallel Industrial NumErical Applications and Portable Lib...
166
click to vote
CSL
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
140
Voted
IJCAI
2007
15 years 5 months ago
2007
In the context of operative disruption management, decision support systems have to evaluate the typically manifold options of responding to disturbances: The temporal shift of ac...
134
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...