851 search results - page 67 / 171 » History Effects and Verification |
102
click to vote
SEC
2008
15 years 3 months ago
2008
Implementing access control efficiently and effectively in an open and distributed system is a challenging problem. One reason for this is that users requesting access to remote re...
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
ANTS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Tabulating elliptic curves has been carried out since the earliest days of machine computation in number theory. After some historical remarks, we report on significant r...
114
click to vote
DAC
2008
ACM
16 years 2 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
104
click to vote
RECOMB
2006
Springer
16 years 2 months ago
2006
Springer
Homology identification is the first step for many genomic studies. Current methods, based on sequence comparison, can result in a substantial number of mis-assignments due to the ...