- 401부터 #450까지의 범위에서 50개의 결과가 아래에 보입니다.
- Popek and Goldberg 조건 (판 2개)
- 정글북 (판 2개)
- Direct Access, High-Performance Memory Disaggregation with DIRECTCXL (판 2개)
- Mnemosyne: Lightweight persistent memory (판 2개)
- Shadow stack (판 2개)
- FBMM: Making Memory Management Extensible With Filesystems (판 2개)
- Abstraction (판 2개)
- Single level storage (판 2개)
- AppArmor (판 2개)
- Favocado: Fuzzing the Binding Code of JavaScript Engines Using Semantically Correct Test Cases (판 2개)
- Thread control block (판 2개)
- OSv Optimizing the Operating System for Virtual Machines (판 2개)
- J-NVM: Off-heap Persistent Objects in Java (판 2개)
- High Velocity Kernel File Systems with Bento (판 2개)
- 파일 (판 2개)
- Throughput and latency (판 2개)
- 프로그램 (판 2개)
- Bit Fusion: Bit-Level Dynamically Composable Architecture for Accelerating Deep Neural Network (판 2개)
- Delta Pointers: Buffer Overflow Checks Without the Checks (판 2개)
- Master boot record (판 2개)
- 정렬 (판 2개)
- 탐욕 알고리즘 (판 2개)
- CBMM: Financial Advice for Kernel Memory Managers (판 2개)
- Virtual machine introspection (판 2개)
- Optical flow (판 2개)
- DieHard: Probabilistic Memory Safety for Unsafe Languages (판 2개)
- IJON: Exploring Deep State Spaces via Fuzzing (판 2개)
- 오류 검출과 정정 (판 2개)
- Identifying On-/Off-CPU Bottlenecks Together with Blocked Samples (판 2개)
- Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing (판 2개)
- Hardware virtualization (판 2개)
- Dennard Scailing (판 2개)
- Shinjuku: Preemptive Scheduling for μsecond-scale Tail Latency (판 2개)
- BlackBox: A Container Security Monitor for Protecting Containers on Untrusted Operating Systems (판 2개)
- Building Bridges: Safe Interactions with Foreign Languages through Omniglot (판 2개)
- 롱 모드 (판 2개)
- Unikernel Linux (UKL) (판 2개)
- Zero copy (판 2개)
- NVL-C: Static analysis techniques for efficient, correct programming of non-volatile main memory systems (판 2개)
- 아이노드 (판 2개)
- Extended User Interrupts (xUI): Fast and Flexible Notification without Polling (판 2개)
- Simple Mail Transfer Protocol (판 2개)
- Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program (판 2개)
- Widening (판 2개)
- Singularity: Rethinking the Software Stack (판 2개)
- Memory segmentation (판 2개)
- Completeness (판 2개)
- Kernel address sanitizer (판 2개)
- Characters (판 2개)
- GPU (판 2개)