· devops
[Paper] 네트워크 시스템에서 Serializability 결정
우리는 동시 프로그램의 serializability를 자동으로 검증하기 위한 SER 모델링 언어를 제시한다, 즉 프로그램의 모든 동시 실행이 …
-
- · software
[Paper] Assertion-Based Verification에서 자동 어설션 마이닝: 기술, 과제 및 향후 방향
기능 검증은 점점 더 Assertion-Based Verification (ABV)에 의존하고 있으며, 이는 그 효율성 때문에 하드웨어 설계를 검증하는 핵심 접근 방식이 되었습니다...
- · ai
[Paper] 맞춤형 CNN, 사전 학습 모델 및 전이 학습을 통한 다중 시각 데이터셋 비교 연구
Convolutional Neural Networks (CNNs)는 원시 픽셀로부터 계층적 표현을 학습하는 능력 때문에 시각 인식에 대한 표준 접근 방식이다....
- · ai
[Paper] VIBE: 시각적 지시 기반 편집기
Instruction-based image editing은 생성 AI에서 가장 빠르게 발전하고 있는 분야 중 하나입니다. 지난 1년 동안 이 분야는 새로운 수준에 도달했으며, 수십 개의 op...
- · software
[Paper] NQC2: 비침입형 QEMU 코드 커버리지 플러그인
코드 커버리지 분석은 소프트웨어 개발에서 표준적인 접근 방식이 되었으며, 테스트 스위트의 효율성을 평가하고, 미확인된…
- · ai
[Paper] CD4LM: 일관성 증류와 aDaptive 디코딩 for Diffusion Language Models
Autoregressive 대형 언어 모델은 많은 benchmarks에서 강력한 결과를 달성하지만, decoding은 여전히 sequential dependence 때문에 근본적으로 latency‑limited합니다.
- · software
[Paper] PauliEngine: 고성능 기호 연산을 위한 양자 연산
Quantum computation은 본질적으로 하이브리드이며, 빠른 클래식 조작은 qubit operators의 효율적인 처리를 위해 필요하고, 이는 quantum software의 확장성을 보장한다. 우리는 …
- · ai
[Paper] XAI에서 스토리까지: LLM 생성 설명 품질에 대한 요인 연구
Explainable AI (XAI) 방법인 SHAP와 LIME은 비전문가 사용자에게 접근하기 어려운 수치적 특징 기여도를 생성한다. 이전 연구에 따르면 L...
- · software
[Paper] MLIR-Smith: 컴파일러 파이프라인을 평가하기 위한 새로운 무작위 프로그램 생성기
컴파일러는 소프트웨어의 성능과 올바른 실행을 위해 필수적이며 다양한 과학 분야 전반에 걸쳐 보편적인 중요성을 가지고 있습니다. 그럼에도 불구하고 ...
- · ai
[Paper] LLM 기반 자동차 시스템의 기능 안전 및 보안 설계
이 논문은 LLM 기반 워크플로우를 제시하여 Software Defined Vehicle (SDV) 소프트웨어 개발을 지원하며, 보안 인식 시스템 토폴로지를 포함한 측면들을 다룬다.
- · ai
[Paper] ARCADE: 도시 규모 코퍼스, 세분화된 아랍어 방언 태깅용
아랍어는 지역 방언이 풍부하게 얽혀 있어 phonetics와 lexicon에서 크게 차이가 나며, 이는 지리적 및 ...
- · ai
[Paper] 기계용 코드, 인간용만은 아니다: AI-Friendliness를 Code Health Metrics로 정량화
우리는 인간 개발자와 AI 코딩 에이전트가 동일한 코드베이스에서 함께 작업하는 하이브리드 시대에 진입하고 있습니다. 산업 관행은 오랫동안 코드를 인간에게 최적화해 왔지만…