3022 search results - page 104 / 605 » Make Way for WayMaker |
FSE
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Biham and Kocher demonstrated that the PKZIP stream cipher was weak and presented an attack requiring thirteen bytes of plaintext. The deflate algorithm “zippers” no...
117
click to vote
VLDB
2001
ACM
15 years 5 months ago
2001
ACM
XML has emerged as the standard data exchange format for Internet-based business applications. This has created the need to publish existing business data, stored in relational da...
113
click to vote
EUROMICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...
113
click to vote
GLVLSI
2000
IEEE
15 years 5 months ago
2000
IEEE
We present a new timing driven method for global placement. Our method is based on the observation that similar net length reductions in the different nets that make up a path may...
119
Voted
GLVLSI
2000
IEEE
15 years 5 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...