Using SMT Solvers to Analyze the Premier League Table
(spramod.info)
56 pts| 11 years ago | 4 comments
microarchitect's submissions
End-to-end analysis of the spam value chain [pdf]
(cs.princeton.edu)
1 pts| 13 years ago | discuss
Is aggregate data always private?
(techatftc.wordpress.com)
1 pts| 14 years ago | discuss
About 33 bits
(33bits.org)
201 pts| 14 years ago | 37 comments
Shared Memory Consistency Models: A Tutorial [pdf]
(rsim.cs.illinois.edu)
2 pts| 14 years ago | discuss
How Gene Marks Could Have Done Better
(isisthescientist.com)
1 pts| 14 years ago | discuss
1 pts| 14 years ago | discuss
Arvind Gupta's toys
(arvindguptatoys.com)
2 pts| 14 years ago | 2 comments
AMD withdraws from Sysmark 2012
(blogs.amd.com)
1 pts| 14 years ago | discuss
page 1