2006 |
6 | EE | Shaoxiong Hua,
Pushkin R. Pari,
Gang Qu:
Dual-Processor Design of Energy Efficient Fault-Tolerant System.
ASAP 2006: 239-244 |
2004 |
5 | | Pushkin R. Pari,
Jane Lin,
Lin Yuan,
Gang Qu:
Generating 'Random' 3-SAT Instances with Specific Solution Space Structure.
AAAI 2004: 960-961 |
4 | | Lin Yuan,
Pushkin R. Pari,
Gang Qu:
Finding Redundant Constraints for FSM Minimization.
AAAI 2004: 976-977 |
3 | | Pushkin R. Pari,
Lin Yuan,
Gang Qu:
How many solutions does a SAT instance have?
ISCAS (5) 2004: 209-212 |
2 | EE | Lin Yuan,
Pushkin R. Pari,
Gang Qu:
Soft IP Protection: Watermarking HDL Codes.
Information Hiding 2004: 224-238 |
2003 |
1 | EE | Adarsh K. Jain,
Lin Yuan,
Pushkin R. Pari,
Gang Qu:
Zero overhead watermarking technique for FPGA designs.
ACM Great Lakes Symposium on VLSI 2003: 147-152 |