· software
[Paper] Runnable Directories: Monorepo vs. Multi-repo 논쟁에 대한 해결책
현대 소프트웨어 시스템은 전통적인 코드베이스 조직 전략에 점점 더 큰 부담을 주고 있습니다. Monorepos는 일관성을 제공하지만 종종 확장성 문제를 겪습니다.
-
- · devops
[Paper] Fan-Out Operations와 Qudits를 이용한 Distributed Quantum Computing: Distributed Global Gates 사례 (예비 연구)
최근 분산 양자 컴퓨팅에 관한 많은 연구는 얽힌 쌍(entangled pairs)과 분산 두 큐비트 게이트(distributed two qubit gates)의 사용에 초점을 맞추어 왔습니다. 하지만 ef...
- · devops
[Paper] FFTrainer: 대규모 언어 모델 훈련에서 거의 무료 상태 관리로 빠른 페일오버
최근 대형 언어 모델(LLMs)의 발전은 효율적이고 견고한 학습에 대한 새로운 요구사항을 제시했습니다. LLM 클러스터가 확장됨에 따라, 노드 실패, le...
- · software
[Paper] 시그모이드 함수의 형식적 분석 및 보편 근사 정리의 형식적 증명
본 논문은 sigmoid 함수에 대한 형식화된 분석과 Isabelle/HOL에서의 Universal Approximation Theorem (UAT)에 대한 완전 자동화된 증명을 제시한다, a h...
- · devops
[Paper] AutoPas에서 분자 동역학 시뮬레이션을 위한 벡터화 파라미터 조정
Molecular Dynamics 시뮬레이션은 과학자들이 원자 규모의 물리적 과정에 대한 귀중한 통찰을 얻는 데 도움을 줄 수 있습니다. 본 연구는 다양한 기법을 탐구합니다 ...
- · devops
[Paper] 이중 엣지 지원 컴퓨팅 오프로드 및 자원 할당을 위한 우주-공중-해양 통합 네트워크
본 논문에서는 space‑air‑marine integrated networks (SAMINs)를 위해 맞춤 설계된 double‑edge‑assisted computation offloading 및 resource allocation 스킴을 제안한다.
- · software
[Paper] 초보자 프로그램 결함 위치 파악을 위한 Large Language Models의 가능성과 한계 탐구
초보 프로그래머는 제한된 경험과 프로그래밍 구문 및 논리에 대한 이해 부족으로 인해 fault localization에서 종종 어려움을 겪습니다. Traditional me...
- · software
[Paper] HarnessAgent: 도구‑보강 LLM 파이프라인을 활용한 자동 퍼징 하니스 구축 확장
대규모 언어 모델(LLM) 기반 기술은 프로그램 퍼징을 위한 하니스 생성에서 눈에 띄는 진전을 이루었습니다. 그러나 이를 임의의 함수에 적용하는 것은…
- · devops
[Paper] TokenScale: 시기적절하고 정확한 자동 스케일링을 위한 토큰 속도 기반 분산형 LLM 서빙
LLM 서빙에서 프리필/디코드(PD) 디스어그리게이션으로의 아키텍처 전환은 자원 활용도를 향상시키지만 현대 워크로드의 버스티한 특성 때문에 어려움을 겪는다.
- · ai
[Paper] VS-Graph: 확장 가능하고 효율적인 그래프 분류를 위한 Hyperdimensional Computing
그래프 분류는 분자 특성 예측에서 재료 설계에 이르는 다양한 분야에서 기본적인 작업이다. 하지만 graph neural networks (GNNs)는 …
- · ai
[Paper] Vibe Coding은 안전한가? 실제 작업에서 에이전트 생성 코드의 취약성 벤치마킹
Vibe 코딩은 인간 엔지니어가 대형 언어 모델(LLM) 에이전트에게 복잡한 코딩 작업을 최소한의 감독으로 수행하도록 지시하는 새로운 프로그래밍 패러다임입니다.
- · ai
[Paper] MagicQuillV2: 정밀하고 인터랙티브한 이미지 편집, 레이어형 시각 단서
우리는 MagicQuill V2를 제안한다. 이는 생성 이미지 편집에 레이어드 컴포지션 패러다임을 도입하는 새로운 시스템으로, 의미론적…