1658 search results - page 230 / 332 » Implementing Bit-addressing with Specialization |
125
Voted
DL
1998
Springer
15 years 8 months ago
1998
Springer
Although digital libraries are intended to support education and knowledge work, current digital library interfaces are narrowly focused on retrieval. Furthermore, they are design...
149
click to vote
ESOP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...
254
click to vote
FMCAD
1998
Springer
15 years 8 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...
138
click to vote
CVPR
1997
IEEE
15 years 8 months ago
1997
IEEE
As the field of view of a picture is much smaller than our own visual field of view, it is common to paste together several pictures to create a panoramic mosaic having a larger...
150
click to vote
SP
1997
IEEE
15 years 8 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...