4809 search results - page 904 / 962 » CajunBot: Architecture and algorithms |
SIGCOMM
1998
ACM
14 years 1 months ago
1998
ACM
In recent years, a number of link scheduling algorithms have been proposed that greatly improve upon traditional FIFO scheduling in being able to assure rate and delay bounds for ...
FMCAD
1998
Springer
14 years 1 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
MICRO
1997
IEEE
14 years 1 months ago
1997
IEEE
Modern architectural trends in instruction-level parallelism (ILP) are to increase the computational power of microprocessors significantly. As a result, the demands on memory ha...
ADBIS
1997
Springer
14 years 1 months ago
1997
Springer
Simulating distributed database systems is inherently difficult, as there are many factors that may influence the results. This includesarchitectural options as well as workload...
RTAS
1996
IEEE
14 years 1 months ago
1996
IEEE
We propose a lightweight fault-tolerant multicast and membership service for real-time process groups which may exchange periodic and aperiodic messages. The service supports boun...