20778 search results - page 3703 / 4156 » Algorithms for Data Migration |
307
click to vote
FMCAD
1998
Springer
15 years 11 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...
198
Voted
IWMM
1998
Springer
15 years 11 months ago
1998
Springer
Stoye's one-bit reference tagging scheme can be extended to local counts of two or more via two strategies. The first, suited to pure register transactions, is a cache of ref...
217
click to vote
KES
1998
Springer
15 years 11 months ago
1998
Springer
An agent must acquire internal representation appropriate for its task, environment, sensors. As a learning algorithm, reinforcement learning is often utilized to acquire the rela...
160
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
We present a new output encoding problem as follows: Given a specification table, such as a truth table or a finite state machine state table, where some of the outputs are specif...
278
click to vote
INFOCOM
1997
IEEE
15 years 11 months ago
1997
IEEE
BMTP offers rate controlled multicast with reliability, high throughput, and support for large numbers of receivers. A multicast sender needs feedback from receivers to recover fr...