http://www.paperhub.org/
http://scholar.google.com.hk/
http://arxiv.org/
http://citeseerx.ist.psu.edu/
nook: http://nooks.cs.washington.edu/
http://developer.amd.com/pages/1214200692.aspx
https://www.usenix.org/conferences
http://kernel.org/doc
A Satellite workshop on Formal Approaches to Testing of Software
International Workshop on Satellite and Space Communications
International Workshop on the Sate of the Art in Cryptology and New Challenges Ahead
Conference on File and Storage Technologies
http://www.arc.gov.au/xls/era2010_conference_list.xls