1945 search results - page 117 / 389 » Speeding up Serpent |
139
click to vote
IFL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper is an extension of a previous work where two nondeterminism analyses were presented. One of them was efficient but not very powerful and the other one was more...
162
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a methodology to retarget the technique of compiled simulation for Digital Signal Processors DSPs using the modeling language LISA. In the past, the principl...
162
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper addresses the problem of efficient functional simulation of synchronous digital systems. A technique based on the use of Decision Diagrams (DD) for representing the fun...
125
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a new solution for combining technology mapping with placement, coupling the two into one phase. The original aspects of our work are the use of libraryless ma...
140
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Gandalf is a first-order resolution theorem-prover, optimized for speed and specializing in manipulations of large clauses. In this paper I describe GANDALF TAC, a HOL tactic that ...