2023년 3월 10일 (금)
- 07:352023년 3월 10일 (금) 07:35 차이 역사 +832 새글 Abstraction 새 문서: 분류: 운영체제 == 개요 == Abstraction을 운영체제의 기초적인 기능 중에 하나로서, 복잡한 하드웨어의 구현으로부터 핵심적인 개념 또는 기능을 간추려 내어, 사용자에게 제공하는 것을 말한다. 사실 Abstraction은 운영체제 뿐만 아니라 컴퓨터 과학 더 나아가 자연과학까지 과학의 기본을 구성하는 개념이라고 생각한다. 복잡한 자연환경에서 간단한 수학적 법칙을... 최신
- 07:302023년 3월 10일 (금) 07:30 차이 역사 +4,841 새글 Light-Weight Contexts: An OS Abstraction for Safety and Performance 새 문서: 분류: 시스템 논문 Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016 James Litton, Peter Druschel == 개요 == 하나의 프로세스에서 다른 memory, file desriptors, 그리고 access capabilitiy를 가지는 LwC라는 새로운 Protection domain을 만들었다. LwC를 전환하는 것은 kernel thread를 switching하는 것보다 더 빠르게 가능하기 때문에 여러 새로운 기능을 탐구하고, 그...
2023년 3월 7일 (화)
- 01:452023년 3월 7일 (화) 01:45 차이 역사 +2 VM exit reasons 편집 요약 없음 최신
- 01:452023년 3월 7일 (화) 01:45 차이 역사 +21 새글 분류:X86 가상화 새 문서: 분류: 가상화 최신
- 01:442023년 3월 7일 (화) 01:44 차이 역사 +56 VM exit reasons 편집 요약 없음
- 01:442023년 3월 7일 (화) 01:44 차이 역사 +957 새글 VM exit reasons 새 문서: 분류: x86 가상화 == 개요 == == Reasons == ;7 Interrupt Window Exiting :이 bit가 enable되면, VM entry혹은 VM의 다음 명령어가 실행되는 순간 VM exit이 발생한다. :* RFLAGS.IF = 1 (외부 인터럽트가 unmaksed됨) :* STI혹은 MOV SS처럼 인터럽트를 허용하는 순간 :Interrupt window exiting은 VMM소프트웨어가 Interrupt을 Inject혹은 Deliver하는 과정에서 Guest VM이 인터럽트를 끈 상태에서, 인터럽트가 전송...
2023년 3월 2일 (목)
- 12:412023년 3월 2일 (목) 12:41 차이 역사 +28 새글 분류:파일 포맷 새 문서: 분류: 파일 시스템 최신
- 12:412023년 3월 2일 (목) 12:41 차이 역사 +47 새글 ELF Executable and linkage format 문서로 넘겨주기 최신 태그: 새 넘겨주기
2023년 2월 28일 (화)
- 12:572023년 2월 28일 (화) 12:57 차이 역사 +82 잔글 Virtio 편집 요약 없음
2023년 2월 27일 (월)
- 01:212023년 2월 27일 (월) 01:21 차이 역사 +101 Scope 편집 요약 없음 최신
2023년 2월 26일 (일)
- 10:162023년 2월 26일 (일) 10:16 차이 역사 −25 동적 계획법 →개요 최신 태그: 시각 편집: 전환됨
- 10:052023년 2월 26일 (일) 10:05 차이 역사 +746 새글 First-class function 새 문서: 분류: 프로그래밍 언어 == 개요 == First-class function에서는 함수가 변수이다. First-class function은 함수가 변수처럼 생각되어서, 다른 함수의 인자로 넘길 수 있으며, 리턴 타입으로 나올 수 있으며, 자료구조와 같은 시스템으로 저장할 수 있다. first-class function을 허용하는 언어에서는 function의 이름이 특별한 의미를 가지는 것이 아니라, 다른 변수와 같은 의미를 가진... 최신
- 09:502023년 2월 26일 (일) 09:50 차이 역사 +2,318 새글 Scope 새 문서: 분류: 프로그래밍 언어 == 개요 == Scope란 특정 변수가 유효한 범위를 말한다. Scope은 같은 이름이 겹치는 것을 막아준다. 예를 들어서 <code>f(x) -> x + y</code> 라는 함수에 인자로 <code>val y = 5; 10 * y</code>를 넣었다고 해보자. 그럼 만약 Scope가 없다면, 결과가 <code>f(val y = 5; 10 * y) -> val y = 5; ; 10 * y + y</code>가 되어 55라는 결과가 나온다. 그러나 함수 f(x)의 정의는 사실 올...
- 07:542023년 2월 26일 (일) 07:54 차이 역사 +1,058 새글 First-order function 새 문서: 분류: 프로그래밍 언어 == 개요 == First-order 함수는 function의 인자로 다른 함수를 받거나, return으로 함수를 내보내지 못하는 함수를 의미한다. Environment(Env)를 다음과 같이 Id를 특정 값으로 매핑하는 집합이라고 하자 (즉, val x= 5; 에서 x가 어떤 값인지를 찾아주는 집합이다). 이떄 Env 를 다음과 같이 정의하면: :<math>Env \,\, \sigma \in Id \rightarrow (Id \times Expr) </math> First-... 최신
- 05:432023년 2월 26일 (일) 05:43 차이 역사 +70 새글 비말단 기호 Terminal and nonterminal symbols#Nonterminal symbols 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 05:422023년 2월 26일 (일) 05:42 차이 역사 +67 새글 말단 기호 Terminal and nonterminal symbols#Terminal symbols 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 05:422023년 2월 26일 (일) 05:42 차이 역사 +1,678 새글 Terminal and nonterminal symbols 새 문서: 분류: 프로그래밍 언어 == 개요 == Terminal 그리고 Nonterminal symbols는 formar grammar에서 production rule을 표현하기 위해서 사용하는 기호들의 분류이다. Terminal symbols는 불변의 값, 상수나 표현식을 의미하며, nonterminal symbol은 terminal symbol의 합으로 구성되는 기호들을 의미한다. == Terminal symbols == Terminal symbols(말단 기호)는 grammar을 사용하여 변화하지 않는 기호를 의미한... 최신
2023년 2월 25일 (토)
- 11:202023년 2월 25일 (토) 11:20 차이 역사 +24 새글 분류:지도 학습 새 문서: 분류: 인공지능 최신
- 11:202023년 2월 25일 (토) 11:20 차이 역사 +24 새글 분류:비지도 학습 새 문서: 분류: 인공지능 최신
- 11:092023년 2월 25일 (토) 11:09 차이 역사 +4,632 새글 큐 새 문서: 분류: 자료 구조 ==개요== '''큐'''는 컴퓨터의 기본적인 자료 구조의 한가지로, 먼저 집어 넣은 데이터가 먼저 나오는 FIFO구조로 저장하는 형식을 말한다. 영어 단어는 표를 사러 일렬로 늘어선 사람들로 이루어진 줄을 말하기도 하며, 먼저 줄을 선 사람이 먼저 나갈 수 있는 상황을 연상하면 된다. 나중에 집어 넣은 데이터가 먼저 나오는 스택과는... 최신
- 11:092023년 2월 25일 (토) 11:09 차이 역사 +129 새글 배열 새 문서: 분류: 자료 구조 ==개요== 배열이란 테이블로, N차원의 공간에 자료를 배열하는 방식을 말한다. 최신
- 11:092023년 2월 25일 (토) 11:09 차이 역사 +3,059 새글 리스트 새 문서: 분류:자료 구조 ==개요== 데이터부와 포인터부로 구성된 데이터를 체인으로 연결한 데이터 구조를 리스트라한다. 리스트의 각 요소를 노드라 한다. 이떄 자기자신의 구조체로의 포인터를 포함하는 구조체를 '자기 참조 구조체'라 한다. 구조체는 필요할 떄 원하는 크기만큼 메모리 영역을 받아야 함으로 동적 메모리 할당을 이용하여야 한다. == 상세 == == 개... 최신
- 11:082023년 2월 25일 (토) 11:08 차이 역사 +29 새글 이진 트리 Binary tree 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 11:082023년 2월 25일 (토) 11:08 차이 역사 +5,583 새글 Binary tree 새 문서: 분류: 자료 구조 섬네일|가운데 == 개요 == 부모 노드 밑에 자식 노드가 최대 2개밖에 오지 않는, 트리의 가장 간단한 형태다. 두 자식 노드를 보통 왼쪽 자식과 오른쪽 자식으로 구분지으며, 하나의 값과 왼쪽, 오른쪽 자식 노드를 각각 가리킬 두 개의 포인터를 가진 구조로 구현할 수 있다. 일반적으로 n개의 자식을 가질 수 있는 트리 구조에... 최신
- 11:082023년 2월 25일 (토) 11:08 차이 역사 +27 새글 힙정렬 Ahn9807님이 힙정렬 문서를 Heap sort 문서로 이동했습니다 최신 태그: 새 넘겨주기
- 11:082023년 2월 25일 (토) 11:08 차이 역사 0 잔글 Heap sort Ahn9807님이 힙정렬 문서를 Heap sort 문서로 이동했습니다 최신
- 11:082023년 2월 25일 (토) 11:08 차이 역사 +12 Heap sort 편집 요약 없음
- 11:072023년 2월 25일 (토) 11:07 차이 역사 +1,104 새글 Heap sort 새 문서: 분류: 정렬 ==개요 == 사실 선택 정렬과 거의 같은 알고리즘으로. 단지 가장 큰 원소를 뒤로 보내는 데에 단순히 매번 쭉 돌면서 알아내느냐 힙을 사용하여 알아내느냐가 유일한 차이점이다. 힙정렬은 추가적인 메모리를 전혀 필요로 하지 않는다는 점과, 최악의 경우에 O(n2)O(n^2)O(n2)의 성능을 내는 퀵정렬과 달리 항상 O(nlogn)O(n \log n)O(nlogn) 정렬의 성능을 발휘...
- 11:072023년 2월 25일 (토) 11:07 차이 역사 +1 자료 구조 편집 요약 없음 최신
- 11:072023년 2월 25일 (토) 11:07 차이 역사 +815 새글 자료 구조 새 문서: 분류: 자료구조 == 개요 == 자료형 (int, char ..)등을 효과적으로 조직화하기 위한 추상적인 자료형을 자료 구조라 한다. 테이블 스택 큐는 배열을 이용해서 간단히 구현할 수도 있지만, 대부분의 자료구조의 구현은 메모리 절약을 위해 포인터로 이루어진다. 자료 구조와 알고리즘은서로 밀접한 관계에 있어 좋은 데이터 구조를 선택하는 것이 좋은 알고리즘을...
- 11:072023년 2월 25일 (토) 11:07 차이 역사 +34 새글 Dynamic programming Ahn9807님이 Dynamic programming 문서를 동적 계획법 문서로 이동했습니다 최신 태그: 새 넘겨주기
- 11:072023년 2월 25일 (토) 11:07 차이 역사 0 잔글 동적 계획법 Ahn9807님이 Dynamic programming 문서를 동적 계획법 문서로 이동했습니다
- 11:062023년 2월 25일 (토) 11:06 차이 역사 +24 새글 분류:알고리즘 패러다임 새 문서: 분류: 알고리즘 최신
- 11:062023년 2월 25일 (토) 11:06 차이 역사 +4,780 새글 동적 계획법 새 문서: 분류: 알고리즘 패러다임 == 개요 == Dynamic Programming; DP 특정 범위까지의 값을 구하기 위해서 그것과 다른 범위까지의 값을 이용하여 효율적으로 값을 구하는 알고리즘 설계 기법이다. 동적 계획법은 "어떤 문제를 풀기 위해 그 문제를 더 작은 문제의 연장선으로 생각하고, 과거에 구한 해를 활용하는" 방식의 알고리즘을 총칭한다. 답을 구하기 위해서 했던 계산...
- 11:062023년 2월 25일 (토) 11:06 차이 역사 +18 새글 분류:이산수학 새 문서: 분류: 수학 최신
- 11:052023년 2월 25일 (토) 11:05 차이 역사 −1 이산수학 기호 편집 요약 없음 최신
- 11:042023년 2월 25일 (토) 11:04 차이 역사 +3,399 새글 이산수학 기호 새 문서: 분류:이산수학 ==개요 == 여기서는 이산수학에서 기초적으로 사용되는 여러 로직 기호들을 서술한다. == 여러가지 로직 기호들 == # Not: ~ # Conjunction (AND): <math display="inline">\land</math> # Disjunction (OR): <math display="inline">\lor</math> # Implication (then): <math display="inline">\rightarrow</math> > 가정이 거짓이면 모두 참이고 가정이 참일결우 결론이 거짓일 경우만 거짓이다. > 예...
- 11:042023년 2월 25일 (토) 11:04 차이 역사 +24 새글 Tree 트리 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 11:042023년 2월 25일 (토) 11:04 차이 역사 +2,611 새글 트리 새 문서: 분류: 자료 구조 == 개요 == 선형 리스트는 포인터를 이용해서 데이터가 한 방향으로 진행하며 도중에 분기하지는 않는다. 이에 반해, 트리는 분기하면서 데이터가 뻗어나가는 형태의 데이터 구조이다. 트리는 노드와 각 노드를 잇는 링크로 구성된다. 노드는 데이터에 해당하고, 링크는 데이터와 데이터를 잇는 부모-자식 관계에 해당한다. 특정 노드에서 아래 방... 최신
- 11:032023년 2월 25일 (토) 11:03 차이 역사 +7 연구 문제 편집 요약 없음 태그: 되돌려진 기여
- 11:032023년 2월 25일 (토) 11:03 차이 역사 +5,122 새글 연구 문제 새 문서: 분류:논문 작성법 == 개요 == 연구문제란, 연구자가 문제에 대한 답을 찾기 위해 내리는 문제이다. 연구 문제를 정하는 것은 질적 양적으로 연구의 중요한 부분이다. 문제를 해결하기 위한 조사는, 데이터의 수집 분석및 방법론이 동원된다. 좋은 연구 문제는 중요한 주제에 대한 지식을 증가시키는 방법이여야 하며, 좁고 깊어야 한다. 연구문제를 정하기 위해서,...
- 11:022023년 2월 25일 (토) 11:02 차이 역사 +34 새글 분류:그래픽 가속 알고리즘 새 문서: 분류: 컴퓨터 그래픽스 최신
- 11:022023년 2월 25일 (토) 11:02 차이 역사 +1,138 새글 Bounding volume hierarchy 새 문서: 분류:그래픽 가속 알고리즘 == 개요 == Bounding Volume Hierarchy 바운딩 박스를 계속 재귀적으로 계산하여 트리를 만들고 충돌판정에서 이 트리를 이용한다. Linear Search 는 O(n)의 효율을 가지지만, Tree Search는 O(logN)이기 때문에 훨씬 빠르게 충돌 판정을 할 수 있다. == 트리 만들기 == 섬네일 #바운딩 박스를 만든다. #바운딩 박스를 적절하게 두... 최신
- 11:022023년 2월 25일 (토) 11:02 차이 역사 0 기계 학습 편집 요약 없음 최신
- 11:012023년 2월 25일 (토) 11:01 차이 역사 +34 새글 Gradient decent 기울기 하강 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 11:012023년 2월 25일 (토) 11:01 차이 역사 +2,569 새글 기울기 하강 새 문서: 분류:지도 학습 분류:수학 섬네일 ==개요== 기울기 하강(Gradient Descent)은 함수의 기울기를 구해서 기울기가 낮은 쪽으로 계속 이동시켜서 극값에 이를 때까지 반복시키는 알고리즘이다. == 설명 == 최적화할 함수 <math>f(\mathbf{x})</math>에 대하여, 먼저 시작점 <math>\mathbf{x}_0</math>를 정한다. 현재 <math>\mathbf{x}_i</math>가 주어졌을 때, 그 다음으...
- 11:012023년 2월 25일 (토) 11:01 차이 역사 +31 새글 Machine Learning 기계 학습 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 11:002023년 2월 25일 (토) 11:00 차이 역사 +6,496 새글 기계 학습 새 문서: 분류:기계 학습 == 정의 == 기계 학습은 주어진 입력에 대하여 출력을 내놓는 기존의 방식을 개선하여 입력값들로 그들만의 새로운 함수를 만드는 과정을 말한다. 더 자세히 말하면 주어진 함수의 인자를 입력값들의 관계를 통해서 찾아 나가는 과정을 말한다. 어떻게 보면 확률의 Regression과정과 비슷하지만, 중요한 차이점은 데이터를 이해하는 과정이라는 것이...
- 11:002023년 2월 25일 (토) 11:00 차이 역사 +7 분류:컴퓨터 비전 편집 요약 없음 최신
- 11:002023년 2월 25일 (토) 11:00 차이 역사 +24 새글 분류:비쥬얼 컴퓨팅 새 문서: 분류: 전산과학 최신