4139 search results - page 59 / 828 » Designing and Implementing Combinator Languages |
ASAP
2003
IEEE
14 years 3 months ago
2003
IEEE
Multiplication and squaring are important operations in digital signal processing and multimedia applications. This paper presents designs for units that implement either multipli...
FMCAD
2004
Springer
14 years 3 months ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...
PLDI
2010
ACM
14 years 3 months ago
2010
ACM
Arrays are the ubiquitous organization for indexed data. Throughout programming language evolution, implementations have laid out arrays contiguously in memory. This layout is pro...
ICCD
2004
IEEE
14 years 6 months ago
2004
IEEE
— We propose an automatic test pattern generation (ATPG) framework for combinational threshold networks. The motivation behind this work lies in the fact that many emerging nanot...
SIGCOMM
1999
ACM
14 years 2 months ago
1999
ACM
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...