1618 search results - page 81 / 324 » Testing random number generators |
ASPLOS
2010
ACM
14 years 4 months ago
2010
ACM
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...
MM
2005
ACM
14 years 3 months ago
2005
ACM
We propose IMAGINATION (IMAge Generation for INternet AuthenticaTION), a system for the generation of attack-resistant, user-friendly, image-based CAPTCHAs. In our system, we prod...
CAAN
2004
Springer
14 years 3 months ago
2004
Springer
We consider a generalized copy model of the web graph and related networks, and analyze its limiting behaviour. The model is motivated by previously proposed copying models of the ...
ISLPED
2009
ACM
14 years 4 months ago
2009
ACM
Post-fabrication tuning for mitigating manufacturing variability is receiving a significant attention. To reduce leakage increase involved in performance compensation by body bia...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...