1주 전 · devops

[Paper] PolarStore: 대규모 클라우드‑네이티브 데이터베이스를 위한 고성능 데이터 압축

최근 몇 년간, 리소스 탄력성과 비용 최적화는 RDBMS에 필수 요소가 되었습니다. 클라우드 네이티브 RDBMS는 d...을 통해 탄력적인 컴퓨팅 리소스를 제공합니다.

1주 전 · devops

[Paper] 모바일 에이전트를 통한 최소 지배 집합의 선형 시간 구축 개선

Mobile agents는 최근에 분산 환경에서 기본적인 그래프 문제를 해결하기 위한 강력한 프레임워크로 부상했습니다. 이러한 에이전트들은 aut...

1주 전 · software

[Paper] 성능 프로파일링을 통한 가속기 컴파일러 이해

Accelerator design languages (ADLs), high-level languages that compile to hardware units, help domain experts quickly design efficient application-specific hard... 가속기 설계 언어(ADL)는 하드웨어 유닛으로 컴파일되는 고수준 언어로, 도메인 전문가가 효율적인 응용 프로그램 전용 하드웨어를 빠르게 설계하도록 돕습니다.

1주 전 · ai

[논문] 프롬프트는 적게, 미소는 더 많이: 프롬프트 엔지니어링 대신 의미 엔지니어링을 활용한 MTP

AI-통합 프로그래밍은 대형 언어 모델(LLM)을 활용한 지능형 시스템 구축을 위한 기본 패러다임으로 부상하고 있습니다. 최근 접근 방식인 M...

1주 전 · ai

[Paper] SLMFix: 소형 언어 모델을 활용한 강화 학습 기반 오류 수정

Recent advancements in large language models (LLMs) have shown very impressive capabilities in code generation across many programming languages. However, even ... 최근 대형 언어 모델(LLM)의 최근 발전은 다양한 프로그래밍 언어에서 코드 생성에 매우 인상적인 능력을 보여주었습니다. 그러나, ...

1주 전 · devops

[Paper] ARMv8 환경에서 가상 주소 원격 DMA를 위한 IOMMU 지원

많은 compute node가 여러 CPU를 포함하고 각 node 내에서 일관성을 유지하는 복잡한 시스템에서, 핵심 과제는 효율적이고 올바른 coherence를 유지하는 것이다.

1주 전 · ai

[Paper] 양자 오토인코더를 위한 신경망 구조 탐색

최근 몇 년간, 머신 러닝과 딥 러닝은 이미지 분류, 음성 인식, 그리고 이상 탐지와 같은 분야에서 l...에 의해 발전을 이끌어 왔습니다.

1주 전 · software

[Paper] 사양 후보를 좁히기 위한 테스트 케이스 합성

이 논문은 대안 집합 중에서 최적의 형식 사양 후보를 선택하는 데 도움이 되는 기술을 제안한다. 사양 집합이 주어지면, 우리의 기술은…

1주 전 · software

[Paper] LLMs 기반 실시간 결함 주입: 지능형 결함 테스트 케이스 생성을 위한 접근법

자동차 소프트웨어 시스템(ASSs)의 안전성 평가 및 실시간 검증을 위한 잘 알려진 테스트 방법은 Fault Injection(FI)이다. 이에 따라...

1주 전 · ai

[Paper] LLM이 프로그램 의미론을 복원할 수 있을까? 심볼릭 실행을 통한 체계적인 평가

Obfuscation은 프로그램 이해, 유지보수, 테스트 및 취약점 탐지와 같은 소프트웨어 엔지니어링 작업에 지속적인 도전을 제기한다. 하지만 ...

1주 전 · ai

[Paper] 레머 코드를 이용한 순열 공간 탐색에 대한 이론적 및 실증적 분석 (진화 알고리즘 활용)

A suitable choice of the representation of candidate solutions is crucial for the efficiency of evolutionary algorithms and related metaheuristics. We focus on ... 후보 솔루션의 표현 방식을 적절히 선택하는 것은 진화 알고리즘 및 관련 메타휴리스틱의 효율성에 매우 중요합니다. 우리는 …에 초점을 맞춥니다.

1주 전 · software

[Paper] LLMAID: Android 앱에서 LLMs를 사용한 AI 기능 식별

인공지능(AI)의 최근 발전과 모바일 소프트웨어 애플리케이션에의 광범위한 통합은 큰 주목을 받아왔으며, highli...