1682 search results - page 137 / 337 » Applying Conventional Testing Techniques for Class Testing |
112
click to vote
ISLPED
2009
ACM
15 years 10 months ago
2009
ACM
Post-fabrication tuning for mitigating manufacturing variability is receiving a significant attention. To reduce leakage increase involved in performance compensation by body bia...
126
click to vote
CPAIOR
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we investigate to which extent the elimination of a class of redundant clauses in SAT instances could improve the efficiency of modern satisfiability provers. Sinc...
116
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing fo...
130
click to vote
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
136
click to vote
ICIP
1997
IEEE
15 years 8 months ago
1997
IEEE
This is a contribution for very low bit rate video coding in real-time and software only on computers of PC class. It is based on frame replenishment with block coding using mean-...