Cs-Dc
프로젝터 알고리즘을 활용한 병렬 Voronoi 다이어그램 및 Delaunay 그래프 계산
부정완전 상호증명 논리: 에피스테믹 디시더의 형식 이론
에너지 효율을 위한 비트 최적 다중 홉 전송 기반 1차원 무선 센서망 분산 검출
인터넷 왕복 지연 시간 분석 및 모델링
에이전트 기반 마이툴을 활용한 공동 설계 플랫폼
희소 그래프를 위한 빠른 근사 거리 조회와 압축 라우팅
동시 다자 파라미터 세션 타입의 혁신
양자 통신으로는 분산 계산 속도 향상 불가
분산 시스템을 위한 강인한 확률 추론
복합 병렬 과학 소프트웨어를 위한 통합 통신 디자인 패턴
분산 시스템 보안 테스트 자동 생성의 형식적 접근
전역 파라미터 없이 구현하는 반복 근사 비잔틴 합의
오류와 소실을 견디는 재생 코딩
분산 시스템 보안 구현 비교 연구
이기종 클러스터를 위한 지능형 부하 분산 HALO
클라우드 환경에서 교착상태 방지를 위한 향상된 로드밸런싱 기법
통신 최적화 스트라센 병렬 행렬 곱셈 알고리즘
분산 시스템 로컬 보안 정책의 전역 검증 방법론
동적 루프 병렬화 런타임 선택 기반 OpenMP 최적화
스마트 미디어 클라우드 설계: MediaWise 프로젝트
클라우드 애플리케이션 자원 소비 최소화를 위한 완전 분산 최적 알고리즘
모바일 클라우드 컴퓨팅 연구: 리뷰와 전망
