论文网站

 http://www.paperhub.org/

http://scholar.google.com.hk/
http://arxiv.org/
http://citeseerx.ist.psu.edu/

http://www.sciencedirect.com/

http://dl.acm.org/dl.cfm?CFID=87874211&CFTOKEN=29764114

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

http://www.rt-embedded.com/blog/archives/category/linux/