1263 search results - page 155 / 253 » A* with Bounded Costs |
LPAR
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
FCCM
2000
IEEE
14 years 2 months ago
2000
IEEE
Although run-time reconfigurable systems have been shown to achieve very high performance, the speedups over traditional microprocessor systems are limited by the cost of configur...
ARITH
1999
IEEE
14 years 1 months ago
1999
IEEE
We present a design of a high-radix on-line division suitable for long precision computations. The proposed scheme uses a quotient-digit selection function based on the residual r...
ICC
1997
IEEE
14 years 1 months ago
1997
IEEE
Abstract—Collision avoidance and resolution multiple access (CARMA) protocols establish a three-way handshake between sender and receiver to attempt to avoid collisions, and reso...
RTSS
1996
IEEE
14 years 1 months ago
1996
IEEE
We present an integrated framework for developing realtime systems in which lock-free algorithms are employed to implement shared objects. There are two key objectives of our work...