2266 search results - page 401 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
126
click to vote
INFOCOM
2000
IEEE
15 years 6 months ago
2000
IEEE
— This paper presents new algorithms for dynamic routing of restorable bandwidth guaranteed paths. Dynamic routing implies routing of requests that arrive one-by-one with no a pr...
137
click to vote
OPODIS
2003
15 years 2 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
110
click to vote
SODA
2003
ACM
15 years 2 months ago
2003
ACM
We consider the problem of finding efficient trees to send information from k sources to a single sink in a network where information can be aggregated at intermediate nodes in t...
124
click to vote
TASE
2008
IEEE
15 years 1 months ago
2008
IEEE
This work intends to deal with the optimal kinematic synthesis problem of parallel manipulators under a unified framework. Observing that regular (e.g., hyper-rectangular) workspac...
128
click to vote
CODES
2003
IEEE
15 years 6 months ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...