27827 search results - page 321 / 5566 » Generating |
126
Voted
FDL
2007
IEEE
15 years 7 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
138
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
We derive a recursive general-radix pruned Cooley-Tukey fast Fourier transform (FFT) algorithm in Kronecker product notation. The algorithm is compatible with vectorization and pa...
125
Voted
AINA
2004
IEEE
15 years 7 months ago
2004
IEEE
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...
129
Voted
AINA
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we present a WebTop XML Editor by which the user can edit XML Documents on views generated by user-defined styles. Meta XSLT is the key technology of this feature. ...
102
Voted
CGI
2004
IEEE
15 years 7 months ago
2004
IEEE
An efficient low-cost, low-power hardware implementation of a novel run-time pixel coverage mask generation algorithm for embedded 3-D graphics antialiasing purposes is presented....