Sciweavers

3883 search results - page 559 / 777
» Design mentoring based on design evolution analysis
Sort
View
PADO
2001
Springer
15 years 11 months ago
Deriving Pre-conditions for Array Bound Check Elimination
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
APSEC
2000
IEEE
15 years 11 months ago
A case study of horizontal reuse in a project-driven organisation
This experience paper presents observations, lessons learned, and recommendations based on a case study of reuse. The case study is concerned with the development, maturation, and...
Henrik Bærbak Christensen, Henrik Røn
SIGCOMM
1999
ACM
15 years 11 months ago
A Readable TCP in the Prolac Protocol Language
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
Eddie Kohler, M. Frans Kaashoek, David R. Montgome...
ISCAS
1999
IEEE
85views Hardware» more  ISCAS 1999»
15 years 11 months ago
Equivalence classes of clone circuits for physical-design benchmarking
To provide a better understanding of physical design algorithms and the underlying circuit architecture they are targeting, we need to exercise the algorithms and architectures wi...
Michael D. Hutton, Jonathan Rose
FSE
1997
Springer
119views Cryptology» more  FSE 1997»
15 years 10 months ago
Cryptanalysis of Ladder-DES
Feistel ciphers are very common and very important in the design and analysis of blockciphers, especially due to four reasons: (1) Many (DES-like) ciphers are based on Feistel’s ...
Eli Biham