Results 61-70 of 1104 (Search time: 0.007 seconds).
NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
---|---|
A Timing-Driven Synthesis of Arithmetic Circuits using Carry-Save-Adders Taewhan Kim, IEEE Asia and South Pacific Design Automation Conference (ASP-DAC), pp.313 - 316, 2000 | |
Sections of Riemannian Fibration 임진환, Trend in Mathematics, Vol.5, No.2, pp.31 - 38, 2002 | |
DSP 내장형 시스템 설계에서 코드 스케쥴링을 이용한 주소 코드 최적화 김태환, 한국정보고학회 학술 대회, pp.7 - 9, 2002 | |
네트워크 플로우에 기반한 아키텍쳐 수준에서의 전력 최적화 김태환, 한국정보과학회 학술 대회, pp.667 - 669, 2002 | |
저전력 소모를 위한 상위 수준의 효과적인 바인딩 알고리즘 김태환, 한국정보과학회 학술 대회, pp.19 - 21, 2002 | |
On Expressive Power of Second Order Propositional Program Logics Kwangkeun Yi, Ershov International Conference on Perspectives of System Informatics, 2001 | |
Physical RF modeling of Junction Varactors Hyung-Cheol Shin, SSDM 2002, pp.418 - 419, 2002 | |
Exception Analysis for Multi-threaded Java Programs Kwangkeun Yi, 2nd Asia-Pacific Conference on Quality Software, 2001 | |
The Pricing of Bond Futures Options 안창모, 한국 선물 학회, 2000 | |
고속 회로를 위한 비트 단위의 연산 최적화 김태환, 한국정보과학회 학술 대회, pp.21 - 23, 2000 |