2008 |
9 | EE | Youngsik Kim,
Nazanin Mansouri:
Automated formal verification of scheduling with speculative code motions.
ACM Great Lakes Symposium on VLSI 2008: 95-100 |
2005 |
8 | EE | Youngsik Kim,
Parija Sule,
Nazanin Mansouri:
Exploiting PSL standard assertions in a theorem-proving-based verification environment.
ACM Great Lakes Symposium on VLSI 2005: 400-403 |
2004 |
7 | | Anli He,
Parija Sule,
Youngsik Kim,
Nazanin Mansouri:
Exploiting OVL standard assertions in a theorem-proving-based verification environment.
Circuits, Signals, and Systems 2004: 249-254 |
6 | EE | Youngsik Kim,
Shekhar Kopuri,
Nazanin Mansouri:
Automated Formal Verification of Scheduling Process Using Finite State Machines with Datapath (FSMD).
ISQED 2004: 110-115 |
1998 |
5 | | Jeong-Min Kim,
Youngsik Kim,
Shin-Dug Kim,
Tack-Don Han,
Sung-Bong Yang:
An Adaptive Parallel Computer Vision System.
IJPRAI 12(3): 311-334 (1998) |
4 | EE | Youngsik Kim,
Mi-Jung Noh,
Tack-Don Han,
Shin-Dug Kim:
Mapping of neural networks onto the memory-processor integrated architecture.
Neural Networks 11(6): 1083-1098 (1998) |
1997 |
3 | EE | Youngsik Kim,
Tack-Don Han,
Shin-Dug Kim,
Sung-Bong Yang:
An Effective Memory--Processor Integrated Architecture for Computer Vision.
ICPP 1997: 266- |
2 | | Youngsong Mun,
Kyung-Sun Min,
Youngsik Kim:
Performance evaluation of switching networks.
Journal of Systems Architecture 43(1-5): 185-188 (1997) |
1 | | Youngsik Kim,
Oh-Young Kwon,
Tack-Don Han,
Youngsong Mun:
Design and performance analysis of the Practical Fat Tree Network using a butterfly network.
Journal of Systems Architecture 43(1-5): 355-363 (1997) |