본문

  1. Home
  4. Search
251 Results:SS:PROGRAMMING 0.406 sec.
RSS 
Multilingual
 การค้นหาขั้นสูง
 เดินทางมาถึงค้นหาวัสดุใหม่
พิมพ์ที่เลือก 선택엑셀내보내기
81
Human-Centered Program Synthesis.
Human-Centered Program Synthesis.
Ferdowsifard, Kasra.Computer Science and Engineeri | University of California, San Diego. | 2024
พิมพ์
82
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
พิมพ์
83
Exploiting Program Representation with Shader Applications- [electronic resource]
Exploiting Program Representation with Shader Applications- [electronic resource]
Yang, Yuting.Computer Science. | Princeton University. | 2023
พิมพ์
84
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
พิมพ์
85
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
พิมพ์
86
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
พิมพ์
87
Resource-Constrained Sensing as a Shared Utility- [electronic resource]
Resource-Constrained Sensing as a Shared Utility- [electronic resource]
Adkins, Joshua David.Electrical Engineering. | University of California, Berkeley. | 2022
พิมพ์
88
A Unifying Semantics for Markov Kernels and Linear Operators- [electronic resource]
A Unifying Semantics for Markov Kernels and Linear Operators- [electronic resource]
Azevedo de Amorim, Pedro Henrique.Computer Science | Cornell University. | 2023
พิมพ์
89
Compilers for Secure Computation- [electronic resource]
Compilers for Secure Computation- [electronic resource]
Recto, Rolph.Computer Science. | Cornell University. | 2023
พิมพ์
90
Designing Formally Correct Intermittent Systems- [electronic resource]
Designing Formally Correct Intermittent Systems- [electronic resource]
Surbatovich, Milijana.Electrical and Computer Engi | Carnegie Mellon University. | 2023
พิมพ์
처음이전12345678910이후마지막