Sciweavers

5577 search results - page 403 / 1116
» E2K Technology and Implementation
Sort
View
DELTA
2004
IEEE
15 years 10 months ago
Arithmetic Transformations to Maximise the Use of Compressor Trees
Complex arithmetic computations, especially if derived from bit-level software descriptions, can be very inefficient if implemented directly in hardware (e.g., by translation of t...
Paolo Ienne, Ajay K. Verma
DELTA
2006
IEEE
15 years 10 months ago
Synthesis of Nanoelectronic Circuits on Delay-Insensitive Cellular Arrays
The difficulties of designing nanoscale circuits include the need for regular circuit structure and controlling the timing requirements. A cellular array has highly regular struct...
Jia Di, Dilip P. Vasudevan
ELPUB
2006
ACM
15 years 10 months ago
E-Publishing Portal: A New Approach to Faculty Outreach
The recent journal price increases and state-wide budget cuts have forced librarians at the University of Maryland (UMD) to make outright cancellations to journals. The implementa...
Nedelina Tchangalova, David Cooper
EWSA
2006
Springer
15 years 10 months ago
Eliminating Execution Overhead of Disabled Optional Features in Connectors
Connectors are used to realize component interactions in component systems. Apart from their primary function, which is mediating the communication, their implementation can also s...
Lubomír Bulej, Tomás Bures
FMCAD
2006
Springer
15 years 10 months ago
Formal Analysis and Verification of an OFDM Modem Design using HOL
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, So...