3155 search results - page 216 / 631 » Maintenance: Less Is Not More |
135
click to vote
WLP
1997
Springer
15 years 10 months ago
1997
Springer
Recently well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of program analysis, specialisation and transform...
163
click to vote
SIGGRAPH
1993
ACM
15 years 10 months ago
1993
ACM
Many of the current radiosity algorithms create a piecewise constant approximation to the actual radiosity. Through interpolation and extrapolation, a continuous solution is obtai...
168
click to vote
ITC
1992
IEEE
15 years 10 months ago
1992
IEEE
In this paper we report an automatic test pattern generator that can handle designs with one million gates or more on medium size workstations. Run times and success rates, i.e. t...
173
click to vote
EURODAC
1990
IEEE
15 years 10 months ago
1990
IEEE
In this paper an efficient cone oriented circuit partitioning method is presented, which significantly speeds up automatic test pattern generation for combinational circuits. The ...
170
click to vote
PQCRYPTO
2010
15 years 10 months ago
2010
A New digital signature scheme based on Stepwise Triangular Scheme (STS) is proposed. The proposed trapdoor has resolved the vulnerability of STS and secure against both Gr¨obner ...