Cs-Dc
Fermi LAT 데이터 파이프라인 그리드 컴퓨팅 확장
가상 머신 사용 기반 클라우드 배치 최적화
통합 친환경 클라우드 컴퓨팅 아키텍처
CUDA와 OpenCL을 활용한 현대 C++ 라이브러리 사례 연구
상호작용 증명의 논리: 지식 전달의 형식적 기반
분산 네트워크에서 최적에 가까운 랜덤 워크 샘플링
큐 디스패치 비동기 시스템의 형식적 모델링
일반 스타 및 K코어드 스타 네트워크의 최적 분산 합의 가중치 해법
런타임에서 통신 지연 은폐 자동 관리 기법
적응형 중복 관리로 구현하는 내구성 높은 P2P 백업
일관성 벤치마크를 위한 원칙적 프레임워크
효율적인 분산 레이어드 LSH
클라우드와 연계된 무선 센서·액터 네트워크 설계 표준
빠른아카이브를 위한 파이프라인식 레이드 코드
단일 노드 다중 GPU를 활용한 진보적 메시와 격자 볼츠만 시뮬레이션
자기복구 확장 그래프 DEX
자원 경쟁적 방해 전파 방어 전략
통신 없는 평면 협동 탐색
스마트 디지털 객체 보존 복제 시점
동적 무선 애드혹 네트워크를 위한 자가안정 TDMA 알고리즘
클라우드 인프라 서비스의 안전하고 빠른 동적 조합
임의 네트워크 토폴로지에서 무작위 부하 균형의 정확한 경계
