Cs-Dc
게임 이론 기반 결함 허용 임베디드 시스템 자동 합성
역사와 미래를 아우르는 분산 시스템 보안 접근법
지역 계산의 한계와 가능성
윈도우 기반 탐욕적 충돌 관리: 효율적인 트랜잭션 스케줄링
동적 클라우드렛을 활용한 의료 분야 모바일 클라우드 컴퓨팅의 에너지 인식 소비 모델
분산 진화형 그래프 분할기 KaFFPaE의 혁신적 접근
모바일 가상 세계를 위한 탈중앙화 인프라 가상넷
고성능 컴퓨팅을 위한 이완 기반 네트워크 분해와 다중 포트 프리컨디셔너
이기종 약물 네트워크를 위한 분산 라벨 전파 알고리즘
분산형 최적 전기차 그리드 통합 전략과 사용자 행동 예측
악의적 노드에도 견고한 정보 확산: r‑강인성 그래프
가상화 환경에서 계산 실험의 신뢰성 평가
그리드 클러스터 기반 부하 균형 알고리즘
하이퍼 차원 최적화 문제 해결을 위한 하둡 기반 유전 알고리즘 실행
단일 스레드 병렬화를 위한 새로운 컴퓨팅 패러다임
동기화된 시간 네트워크에서 빠른 트리 번호 매기기
아스트로베어를 활용한 AMR MHD 다중물리 시뮬레이션의 효율적 병렬화와 메모리 관리
무작위 초기 설정을 갖는 동적 독점체
대규모 결함 모델에서 비틀린 하이퍼큐브형 네트워크의 해밀턴 연결성
IEC 61499 복합 기능 블록을 위한 형식 모델 제시
클라우드 환경에서 GreatFree를 활용한 요청 응답 프로그래밍
병렬 k 귀납 모델 검사기 PKind
