3130 search results - page 134 / 626 » Design Correctness of Digital Systems |
105
click to vote
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
We present a robust, automated oscillator macromodeling technique for extracting comprehensive phase and amplitude macromodels from oscillators' SPICE circuit descriptions. Th...
115
click to vote
FC
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we investigate how existing theoretical contributions on usable security can serve to guide the design of a specific system. We illustrate how going through this the...
131
Voted
CASES
2006
ACM
15 years 7 months ago
2006
ACM
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...
109
Voted
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
This position paper explores the issues related to the feasibility of having a primarily digital research library support the teaching and research needs of a university. The Asia...
126
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Digital watermarking is a growing research area to mark digital content by embedding information into the content itself. Perceptual hashing is used to identify a specific content...