Showing results 1 to 3 of 3
Estimating Uncaught Exceptions in Standard ML Programs from Type-based Equations Ryu, Sukyoung; Yi, Kwangkeun; Pyun, Ki-Hyun, 20th Computer Software and Applications Conference, IEEE Computer Society, 1996-08-23 |
Packet scheduling algorithms to provide real-time, fair, and link-sharing services in integrated services networks = 통합 서비스망에서의 실시간 서비스, 공평 서비스, 그리고 링크 공유 서비스를 제공하기 위한 패킷 스케쥴링 알고리즘들link Pyun, Ki-Hyun; 편기현; et al, 한국과학기술원, 2003 |
Standard ML 프로그램 식들의 유추된 타입들을 보여 주는 도구의 개발 = A tool for showing inferenced types of standard ML expressionslink 편기현; Pyun, Ki-Hyun; et al, 한국과학기술원, 1997 |
Discover