Cs-Dc
애드혹 그리드 기반 거래 지향 시뮬레이션과 충격 저항 타임워프
그리드 컴퓨팅을 위한 범용 배포 프레임워크
트리 구조 이벤트 구조의 차수 3에 대한 최적 라벨링
동적 무선 네트워크 실시간 집계 추정 기법
브루넷으로 구현한 심포니
무선 네트워크의 강한 클러스터링을 위한 스몰월드 설계
GeoP2P 완전 분산형 공간 정보 검색을 위한 적응형 P2P 오버레이
정확 복구를 위한 인터페이스 정렬 기반 최소 저장 재생코드와 존재·불가능성 연구
중국인 나머지 정리 알고리즘의 범용 설계
RZBENCH: 최신 HPC 아키텍처 성능 평가를 위한 종합 벤치마크
펫라스케 시스템을 위한 느슨한 결합 프로그래밍 구현
중앙 시베리아 숲분지의 증발산 과정 수치 연구
자기 안정 파동형 및 r 홉 협조
Peterson 알고리즘 리더 선출 검증을 위한 NuSMV 모델링
온라인 소셜 네트워크 분할과 정복
성공적인 확장성을 위한 구역 설정
비동기 무지성 로봇의 확률적 링 탐색 최적화
그래프 클러스터를 듣다: 분산 알고리즘
FTOS‑Verify: 결함 허용 시스템 비기능 특성 검증 도구
아키메데스 원형 프로세서 선거 알고리즘
단방향 네트워크에서 최대 독립 집합 안정화는 어려움
거울 속 세션 타입
