Cs-Dc
SpinJa 모델 검사기에서 분산 MAP 구현
SSD가 LHC Tier2 워크노드에 미치는 실제 효과와 비용 효율성
이기종 802.15.4 네트워크 구축 및 성능 평가
멀티코어 환경을 위한 완전 경험적 자동 튜닝 QR 분해
안정적 스켈레톤 그래프를 이용한 k 집합 합의 해결
다중요소 전파망원경을 위한 고속 네트워크 신호 처리 플랫폼
자동화된 서비스 제공을 위한 SPIRE 시스템 설계와 실험
고차원 미국 옵션 가격 및 헤징을 위한 병렬 BSDE 알고리즘
클라우드 기반 대규모 단백질 모델 비교 서비스
전력과 성능을 위한 동적 서버 할당 정책
스마트 스웜 탐색을 위한 HIVE 도구
CUDA 기반 최적 사이클 평균 병렬 계산
스토리지 균형을 위한 자가조직 멀티미디어 전달 시스템
클러스터 기반 MANET을 위한 최소 프로세스 협조 체크포인팅
MapReduce의 공간‑라운드 트레이드오프: 행렬 연산을 중심으로
두 무기억 로봇의 수집 문제와 불안정 나침반의 한계
클라우드 데이터 무결성 및 동적 저장 방식
컴포넌트 기반 시스템을 위한 병렬 분산 모델 검사기
GPU를 활용한 분류 트리 병렬 평가의 새로운 접근
다중 스레드 아키텍처에서 밀집 일반화 고유값 문제 해결
인 네트워크 중복 생성으로 백업 속도 혁신
무한 프로세스 환경에서 부분 상호배제와 FCFS 보장을 위한 경량 메시지 프로토콜
