본문

  1. Home
  4. 학위논문
29 Results:SS:PROGRAMMINGLANGUAGES 1.15 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
Sparse Synchronous Programming with Temporal Abstractions.
Sparse Synchronous Programming with Temporal Abstractions.
Hui, John.Computer Science. | Columbia University. | 2024
프린트
2
Scaling Dataflow: Programmability and Simulation.
Scaling Dataflow: Programmability and Simulation.
Zhang, Nathan. | Stanford University. | 2024
프린트
3
An Investigation of the Pragmatics of Debugging With Contracts and Gradual Types.
An Investigation of the Pragmatics of Debugging With Contracts and Gradual Types.
Lazarek, Lukas.Computer Science. | Northwestern University. | 2024
프린트
4
Compositional Security for Smart Contracts.
Compositional Security for Smart Contracts.
Yao, Siqiu.Computer Science. | Cornell University. | 2024
프린트
5
Human-Centered Program Synthesis.
Human-Centered Program Synthesis.
Ferdowsifard, Kasra.Computer Science and Engineeri | University of California, San Diego. | 2024
프린트
6
Language Designs for Geometry and Heterogeneous Reasoning in Graphics Programming.
Language Designs for Geometry and Heterogeneous Reasoning in Graphics Programming.
Geisler, Dietrich.Computer Science. | Cornell University. | 2024
프린트
7
Towards Ai-Driven Networks: Hardware and Software for Data-Plane Ml- [electronic resource]
Towards Ai-Driven Networks: Hardware and Software for Data-Plane Ml- [electronic resource]
Swamy, Tushar. | Stanford University. | 2023
프린트
8
Compiling Deep Learning Kernels to Locality-Aware Dataflow- [electronic resource]
Compiling Deep Learning Kernels to Locality-Aware Dataflow- [electronic resource]
Zhao, Tian. | Stanford University. | 2023
프린트
9
Data Analysis Tools for Statistical Non-Experts- [electronic resource]
Data Analysis Tools for Statistical Non-Experts- [electronic resource]
Jun, Eunice.Computer Science and Engineering. | University of Washington. | 2023
프린트
10
Dependency and Linearity Analyses in Pure Type Systems- [electronic resource]
Dependency and Linearity Analyses in Pure Type Systems- [electronic resource]
Choudhury, Pritam.Computer and Information Science | University of Pennsylvania. | 2023
프린트
처음123이후마지막