3495 search results - page 403 / 699 » On the random satisfiable process |
153
click to vote
ASPDAC
2006
ACM
16 years 20 days ago
2006
ACM
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
202
click to vote
ASIACRYPT
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, we discuss non-interactive updating of decryption keys in identity-based encryption (IBE). IBE is a public key cryptosystem where a public key is an arbitrary strin...
222
click to vote
WIDM
2004
ACM
16 years 3 days ago
2004
ACM
A Focused crawler must use information gleaned from previously crawled page sequences to estimate the relevance of a newly seen URL. Therefore, good performance depends on powerfu...
178
click to vote
CSB
2003
IEEE
15 years 12 months ago
2003
IEEE
Study of protein interaction networks is crucial to post-genomic systems biology. Aided by highthroughput screening technologies, biologists are rapidly accumulating protein-prote...
138
click to vote
DSN
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes an experimental study of Linux kernel behavior in the presence of errors that impact the instruction stream of the kernel code. Extensive error injection exper...