본문

  1. Home
9 Results:SS:CPLUSPLUS 0.93 sec.
RSS 
다국어입력
 상세검색
 신착검색
1
Witness Functions in Program Analysis and Complexity Theory
Witness Functions in Program Analysis and Complexity Theory
Ding, Shuo. | Georgia Institute of Technology | 2024
미리보기
위치정보
2
Lost in Translation: Security and Bug-Finding in Foreign Function Interfaces and Multi Language Programs
Lost in Translation: Security and Bug-Finding in Foreign Function Interfaces and Multi Language Programs
Askar, Ammar. | Georgia Institute of Technology | 2025
미리보기
위치정보
3
A Fast Large-Integer XGCD Accelerator
A Fast Large-Integer XGCD Accelerator
Sreedhar, Kavya. | Stanford University | 2025
미리보기
위치정보
4
High-Level Compiler Optimizations for Python Programs
High-Level Compiler Optimizations for Python Programs
Zhou, Tong. | Georgia Institute of Technology | 2024
미리보기
위치정보
5
Near Memory Hardware Accelerators for Real-Time Radio Frequency Signal Computation
Near Memory Hardware Accelerators for Real-Time Radio Frequency Signal Computation
Mukherjee, Mandovi. | Georgia Institute of Technology | 2023
미리보기
위치정보
6
Augmenting Transition Systems for Scalable Symbolic Model Checking
Augmenting Transition Systems for Scalable Symbolic Model Checking
Mann, Makai. | Stanford University | 2021
미리보기
위치정보
7
Quantitative Privilege Separation with Pointer Supports
Quantitative Privilege Separation with Pointer Supports
Liu, Shen. | The Pennsylvania State University | 2020
미리보기
위치정보
8
Composing and Decomposing OS Abstractions
Composing and Decomposing OS Abstractions
Litton, James Benjamin. | University of Maryland, College Park | 2020
미리보기
위치정보
9
Service Boosters: Library Operating Systems for the Datacenter
Service Boosters: Library Operating Systems for the Datacenter
Demoulin, Henri Maxime. | University of Pennsylvania | 2021
미리보기
위치정보
처음1마지막