Wednesday, February 19, 2014
A Simple Algorithm for Minimal Unsatisfiable core
From here:http://www.cs.wm.edu/~idillig/cs780-02/lecture17.pdf
Ranking of Hardware Verification Conference
发现最近一直碰到hardware verification领域的人
Alan Mishchenko
Andreas Veneris/Zissis Poulos
Peh Li-Shiuan
下面是University of Toronto 的 ranking
Tier-1: DAC - ASPDAC- FMCAD - ICCAD - DATE
Tier-2: ISQED - DVCON - IOLTS
Alan Mishchenko
Andreas Veneris/Zissis Poulos
Peh Li-Shiuan
下面是University of Toronto 的 ranking
Tier-1: DAC - ASPDAC- FMCAD - ICCAD - DATE
Tier-2: ISQED - DVCON - IOLTS
Testing Terminology - Fuzz Testing
I include testing terminology that is new to me there:
Fuzz testing or fuzzing is a software testing technique, often automated or semi-automated, that involves providing invalid, unexpected, or random data to the inputs of a computer program.
Fuzz testing or fuzzing is a software testing technique, often automated or semi-automated, that involves providing invalid, unexpected, or random data to the inputs of a computer program.
Tuesday, February 18, 2014
Postdoc interview questions
Some experiences:
1. What is your 5 proudest research? and discuss them
2. When say about your research, phrase it in a way to look similar to other parties research, create the repercussion.
1. What is your 5 proudest research? and discuss them
2. When say about your research, phrase it in a way to look similar to other parties research, create the repercussion.
Subscribe to:
Posts (Atom)