SMV를 이용한 Pipeline 시스템의 설계 검증

이승호 ,  이현룡 ,  장종권

대한전자공학회 학술대회

2003 .07

TC2SMV: UML State Chart Diagram에서 생성된 테스트 케이스를 SMV 입력 프로그램으로 변환하는 CASE 도구

윤상현 ,  조재연 ,  유준범

한국정보과학회 학술발표논문집

2012 .06

3GPP2 SMV의 실시간 유/무성음 분류 성능 향상을 위한 Gaussian Mixture Model 기반 연구

송지현 ,  장준혁

전자공학회논문지-SP

2008 .09

SMV코덱의 음성/음악 분류 성능 향상을 위한 Support Vector Machine의 적용

김상균 ,  장준혁

전자공학회논문지-SP

2008 .11

3GPP2 SMV의 실시간 음성/음악 분류 성능 향상을 위한 Gaussian Mixture Model의 적용

송지현 ,  이계환 ,  장준혁

한국음향학회지

2007 .01

변별적 가중치 학습을 이용한 3GPP2 SVM의 실시간 음성/음악 분류 성능 향상

강상익 ,  장준혁 ,  이성로

한국음향학회지

2008 .01

수중연소식 천연가스기화기(SMV)용 순산소 연소기 개발

손화승 ,  김호연 ,  정영식

KOSCO SYMPOSIUM 논문집

2014 .11

G.729A와 SMV 음성부호화기를 위한 파라미터 직접 변환 방식의 상호부호화 알고리즘

장달원 ,  서성호 ,  이선일 외 1명

대한전자공학회 학술대회

2003 .07

TeakDSPCore^®를 이용한 SMV 음성 부호화기의 실시간 구현

정지만 ,  김양수 ,  이태민 외 5명

한국통신학회 학술대회논문집

2003 .07

SMV와 G.723.1 음성부호화기를 위한 파라미터 직접 변환 방식의 상호부호화 알고리듬

서성호 ,  장달원 ,  이선일 외 1명

대한전자공학회 학술대회

2003 .07

이산화탄소 저감을 위한 SMV의 순산소 연소 시뮬레이션

김호연 ,  손화승 ,  김철만

한국전산유체공학회 학술대회논문집

2011 .05

A tool support for verifying consistency between UML diagrams by SMV

Shinji HARADA ,  Tomoyuki YOKOGAWA ,  Hisashi MIYAZAKI 외 3명

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2009 .07

수중연소식 천연가스기화기(SMV)용 순산소 연소기 실험연구

손화승 ,  김호연 ,  고재필 외 1명

한국신·재생에너지학회 학술대회 초록집

2012 .11

SMV를 이용한 모델 체킹 검증 기법의 사례 연구

남원홍 ,  최진영 ,  한우종 외 1명

한국정보과학회 학술발표논문집

1999 .04

3GPP2 SMV 기반의 보이스 피싱 검출 알고리즘

이계환 ,  장준혁

전자공학회논문지-SP

2008 .07

초다시점(SMV) 및 다초점(MF) 3차원 영상 표시장치의 소개

김성규

인포메이션 디스플레이

2007 .01

SMV와 AMR 음성부호화기를 위한 상호부호화 알고리듬

이덕종 ,  정규혁 ,  이인성

한국통신학회 학술대회논문집

2008 .07

천연가스기화기(SMV)에서 LNG냉열을 이용한 CO₂ 회수방안

손화승 ,  김호연 ,  고재필 외 1명

한국가스학회 학술대회논문집

2011 .11