MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Jeffrey Considine" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 21 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Deciding Isomorphisms of Simple Types in Polynomial Time  
  • by Jeffrey Considine — 2000
  • …The isomorphisms holding in all models of the simply typed lambda calculus with surjective and terminal objects are well studied - these models are exactly the Cartesian closed categories. Isomorphism of two simple types in such a model is decidable by reduction to a normal form and comparison under…
  • Cited by 5 (0 self)Add To MetaCart
  • Geometric Generalizations of the Power of Two Choices  
  • by John Byers, Jeffrey Considine, Michael Mitzenmacher — 2003 — In Proceedings of the 16th ACM Symposium on Parallel Algorithms and Architectures (SPAA
  • …A well-known paradigm for load balancing in distributed systems is the "power of two choices," whereby an item is stored at the less loaded of two (or more) random alternative servers. We investigate the power of two choices in natural settings for distributed computing where items and servers resid…
  • Cited by 24 (3 self)Add To MetaCart
  • Fast Approximate Reconciliation of Set Differences  
  • by John Byers, Jeffrey Considine, Michael Mitzenmacher — 2002 — BU Computer Science TR
  • …We present new, simple, efficient data structures for approximate reconciliation of set differences, a useful standalone primitive for peer-to-peer networks and a natural subroutine in methods for exact reconciliation. In the approximate reconciliation problem, peers A and B respectively have subset…
  • Cited by 11 (3 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB