Showing results 1 to 2 of 2
Algorithms for minimizing the delay and the number of adders in FIR filter design = 유한 응답 필터 설계에서 지연과 덧셈기의 수를 줄이는 알고리즘link Kang, Hyeong-Ju; 강형주; et al, 한국과학기술원, 2000 |
SAT-Based Unbounded Symbolic Model Checking = 범위를 지정하지 않는 SAT 기반 모델 검증에 관한 연구link Kang, Hyeong-Ju; 강형주; et al, 한국과학기술원, 2005 |
Discover