Search results for: Sharad Malik
International Journal of Parallel Programming > 2005 > 33 > 2-3 > 81-101
Formal Methods in System Design > 2002 > 21 > 2 > 167-191
International Journal on Software Tools for Technology Transfer > 2001 > 3 > 2 > 207-216
Design Automation for Embedded Systems > 1999 > 4 > 2-3 > 187-206
Design Automation for Embedded Systems > 1999 > 4 > 1 > 41-59
Integration, the VLSI Journal > 1996 > 20 > 3 > 243-268