현대 컴퓨팅 시스템에서 하드웨어 가속기의 복잡성과 다양성이 증가함에 따라 유연하고 낮은 오버헤드의 프로그램 분석 도구가 필요합니다. 우리는 PA…

이 논문은 Agile 실무자들이 프런트 엔드로 활용할 수 있도록 Agile 어휘를 사용하여 Visual Milestone Planning (VMP) 방법을 설명한다.

HPC 스토리지 스택의 복잡성이 급속히 증가함에 따라, 분야 과학자들은 HPC 스토리지 시스템을 효과적으로 활용하여 목표를 달성하는 데 점점 더 큰 어려움에 직면하고 있습니다.

Automated test generation은 소프트웨어 품질 보증에 필수적이며, coverage rate는 철저한 테스트를 보장하기 위한 핵심 metric으로 작용합니다. 최근 발전…

복잡한 medical appointment scheduling의 최적화는 다중 센터 healthcare environments에서 여전히 중요한 운영 과제로 남아 있으며, 여기서 clinical s...

Differentially private federated learning은 근본적인 긴장에 직면합니다: client data를 보호하는 privacy protection mechanisms가 동시에 정량화 가능한…

Large language models (LLMs)은 자동 코드 리팩토링 작업에 점점 더 많이 사용되고 있습니다. 비록 이러한 모델들이 코드를 빠르게 리팩터링할 수 있지만, 품질이 ...

딥러닝을 활용하여 차량 라우팅 문제에 접근하는 Neural routing solvers (NRSs)는 실용적인 적용에 있어 눈에 띄는 잠재력을 보여주었습니다. By ...

프로토타이핑은 머신 러닝(ML) 솔루션 개발에서 중요한 역할을 하지만, 기존 도구들은 효과적인 협업을 위한 지원이 제한적인 경우가 많다…

Lamport의 1978년 논문은 happens-before 관계와 logical clocks를 도입하여, 분산 시스템이 synchronized physical clocks에 의존하지 않도록 했습니다. Thi...

Choreographies는 전역적인 관점에서 분산 프로토콜을 기술하며, correct-by-construction 방식으로 로컬 행동을 합성할 수 있게 합니다. 우리는 policy‑param…

Test-time training (TTT)와 KV binding을 시퀀스 모델링 레이어로 사용하는 것은 일반적으로 키-값 매핑을 기억하는 온라인 메타러닝의 한 형태로 해석됩니다.