Cs-Dc
서비스 지향 프로그래밍 패러다임의 새로운 비전
CUDA와 OpenCL 성능 비교
인간 배아 발달 협업 연구를 위한 전자 인프라
서비스 오케스트레이션 최적화와 Circulate 아키텍처
오프라인 네트워크 설계·클러스터링·QoS 최적화 알고리즘 연구
분산 센서 네트워크를 위한 경계 근사 알고리즘
기업 네트워크를 위한 하이브리드 멀티캐스트와 유니캐스트 기반 효율적 퍼블리시 서브스크라이브 인프라
소셜필터 사회망 기반 협업 스팸 방지 시스템
자기복구 비잔틴 합의 알고리즘
네트워크 평균합산을 위한 의사리프팅 비가역 마코프 체인
자기 안정화 발사대 문제의 최적 해법
분산 도달성 분석을 위한 부분 순서 및 대칭 기반 축소 기법
GPU를 활용한 해시 기반 데이터 카빙 가속화
GPU 기반 포스트뉴턴 방정식 적분으로 보는 블랙홀 스핀 통계
소프트 실시간 분산 시스템 성능 모니터링을 위한 통계적 접근
아이인포 기반 아이오르그 설계와 통합 정보 시스템의 역사
고동적 범위 3 모듈러스 집합과 효율적인 역변환기 설계
순환 토큰 간 거리 확보를 위한 자가 안정 프로토콜
스크립트 언어 기반 연속체 다중물리 시뮬레이션 컴파일러 Nsim 프로토타입
대규모 그래프 병렬 순서를 위한 PT‑Scotch
애드혹 그리드에서 거래 지향 시뮬레이션 설계와 구현
비귀환형 문맥 자유 PC 문법 시스템의 크기 복잡도 연구
