4565 search results - page 265 / 913 » Time Optimal Self-Stabilizing Algorithms |
111
Voted
STOC
2001
ACM
16 years 1 months ago
2001
ACM
We consider static one dimensional range searching problems. These problems are to build static data structures for an integer set S U, where U = {0, 1, . . . , 2w - 1}, which su...
102
click to vote
ECOOP
1997
Springer
15 years 4 months ago
1997
Springer
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an impo...
106
Voted
ICCAD
2001
IEEE
15 years 9 months ago
2001
IEEE
Abstract: We propose an effective algorithm for power optimization in behavioral synthesis. In previous work, it has been shown that several hardware allocation/binding problems fo...
108
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
FAA's NextGen program aims at increasing the capacity of the national airspace, while ensuring the safety of aircraft. This paper provides a distributed merging and spacing al...
75
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Given the return series for a set of instruments, a trading strategy is a switching function that transfers wealth from one instrument to another at specified times. We present ef...