Showing results 1 to 3 of 3
A path sensitive type system for resource usage verification of C like languages Kang, HG; Kim, Y; Han, Taisook; Han, H, PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS Book Series: LECTURE NOTES IN COMPUTER SCIENCE, v.3780, pp.264 - 280, 2005-11 |
ANTS: An evolvable network of tiny sensors Kim, Daeyoung; Lopez, TS; Yoo, S; Sung, J; Kim, J; Kim, Y; Doh, Y, EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005 BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3824, pp.142 - 151, 2005 |
Performance analysis of the UPC/NPC algorithm for guaranteed QoS in ATM networks Kim, Y; Kim, JK; Lee, Young-Hee; Park, CH, ETRI JOURNAL, v.20, no.3, pp.251 - 271, 1998-09 |
Discover