· software
[Paper] 조정 가능한 자동화 in Automated Program Verification
SMT 솔버 기반 자동 검증 도구는 복잡한 소프트웨어 시스템을 검증하는 데 큰 진전을 이루었습니다. 그러나 이러한 도구들은 근본적인 …
-
- · devops
[Paper] 고성능 인메모리 데이터 스트리밍 및 인시투 시각화를 하이브리드 MPI+OpenMP PIC MC 시뮬레이션에 통합하여 엑사스케일을 향해
복잡한 플라즈마 동역학의 효율적인 시뮬레이션은 핵융합 에너지 연구를 진전시키는 데 필수적입니다. Particle-in-Cell (PIC) Monte Carlo (MC) 시뮬레이션은 ...
- · ai
[Paper] 파라미터 효율적인 하이브리드 스파이킹-퀀텀 컨볼루션 신경망 with surrogate gradient and quantum data-reupload
인공지능(AI)과 딥러닝(DL)의 급속한 발전은 최적화 중심의 여러 하위 분야, 특히 신경…의 등장을 촉진했습니다.
- · ai
[Paper] Hybrid Temporal-8-Bit Spike Coding을 이용한 Spiking Neural Network Surrogate Training
Spiking neural networks (SNNs)는 계산 신경과학과 인공지능 모두에서 유망한 방향으로 떠올랐으며, ...와 같은 장점을 제공합니다.
- · ai
[Paper] 향상된 트랜스포머를 위한 교차 레이어 퓨전을 통한 KV 캐시 재구성
Transformer 디코더는 다양한 작업에서 강력한 결과를 달성했지만, KV 캐시가 필요로 하는 메모리는 긴 시퀀스 길이에서 금지적이 된다. 비록 ...
- · ai
[Paper] LLM에서 가이드라인 기반 의료 추론의 훈련 및 평가
의학에서 조기 예측을 위한 Machine learning은 최근 돌파적인 성과를 보여주었지만, 예측 정확도 향상에 초점을 맞추는 것이 …을 초래했다.
- · software
[Paper] Runnable Directories: Monorepo vs. Multi-repo 논쟁에 대한 해결책
현대 소프트웨어 시스템은 전통적인 코드베이스 조직 전략에 점점 더 큰 부담을 주고 있습니다. Monorepos는 일관성을 제공하지만 종종 확장성 문제를 겪습니다.
- · devops
[Paper] HPC 시스템에서 에너지 효율성 분석의 과제: 합성 벤치마크와 Gromacs 평가
이 논문은 Fritz와 Alex HPC 클러스터에서 synthetic benchmarks와 Gromacs 패키지의 에너지 효율을 분석할 때 직면한 도전 과제들을 논의한다.
- · devops
[Paper] 분산 양자 컴퓨팅과 Fan‑Out 연산 및 Qudits: 분산 글로벌 게이트 사례 (예비 연구)
최근 분산 양자 컴퓨팅에 관한 많은 연구는 얽힌 쌍과 분산 two qubit gates의 사용에 초점을 맞추어 왔습니다. 그러나 ef...
- · devops
[Paper] FFTrainer: 대규모 언어 모델 훈련에서 거의 무료 상태 관리와 빠른 페일오버
최근 대형 언어 모델(LLMs)의 발전은 효율적이고 견고한 학습에 대한 새로운 요구사항을 제시했습니다. LLM 클러스터가 규모가 커짐에 따라, 노드 실패, le...
- · software
[Paper] 시그모이드 함수에 대한 형식적 분석 및 Universal Approximation Theorem의 형식적 증명
이 논문은 sigmoid 함수에 대한 형식화된 분석과 Isabelle/HOL에서의 보편 근사 정리 (UAT)의 완전 기계화된 증명을 제시한다, a h...
- · devops
[Paper] AutoPas에서 분자 동역학 시뮬레이션을 위한 벡터화 파라미터 조정
Molecular Dynamics 시뮬레이션은 과학자들이 원자 규모의 물리적 과정에 대한 귀중한 통찰을 얻는 데 도움을 줄 수 있습니다. 본 연구는 다양한 기법을 탐구합니다 ...