- 501부터 #550까지의 범위에서 50개의 결과가 아래에 보입니다.
- PACTree: A High Performance Persistent Range Index Using PAC Guidelines (판 2개)
- DieHard: Probabilistic Memory Safety for Unsafe Languages (판 2개)
- Capsicum: practical capabilities for UNIX (판 2개)
- High Velocity Kernel File Systems with Bento (판 2개)
- Virtual machine control data structures (판 2개)
- Strace (판 2개)
- Dynamic program analysis (판 2개)
- The performance of the Container Shipping I/O system (판 2개)
- Shadow stack (판 2개)
- Corner point (판 2개)
- Master boot record (판 2개)
- Zero copy (판 2개)
- Taint analysis (판 2개)
- NVL-C: Static analysis techniques for efficient, correct programming of non-volatile main memory systems (판 2개)
- Interrupt descriptor table (판 2개)
- 기계 학습 (판 2개)
- 오류 검출과 정정 (판 2개)
- Quality of service (판 2개)
- Characters (판 2개)
- Interface description language (판 2개)
- Completeness (판 2개)
- Rethinking the Library OS from the Top Down (판 2개)
- Keeping Safe Rust Safe with Galeed (판 2개)
- Hill climbing search (판 2개)
- Throughput and latency (판 2개)
- Oops (판 2개)
- Shinjuku: Preemptive Scheduling for μsecond-scale Tail Latency (판 2개)
- Building Bridges: Safe Interactions with Foreign Languages through Omniglot (판 2개)
- The Design and Implementation of Hyperupcalls (판 2개)
- Extended User Interrupts (xUI): Fast and Flexible Notification without Polling (판 2개)
- Shape (판 2개)
- Shim (판 2개)
- Semaphore (판 2개)
- Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program (판 2개)
- Triangle rasterization (판 2개)
- Bifrost: Analysis and Optimization of Network I/O Tax in Confidential Virtual Machines (판 2개)
- Fuzzing (판 2개)
- Hardware virtualization (판 2개)
- 탐색 (판 2개)
- 알파-베타 가지치기 (판 2개)
- 스택 (판 2개)
- DINT: Fast In-Kernel Distributed Transactions with eBPF (판 2개)
- LXDs: Towards Isolation of Kernel Subsystems (판 2개)
- Attention (판 2개)
- Memory segmentation (판 2개)
- Proxy server (판 2개)
- Proof of concept (판 2개)
- Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud (판 2개)
- GCC (판 2개)
- Code sanitizer (판 2개)