434 search results - page 64 / 87 » Logical Analysis of Hash Functions |
201
Voted
POPL
2005
ACM
16 years 22 days ago
2005
ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
126
click to vote
CCGRID
2006
IEEE
15 years 6 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
108
click to vote
BMCBI
2008
15 years 16 days ago
2008
Background: The ESTree database (db) is a collection of Prunus persica and Prunus dulcis EST sequences that in its current version encompasses 75,404 sequences from 3 almond and 1...
108
click to vote
ISVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, the problem of sizing MOS Current Mode Logic (MCML) circuits is addressed. The Pareto front is introduced as a useful analysis tool to explore the design space of e...
100
click to vote
SSR
2001
15 years 1 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...