643 search results - page 30 / 129 » tools 1998 |
ISSS
1998
IEEE
13 years 11 months ago
1998
IEEE
Bit-true simulation veri es the nite word length choices in the VLSI implementation of a DSP application. Present-day bit-true simulation tools are time consuming. We elaborate a ...
TVLSI
1998
13 years 7 months ago
1998
— Wave-pipelining is a method of high-performance circuit design which implements pipelining in logic without the use of intermediate latches or registers. The combination of hig...
ACL
1998
13 years 9 months ago
1998
This paper reports on the ESPRIT project MELISSA (Methods and Tools for NaturalLanguage Interfacing with Standard Software
JISE
1998
13 years 7 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
Many applications require the derivatives of functions defined by computer programs. Automatic differentiation (AD) is a means of developing code to compute the derivatives of com...