Clear Search

Books+ Search Results

Subject: "Computer science"
Format: Is
Is Is Not
Dissertations & Theses

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (373)
1.
Alternative History: Multi-Log Systems in Theory and Practice
Author
Lockerman, Joshua Z.
Published
Ann Arbor : ProQuest Dissertations & Theses, 2019.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
2.
Modular and Compositional Development of Certified Concurrent Software Systems
Author
Kim, Jieung
Published
Ann Arbor : ProQuest Dissertations & Theses, 2019.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
3.
A Compositional Automation Engine for Verifying Complex System Software
Author
Wu, Xiongnan Newman
Published
Ann Arbor : ProQuest Dissertations & Theses, 2018.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
4.
High Performance Multi-core Transaction Processing via Deterministic Execution
Author
Faleiro, Jose Manuel
Published
Ann Arbor : ProQuest Dissertations & Theses, 2018.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
5.
Modular and Certified Resource-Bound Analyses
Author
Carbonneaux, Quentin
Published
Ann Arbor : ProQuest Dissertations & Theses, 2018
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
6.
Intuitive 3D Design Tools: Bridging Traditional and Digital Prototyping
Author
Paczkowski, Patrick
Published
Ann Arbor : ProQuest Dissertations & Theses, 2017
Online
https://yale.idm.oclc.org/login?URL=http://gateway.proquest.com/openurl?url_v...
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
7.
DeepSpec: Modular Certified Programming with Deep Specifications
Author
Weng, Shu-Chun
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
8.
An Extensible Architecture for Building Certified Sequential and Concurrent OS Kernels
Author
Gu, Ronghui
Published
Ann Arbor : ProQuest Dissertations & Theses, 2016.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
9.
Facilitating the Acquisition of Realistic Material Appearance Models
Author
Lockerman, Yitzchak
Published
Ann Arbor : ProQuest Dissertations & Theses, 2016.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
10.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
Author
Costanzo, David
Published
Ann Arbor : ProQuest Dissertations & Theses, 2016.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
11.
Learning Regular Languages and Automaton Graphs
Author
Chen, Dongqu
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
12.
Nonverbal Communication in Socially Assistive Human-Robot Interaction
Author
Admoni, Henny
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
13.
Practical and Deployable Secure Multi-Party Computation
Author
Ghupta, Debayan
Published
Ann Arbor : ProQuest Dissertations & Theses, 2016.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
14.
Building Privacy-Preserving Cryptographic Credentials from Federated Online Identities
Author
Maheswaran, John
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
15.
Effects, Asynchrony, and Choice in Arrowized Functional Reactive Programming
Author
Winograd-Cort, Daniel
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
16.
Identity Management through Privacy-Preserving Authentication
Author
Syta, Ewa
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
17.
Seeking Invariance in the Shape from Shading Problem
Author
Holtmann-Rice, Daniel Niels
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
18.
Warding off Timing Channels in Deterland
Author
Wu, Weiyi
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
19.
Creating Personalized Robot Tutors That Adapt to The Needs of Individual Students
Author
Leyzberg, Daniel Noah
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
20.
Large-Scale Graph Data Processing
Author
Huang, Jiewen
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
21.
Programmable and Scalable Software-Defined Networking Controllers
Author
Voellmy, Andreas Richard
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
22.
Traffic Planning under Network Dynamics
Author
Liu, Hongqiang
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
23.
A Wire-Compatible TCP Implementation for Low-Latency Applications
Author
Nowlan, Michael F.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
24.
Certifying Virtual Memory Manager Using Multiple Abstraction Levels
Author
Vaynberg, Alexander Leo
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
25.
Data-driven Image Editing for Perceptual Effectiveness
Author
Xue, Su
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses