Useful Links
Academic Job Search
USF Division of Sponsored Research
NSF-CISE Home
SRC Website
History of Computing Power
References in Formal Verification
Resources for Critical Thinking
Wiki
www.answers.com
Software Horror Stories
Conferences
VMCAI 2009
International Conference on Computer-Aided Verification (CAV)
International Conference on Computer-Aided Design (ICCAD)
International Conference on Computer Design (ICCD)
International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC)
International Conference on Formal Methods in CAD (FMCAD)
Design Automation Conference (DAC)
International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS)
DATE
Journals
IEEE Transactions on CAD (TCAD)
IEEE Transaction on VLSI (TVLSI)
IEEE Transaction on Computers
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Formal Methods in System Design
Formal Aspects of Computing
Journal on Satisfiability, Boolean Modeling and Computation
Resources
Parallel programming
Last updated: