2253 search results - page 204 / 451 » Computing with Realizational Morphology |
152
click to vote
ARITH
1999
IEEE
15 years 11 months ago
1999
IEEE
In two operand addition, bit-wise intermediate variables such as the "propagate" and "generate" terms are defined/evaluated first. Basic carry propagation recu...
186
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
Power efficient design of real-time systems based on programmable processors becomes more important as system functionality is increasingly realized through software. This paper ...
207
click to vote
FOCS
1999
IEEE
15 years 10 months ago
1999
IEEE
We introduce the notion of non-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary NIZK proof system into one that has strong non-m...
148
click to vote
ICPP
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes the challenges presented by singlechip parallel media processors (PMPs). These machines integrate multiple parallel function units, instruction execution, and...
166
click to vote
ISCOPE
1999
Springer
15 years 10 months ago
1999
Springer
Fill-reducing sparse matrix orderings have been a topic of active research for many years. Although most such algorithms are developed and analyzed within a graph-theoretical frame...