Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXivAI 번역논문
K-ESBMC: IEC 61131-3 래더 다이어그램의 실행 가능한 형식 의미론
본 기사는 IEC 61131-3 래더 다이어그램의 안전성을 향상시키기 위한 새로운 실행 가능한 형식 의미론 K-ESBMC를 소개합니다. K-ESBMC는 접점, 코일 등 PLC 요소를 모델링하며, 단일 정의로 인터프리터와 연역적 검증기를 모두 생성하여 표준에 충실한 오라클 역할을 합니다. 이를 통해 기존 변환 기반 검증기의 건전성을 감사하고 결함을 노출시킵니다.
7월 14일0
arXivAI 번역논문
압축에서 배포까지: 초저사양 마이크로컨트롤러(Microcontrollers)를 위한 실시간 및 에너지 효율적 FastGRNN
초저사양 마이크로컨트롤러(MCU) 환경에서 FastGRNN을 효율적으로 배포하기 위한 압축 및 양자화 파이프라인을 제안합니다. Arduino와 MSP430 플랫폼에서 실시간 추론과 극도로 낮은 에너지 소비를 달성하는 엔드 투 엔드 재현 연구를 다룹니다.
6월 17일0
arXivAI 번역논문
Embedded Arena: 하드웨어 피드백을 통한 반복적 최적화
임베디드 장치의 물리적 제약을 극복하기 위해 하드웨어 피드백을 활용하는 'Hardware-in-the-loop' 에이전트 프레임워크를 소개합니다. LLM 에이전트가 실제 하드웨어에서 컴파일과 측정을 반복하며 모델과 펌웨어를 자율적으로 최적화합니다.
6월 16일0
arXivAI 번역논문
Long-Context LLM 서빙 가속화를 위한 통합 KV 풀링 (Unified KV Pooling)
Long-context LLM 서빙 시 발생하는 KV 캐시 오프로딩의 비효율성을 해결하기 위한 통합 KV 풀링 기술을 제안합니다. 여러 메모리와 SSD를 하나의 논리적 풀로 통합하고 커널 파일 시스템을 우회하여 TTFT를 획기적으로 단축했습니다.
6월 16일0
arXivAI 번역논문
하드웨어 통신을 프로그램으로 명세화하기
하드웨어 모듈 테스트 시 사용되던 드라이버와 모니터가 분리되어 발생하는 비일관성 문제를 해결하기 위한 새로운 접근 방식을 제안합니다. 사용자들은 도메인 특화 언어(DSL)를 사용하여 하드웨어 통신 프로토콜을 간결하게 명세화할 수 있으며, 이 단일 명세가 드라이브 설계와 트랜잭션 모니터링 모두에 사용될 수 있습니다.
6월 12일0
arXivAI 번역논문
RTLScout: 효율적인 디지털 회로를 위한 에이전트 기반 코드 및 합성 최적화 결합 방식
RTLScout는 LLM 에이전트와 회로 합성 최적화를 결합하여 디지털 회로 설계를 자동화하는 자율 시스템입니다. PPA 피드백을 기반으로 RTL 코드를 반복적으로 개선하며, 실험 결과 상용 도구보다 우수한 면적 및 지연 시간 성능을 달성했습니다.
6월 8일0
arXivAI 번역논문
SET: 효율적인 CUDA Graph 파이프라인을 위한 스트림-이벤트 트리거 기반 스케줄링
GPU의 호스트-디바이스 동기화 지연과 커널 스케줄링 오버헤드를 해결하기 위한 새로운 CUDA 런타임 프레임워크 SET를 제안합니다. 이벤트 체이닝과 워크 스틸링을 활용하여 하드웨어 자원 활용도를 극대화하고 메모리 안전성을 보장합니다.
6월 5일0
arXivAI 번역논문
V2X를 통한 수요 기반 공동 인지(Collective Perception)를 가능하게 하는 도로변 인프라의 클라우드 네이티브 운영
본 논문은 자율 주행 시스템(ADS)을 지원하는 지능형 도로변 인프라를 위해 Kubernetes 기반의 클라우드 네이티브 아키텍처를 제안합니다. 수요 기반 오케스트레이션 방식을 통해 V2X 공동 인지 애플리케이션을 차량 존재 시에만 동적으로 배포함으로써, 확장성과 에너지 효율성을 동시에 확보할 수 있음을 입증했습니다.
5월 21일3
arXivAI 번역논문
KV-RM: 정적 그래프 LLM 서빙을 위한 KV-Cache 이동 정규화
KV-RM은 정적 그래프 LLM 디코더의 불규칙한 KV-cache 동작 문제를 해결하기 위해 제안된 런타임 설계입니다. 논리적 히스토리와 물리적 저장소를 분리하고 비연속적인 KV 매핑을 병합함으로써, 정적 그래프의 장점을 유지하면서도 메모리 효율성과 레이턴시 안정성을 동시에 확보합니다.
5월 20일2
arXivAI 번역논문
VeriCache: 손실이 있는 KV Cache를 손실 없는 LLM 추론으로 전환하기
VeriCache는 KV 캐시 압축 시 발생하는 정보 손실 문제를 해결하기 위해, 압축된 캐시로 초안을 작성하고 전체 캐시로 검증하는 새로운 추론 프레임워크입니다. 압축 디코딩과 전체 KV 캐시 스와핑을 병렬화하여 오버헤드를 최소화함으로써, 정확도를 유지하면서도 기존 전체 KV 추론 대비 최대 4배의 처리량 향상을 달성했습니다.
5월 20일0
arXivAI 번역논문
On-Orbit Real-Time Wildfire Detection Under On-Board Constraints
본 논문은 9개 위성을 이용한 실시간 산불 감지 시스템을 제시하며, 특히 모델 크기, 추론 지연 시간, 전체 알림 파이프라인 등 까다로운 제약 조건 하에서 작동하는 데 초점을 맞추고 있습니다. 연구진은 독점적인 MWIR 데이터셋과 DenseMAE 및 그 변형(hybrid DenseMAE+EMA)을 활용하여 경량화된 밀집 표현 학습(dense representation learning) 방법을 개발했습니다. 이 방법론은 극심한 클래스 불균형 환경에서 높은 정확도와 낮은 지연 시간을 동시에 달성하며, 기존의 산불 감지 방식이 해결하지 못했던 문제를 개선하는 것을 목표로 합니다.
5월 8일10
arXivAI 번역논문
MANOJAVAM: 주성분 분석 (PCA) 의 행렬 곱셈 및 특이값 분해 (SVD) 를 위한 확장 가능한 통합 FPGA 가속기
MANOJAVAM은 주성분 분석(PCA)의 핵심 단계인 행렬 곱셈과 특이값 분해(SVD)를 단일 아키텍처에서 통합한 확장 가능한 FPGA 가속기입니다. 이 시스템은 블록 스트리밍을 사용하는 TPU 스타일 사이클릭 배열과 CORDIC 기반 회전 기능을 결합하여 고대역폭 처리를 수행합니다. MANOJAVAM은 NVIDIA A6000 GPU 대비 SVD 지연 시간을 최대 22.75배, 에너지 소비를 42.14배 향상시키는 뛰어난 성능을 보여주며, 고성능 및 엣지 컴퓨팅 환경 모두에 적합한 통합 플랫폼을 제공합니다.
5월 5일7