본문

  1. Home
  4. Thesis
34 Results:SS:PROGRAMMINGLANGUAGE 0.374 sec.
RSS 
Multilingual
 חיפוש מתקדם
 חיפוש חדש ההגעה
Selected Print 선택엑셀내보내기
21
Metaprogramming Program Analyzers- [electronic resource]
Metaprogramming Program Analyzers- [electronic resource]
Wei, Guannan. | Purdue University. | 2023
להדפיס
22
Revisiting Program Slicing with Ownership-Based Information Flow.
Revisiting Program Slicing with Ownership-Based Information Flow.
Crichton, William Perry. | Stanford University. | 2022
להדפיס
23
Learning to Edit Code: Towards Building General Purpose Models for Source Code Editing.
Learning to Edit Code: Towards Building General Purpose Models for Source Code Editing.
Chakraborty, Saikat.Computer Science. | Columbia University. | 2022
להדפיס
24
Programming Abstractions and Efficient Compilation Techniques for Modern FPGA.
Programming Abstractions and Efficient Compilation Techniques for Modern FPGA.
Vega, Luis.Computer Science and Engineering. | University of Washington. | 2022
להדפיס
25
Safe Programming over Distributed Streams.
Safe Programming over Distributed Streams.
Stanford, Caleb.Computer and Information Science. | University of Pennsylvania. | 2022
להדפיס
26
Mechanized Reasoning about "How" Using Functional Programs and Embeddings.
Mechanized Reasoning about "How" Using Functional Programs and Embeddings.
Li, Yao.Computer and Information Science. | University of Pennsylvania. | 2022
להדפיס
27
Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes.
Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes.
Emre, Mehmet.Computer Science. | University of California, Santa Barbara. | 2022
להדפיס
28
Rational Inattention and a Causal Account of Program Security.
Rational Inattention and a Causal Account of Program Security.
Soloviev, Matvey.Computer Science. | Cornell University. | 2021
להדפיס
29
Compositional and Automated Verification of Distributed Systems.
Compositional and Automated Verification of Distributed Systems.
Wilcox, James R.Computer Science and Engineering. | University of Washington. | 2021
להדפיס
30
Usable and Efficient Systems for Machine Learning.
Usable and Efficient Systems for Machine Learning.
Xin, Doris.Electrical Engineering & Computer Scien | University of California, Berkeley. | 2021
להדפיס
처음이전1234이후마지막