99 search results - page 11 / 20 » Analysis of the Linux Random Number Generator |
124
click to vote
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
117
click to vote
ISVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
— Y -interconnects for VLSI chips are based on the use of global and semi-global wiring in only 0◦ , 60◦ , and 120◦ . Though X-interconnects are fast replacing the traditio...
147
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
114
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: High-throughput screening of pharmaceutical compound activity in tissue culture experiments requires time-consuming repeated analysis of the large amounts of data gene...
149
click to vote
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...