검색 여닫기
메뉴 여닫기
501
215
4
1.9천
noriwiki
환경 설정 메뉴 여닫기
개인 메뉴 여닫기
로그인하지 않음
지금 편집한다면 당신의 IP 주소가 공개될 수 있습니다.

새 문서 목록

다른 명령
새 문서 목록
등록된 사용자 숨기기 | 봇을 숨기기 | 넘겨주기를 보이기
(최신 | 오래됨) (다음 50개 | ) (20 | 50 | 100 | 250 | 500) 보기

2025년 1월 20일 (월)

2025년 1월 17일 (금)

2025년 1월 16일 (목)

2025년 1월 15일 (수)

  • 12:082025년 1월 15일 (수) 12:08 Concision (역사 | 편집) [1,550 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: Style: Lessons in Clarity and Grace == 개요 == 문장을 간결하게 만드는 법을 소개한다. 문장을 간결하게 만다는 것은 불필요한 것을 삭제함으로써, 필요한 것이 돋보이도록, 잘 이해되도록 하는 작업이다. 예를 들어서 다음 문장을 보자. : In my personal opinion, it is necessary that we should not ignore the opportunity to think over each and every suggestion offered. 이 문장을 다음과 같이 바...)
  • 11:432025년 1월 15일 (수) 11:43 Global coherence (역사 | 편집) [3,966 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: Style: Lessons in Clarity and Grace == 개요 == 독자가 미리 알고 있는 지식을 이용하면서 읽어갈 수 있도록 Signal을 주는 것은 Coherence측면에서 중요한 역활을 한다. 이 문서에서는 이러한 신호를 독자에게 주는 기법을 설명한다. 핵심은 설명을 '''두괄식'''으로 하라는 것이다. == Global Coherence == Coherence는 국지적으로도 중요하지만, 문서 전체에서도 중요한 역활...)
  • 10:182025년 1월 15일 (수) 10:18 Motivation (역사 | 편집) [6,829 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: Style: Lessons in Clarity and Grace == 개요 == 어떻게 Introduction, Motivation, 그리고 Conclusion을 써야 할 것이지 설명한다. Motivation은 크게 두가지 목적이 있다. * 독자들에게 앞으로 어떤 것에 대해서 설명할으로써, 그들이 좀더 많은 지식을 가지고 글을 읽을 수 있도록 함 * 독자들이 글을 읽고 싶도록 Motivate하여, 그들이 그을 더욱 자세히 읽도록 함 == Introduction 을 작...)

2025년 1월 13일 (월)

2025년 1월 12일 (일)

2025년 1월 11일 (토)

2025년 1월 9일 (목)

2025년 1월 6일 (월)

2025년 1월 5일 (일)

2025년 1월 2일 (목)

2024년 12월 26일 (목)

2024년 12월 25일 (수)

  • 15:072024년 12월 25일 (수) 15:07 수레바퀴 아래서 (역사 | 편집) [10,197 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: 문학 분류: 유럽문학 서귀포에서 1등한 경험. 그떄 느꼈던 야릇한 승리감. 고등학교 생활. 그후 겪은 좌절. 방황에 대한 수필 작성. 책을 읽으면서도 받는 공부에 대한 스트레스 (대학원 입장). 한국의 교육과 학벌에 대한 사람들의 문제점. 나의 생각. 대학원생에게 수레바퀴란? 한국의 젋은이들의 자살율, 삶의 질. 소설에 나오는 아버지는 지극히 평범한...)

2024년 12월 21일 (토)

2024년 12월 18일 (수)

2024년 12월 12일 (목)

2024년 12월 10일 (화)

2024년 12월 9일 (월)

2024년 12월 6일 (금)

  • 14:012024년 12월 6일 (금) 14:01 Fuzzing (역사 | 편집) [3,586 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: Fuzzing == 개요 == FUzzing은 소프트웨어 테스트 기법으로서, 컴퓨터 프로그램에 유효하고 무작우의 데이터를 입력하는 것이다. 이후 프로그램은 잘못된 실행을 하는지에 대한 체크를 통해서 잠재적인 버그를 찾는다. 퍼징은 주로 소프트웨어나 컴퓨터 시스템들의 보안 문제를 테스트하기 위해 사용된다. 퍼징 프로그램의 형태로 변이 기반(Mutation)과 생성 기...)
  • 13:132024년 12월 6일 (금) 13:13 BRF: Fuzzing the eBPF Runtime (역사 | 편집) [2,015 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: ACM FSE HSIN-WEI HUNG, ARDALAN AMIRI SANI ACM FSE 2024 == 개요 == eBPF Fuzzer설계시에 기존 시스템의 한계인 대부분의 경우 eBPF Static verifier가 프로그램을 Reject시키는 문제를 eBPF Semantic정보를 통하여 해결하여 극복한 논문이다. == Motivation == eBPF 버그 많다. eBPF 버그 Fuzzer로 잡으면 좋다. == Importance == 그러나 기존의 방식들은 eBPF Semantic에 맞지않는 프로그램을 생성하여...)
  • 04:152024년 12월 6일 (금) 04:15 Validating the eBPF Verifier via State Embedding (역사 | 편집) [2,840 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: USENIX OSDI Hao Sun, Zhendong Su USENIX OSDI 2024 == 개요 == State embedding (Assertion을 집어 넣는 것)을 통하여 eBPF의 State transition을 반영한 Gray-box기반의 eBPF Fuzzer를 개발함 == Motivation == eBPF중요함. 버그 많음. 기존 Fuzzer black-box임. Black-box Fuzzing으로는 eBPF에서 발생하는 버그들은 Hard to notice, Hard to detect의 두가지 성질을 가지고 있음. 따라서, 새로운 eBPF Fuzzer개발해야 함....)

