3130 search results - page 351 / 626 » Design Correctness of Digital Systems |
158
click to vote
SIAMDM
1998
15 years 6 months ago
1998
In this paper, we investigate combinatorialproperties and constructions of two recent topics of cryptographic interest, namely frameproof codes for digital ngerprinting, and trace...
146
click to vote
TASLP
2010
15 years 5 months ago
2010
—The digital emulation of analog audio effects and synthesis components, through the simulation of lumped circuit components has seen a large amount of activity in recent years; ...
170
click to vote
DPHOTO
2009
15 years 4 months ago
2009
In this paper we present an approach to extend the Depth-of-Field (DoF) for cell phone miniature camera by concurrently optimizing optical system and post-capture digital processi...
169
click to vote
USENIX
1990
15 years 7 months ago
1990
In developing a distributed file system, there are several good reasons for implementing the client file cache manager as a user-level process. These include ease of implementatio...
172
click to vote
NDSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...