7167 search results - page 84 / 1434 » A Technique for Invariant Generation |
175
click to vote
IWSOC
2005
IEEE
15 years 11 months ago
2005
IEEE
Performance estimation of processor is important to select the right processor for an application. Poorly chosen processors can either under perform very badly or over perform but...
148
click to vote
NDSS
2009
IEEE
16 years 27 days ago
2009
IEEE
We describe CSAR, a novel technique for generating cryptographically strong, accountable randomness. Using CSAR, we can generate a pseudo-random sequence and a proof that the elem...
154
click to vote
CAIP
2005
Springer
15 years 11 months ago
2005
Springer
Today, communication devices are evolving towards friendly–user interactivity while permanently eyeing towards 3D display technologies. As such, 3D face generation, modelling an...
175
click to vote
TCAD
1998
15 years 5 months ago
1998
—We study the effect of the controller on the testability of sequential circuits composed of controllers and data paths. We show that even when all the loops of the circuit have ...
140
click to vote
SAC
2009
ACM
16 years 29 days ago
2009
ACM
Code libraries are characterized by feature-richness — and, consequently, high overhead. The library specialization problem is the problem of obtaining a low-overhead version of...