2024년 12월 5일 (목)

2024년 12월 4일 (수)

  • 09:372024년 12월 4일 (수) 09:37 Random Testing for C and C++ Compilers with YARPGen (역사 | 편집) [7,114 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: ACM OOPSLA VSEVOLOD LIVINSHII, DMITRY BABOKIN, JOHN REGEHR ACM OOPSLA 2020 == 개요 == 컴파일러 테스팅을 위하여 프로그램을 랜덤 생성할시 커버리지를 높이기 위하여 코드 특성을 체계적으로 변경하는 매커니즘을 제공하고, 언어의 제한된 하위 집합에 머물지 않으면서도 정의되지 않은 동작이 없는 코드를 생성해내는 새로운 Compiler fuzzing test generator을 고안하였다. == Mot...)
  • 05:312024년 12월 4일 (수) 05:31 Differential testing (역사 | 편집) [1,454 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: Fuzzing == 개요 == Differential testing은 동일한 입력을 여러 유사한 Application (혹은 버전만 다른 같은 Application)에 제공하고 실행의 차이를 관찰하여 버그를 탐지하는 Fuzzing기법이다. Differnetial testing은 Crash나 Abortion을 유발하지 않는 Semantic혹은 Logical bug를 발견하기 위해서 사용된다. Differential testing은 다른 발로 Back-to-Back testing이라고 불리기도 한다. Differential tes...)

2024년 12월 2일 (월)

  • 06:562024년 12월 2일 (월) 06:56 Operating System Transactions (역사 | 편집) [4,211 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: ACM SOSP Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, and Emmett Witchel SOSP’09 == 개요 == 시스템 콜을 Transaction하게 만든 디자인을 제시한 논문이다. == Motivation == Applications developer들은 논리적으로 연관된 여러개의 시스템콜을 사용한다. 이러한 Complexity는 buggy하거나 malicious한 어플리케이션에서 Critical한 Attack point혹은 Data lose로 이어질 수 있다...)

2024년 11월 29일 (금)

2024년 11월 27일 (수)

2024년 11월 26일 (화)

2024년 11월 22일 (금)

  • 11:212024년 11월 22일 (금) 11:21 Snapshot at the begining (역사 | 편집) [3,525 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: Garbage collection == Snapshot at the Beginning == '''Snapshot at the Beginning'''은 가비지 컬렉션(Garbage Collection, GC)에서 객체 참조 상태를 추적하기 위해 사용되는 전략이다. 주로 동시 가비지 컬렉션(Concurrent Garbage Collection)에서 사용되며, GC가 시작하는 시점의 객체 참조 상태(스냅샷)를 기준으로 살아있는 객체를 마킹한다. 이 전략은 객체 참조 상태의 동적 변경에 따른...)
  • 04:442024년 11월 22일 (금) 04:44 Card table (역사 | 편집) [3,353 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: Garbage collection == Card Table 개요 == Card Table은 객체 참조 관계를 효율적으로 관리하기 위해 사용하는 데이터 구조이다. 주로 Generational GC에서 세대 간 참조를 추적하는 데 사용된다. == Card Table의 역할 == ;Generational GC의 효율성 보장 :Generational GC는 Young 세대와 Old 세대 간 객체 참조를 관리해야 한다. Card Table은 Old 세대에서 Young 세대를 참조하는 객체를 효율적...)

2024년 11월 21일 (목)

  • 12:272024년 11월 21일 (목) 12:27 G1GC (역사 | 편집) [7,912 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: Garbage collection == 개요 == G1GC(Garbage-First Garbage Collector)는 자바 가상 머신(JVM)의 가비지 컬렉션 알고리즘 중 하나이다. 대규모 힙 메모리를 효율적으로 관리하고 가비지 컬렉션으로 인한 지연 시간을 최소화하기 위해 설계되었다. G1GC는 힙 메모리를 여러 리전(region)으로 나누어 관리하며, 가비지가 많은 리전을 우선적으로 수집하는 방식으로 동작한다. == 주...)
(최신 | 오래됨) (다음 50개 | ) (20 | 50 | 100 | 250 | 500) 보기
원본 주소 "http://junhoahn.kr/noriwiki/index.php/특수:새문서"