본문

  1. Home
9 Results:SS:PROGRAMMINGLANGUAGE 0.93 sec.
RSS 
Multilingual
 Расширенный поиск
 Новый поиск книги прибытия
1
Witness Functions in Program Analysis and Complexity Theory
Witness Functions in Program Analysis and Complexity Theory
Ding, Shuo. | Georgia Institute of Technology | 2024
Preview
Местоположение
2
Fuzzing with Advanced Program Exploration and Bug Modeling for Software Security
Fuzzing with Advanced Program Exploration and Bug Modeling for Software Security
Chen, Yongheng. | Georgia Institute of Technology | 2024
Preview
Местоположение
3
Human-Centered Program Synthesis
Human-Centered Program Synthesis
Ferdowsifard, Kasra. | University of California, San Diego | 2024
Preview
Местоположение
4
Compositional Security for Smart Contracts
Compositional Security for Smart Contracts
Yao, Siqiu. | Cornell University | 2024
Preview
Местоположение
5
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. | Northwestern University | 2024
Preview
Местоположение
6
Scaling Dataflow: Programmability and Simulation
Scaling Dataflow: Programmability and Simulation
Zhang, Nathan. | Stanford University | 2024
Preview
Местоположение
7
Language Designs for Geometry and Heterogeneous Reasoning in Graphics Programming
Language Designs for Geometry and Heterogeneous Reasoning in Graphics Programming
Geisler, Dietrich. | Cornell University | 2024
Preview
Местоположение
8
Sparse Synchronous Programming with Temporal Abstractions
Sparse Synchronous Programming with Temporal Abstractions
Hui, John. | Columbia University | 2024
Preview
Местоположение
9
Formal Modeling Languages for High-assurance Domain-specific Systems : 高保障特定领域系统的形式化建模语言
Formal Modeling Languages for High-assurance Domain-specific Systems : 高保障特定领域系统的形式化建模语言
Ni, Haobin. | Cornell University | 2024
Preview
Местоположение
처음1마지막