본문

  1. Home
  4. Search
52 Results:SS:PROGRAMMINGLANGUAGES 0.374 sec.
RSS 
Multilingual
 Advanced Search
 New arrival Search
Selected Print 선택엑셀내보내기
21
Language-Based Techniques for Building Timing Channel Secure Hardware-Software Systems- [electronic resource]
Language-Based Techniques for Building Timing Channel Secure Hardware-Software Systems- [electronic resource]
Zagieboylo, Drew.Computer Science. | Cornell University. | 2023
Print
22
Stochastic Dynamic Logics- [electronic resource]
Stochastic Dynamic Logics- [electronic resource]
Roberts, Michael.Computer Science. | Cornell University. | 2023
Print
23
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
VanHattum, Alexa.Computer Science. | Cornell University. | 2023
Print
24
Metaprogramming Program Analyzers- [electronic resource]
Metaprogramming Program Analyzers- [electronic resource]
Wei, Guannan. | Purdue University. | 2023
Print
25
Revisiting Program Slicing with Ownership-Based Information Flow.
Revisiting Program Slicing with Ownership-Based Information Flow.
Crichton, William Perry. | Stanford University. | 2022
Print
26
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
Print
27
Safe Programming over Distributed Streams.
Safe Programming over Distributed Streams.
Stanford, Caleb.Computer and Information Science. | University of Pennsylvania. | 2022
Print
28
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
Print
29
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
Print
30
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
Print
처음이전123456이후마지막