5762 search results - page 1008 / 1153 » R-tree: A Hardware Implementation |
297
click to vote
FMCAD
1998
Springer
15 years 10 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...
147
click to vote
EDOC
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes an environment for interactive configuration management of the software components comprising a distributed enterprise application. The environment permits on...
179
click to vote
SP
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper analyzes a network-baseddenial of service attack for IP (Internet Protocol) based networks. It is popularly called SYN flooding. It works by an attacker sending many T...
168
click to vote
VISUALIZATION
1997
IEEE
15 years 10 months ago
1997
IEEE
Splatting is a popular direct volume rendering algorithm. However, the algorithm does not correctly render cases where the volume sampling rate is higher than the image sampling r...
185
click to vote
VISUALIZATION
1997
IEEE
15 years 10 months ago
1997
IEEE
Oriented Line Integral Convolution (OLIC) illustrates flow fields by convolving a sparse texture with an anisotropic convolution kernel. The kernel is aligned to the underlying ...