Sciweavers

5624 search results - page 930 / 1125
» On Conditional Covering Problem
Sort
View
85
Voted
INFOCOM
2000
IEEE
15 years 5 months ago
Parallel-Access for Mirror Sites in the Internet
— Popular documents are frequently mirrored on multiple sites in an effort to share the load and reduce clients’ retrieval latencies. However, choosing the best mirror site is ...
Pablo Rodriguez, Andreas Kirpal, Ernst Biersack
LICS
2000
IEEE
15 years 5 months ago
Virtual Symmetry Reduction
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
E. Allen Emerson, John Havlicek, Richard J. Trefle...
MICRO
2000
IEEE
68views Hardware» more  MICRO 2000»
15 years 5 months ago
Efficient checker processor design
The design and implementation of a modern microprocessor creates many reliability challenges. Designers must verify the correctness of large complex systems and construct implemen...
Saugata Chatterjee, Christopher T. Weaver, Todd M....
104
Voted
SSIAI
2000
IEEE
15 years 5 months ago
Pairwise Markov Random Fields and its Application in Textured Images Segmentation
The use of random fields, which allows one to take into account the spatial interaction among random variables in complex systems, is a frequent tool in numerous problems of stati...
Wojciech Pieczynski, Abdel-Nasser Tebbache
114
Voted
MOBIHOC
2000
ACM
15 years 5 months ago
Role-based multicast in highly mobile but sparsely connected ad hoc networks
— We present an approach to multicasting messages among highly mobile hosts in ad hoc networks. We suggest a new definition of a role-based multicast that suits the special need...
Linda Briesemeister, Günter Hommel