Sciweavers

25 search results - page 1 / 5
» Exact switchbox routing with search space reduction
Sort
View
ISPD
2000
ACM
97views Hardware» more  ISPD 2000»
13 years 9 months ago
Exact switchbox routing with search space reduction
Frank Schmiedle, Daniel Unruh, Bernd Becker
ICDCS
1999
IEEE
13 years 9 months ago
Search Space Reduction in QoS Routing
To provide real-time service or engineer constrained-based paths, networks require the underlying routing algorithm to be able to find low-cost paths that satisfy given Quality-of...
Liang Guo, Ibrahim Matta
FM
2006
Springer
146views Formal Methods» more  FM 2006»
13 years 8 months ago
Exact and Approximate Strategies for Symmetry Reduction in Model Checking
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
Alastair F. Donaldson, Alice Miller
DEXA
2006
Springer
190views Database» more  DEXA 2006»
13 years 8 months ago
High-Dimensional Similarity Search Using Data-Sensitive Space Partitioning
Abstract. Nearest neighbor search has a wide variety of applications. Unfortunately, the majority of search methods do not scale well with dimensionality. Recent efforts have been ...
Sachin Kulkarni, Ratko Orlandic
NETWORKS
2008
13 years 5 months ago
New dynamic programming algorithms for the resource constrained elementary shortest path problem
The resource-constrained elementary shortest path problem arises as a pricing subproblem in branch-and-price algorithms for vehicle routing problems with additional constraints. W...
Giovanni Righini, Matteo Salani