Sciweavers

4809 search results - page 366 / 962
» Scalable Analysis of Scalable Systems
Sort
View
GECCO
2003
Springer
16 years 21 days ago
Hierarchical BOA Solves Ising Spin Glasses and MAXSAT
Abstract. Theoretical and empirical evidence exists that the hierarchical Bayesian optimization algorithm (hBOA) can solve challenging hierarchical problems and anything easier. Th...
Martin Pelikan, David E. Goldberg
ANCS
2007
ACM
15 years 11 months ago
Experimental evaluation of a coarse-grained switch scheduler
Modern high performance routers rely on sophisticated interconnection networks to meet ever increasing demands on capacity. Previous studies have used a combination of analysis an...
Charlie Wiseman, Jonathan S. Turner, Ken Wong, Bra...
206
Voted
CONEXT
2007
ACM
15 years 11 months ago
On the cost of caching locator/ID mappings
Very recent activities in the IETF and in the Routing Research Group (RRG) of the IRTG focus on defining a new Internet architecture, in order to solve scalability issues related ...
Luigi Iannone, Olivier Bonaventure
FMCAD
2004
Springer
15 years 11 months ago
Bloom Filters in Probabilistic Verification
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
Peter C. Dillinger, Panagiotis Manolios
189
Voted
SGP
2007
15 years 10 months ago
Multilevel streaming for out-of-core surface reconstruction
Reconstruction of surfaces from huge collections of scanned points often requires out-of-core techniques, and most such techniques involve local computations that are not resilien...
Matthew Bolitho, Michael M. Kazhdan, Randal C. Bur...