Clear Search

Books+ Search Results

Subject: "Computer science"
Subject (Genre): Is Not
Is Not Is
Documentary films
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
26.
Deterministic Transaction Execution in Distributed Database Systems
Author
Thomson, Alexander Garvey
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
27.
Dictionary Learning: Algorithms and Analysis
Author
Wang, Huan
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
28.
Efficient Fault-Tolerant Infrastructure for Cloud Computing
Author
Su, Xueyuan
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
29.
Example-Driven Query Synthesis
Author
Abouzied, Azza
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
30.
VeriML: A Dependently-typed, user extensible and language-centric approach to proof assistants
Author
Stampoulis, Antonios Michael
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
31.
Deterministic OpenMP
Author
Aviram, Amittai F.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
32.
Acquiring the Shape and Appearance of Physical Scenes
Author
Xu, Chen
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
33.
A Dual-System Approach to Realistic Evaluation of Large-Scale Networked Systems
Author
Alimi, Richard Allan
Published
2011
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
34.
Message Passing Algorithms for Optimization
Author
Ruozzi, Nicholas Robert
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
35.
The Theory and Practice of Causal Commutative Arrows
Author
Liu, Hai
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
36.
Implementation and Evaluation of Privacy-Preserving Protocol
Author
Saint-Jean Antonijevic, Felipe
Published
2010
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
37.
Memory Consistency and Program Verification
Author
Ferreira, Rodrigo
Published
2010
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
38.
Syntactic finitism in the metatheory of programming languages
Author
Sarnat, Jeffrey
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
39.
Accelerated dense random projections
Author
Liberty, Edo
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
40.
Design and analysis of efficient anonymous-communication protocols
Author
Johnson, Aaron
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
41.
Efficient and robust traffic engineering in a dynamic environment
Author
Wang, Hao
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
42.
Efficient graph-based algorithms for linear equations, network flows, and machine learning
Author
Daitch, Samuel Isaac
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
43.
Fast construction algorithms for overlay networks
Author
Wu, Yinghua
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
44.
Hashing, contention, and cell-probe proofs
Author
Yin, Yitong
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
45.
Studies in texture generation of weathered appearance from captured data
Author
Lu, Jianye
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
46.
Theory and application of extractable functions
Author
Dakdouk, Ramzi Ronny
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
47.
Clustering algorithms for random and pseudo-random structures
Author
Mitra, Pradipta
Published
2008
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
48.
Explicit communications for cooperative internet traffic control
Author
Xie, Haiyong
Published
2008
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
49.
Functional programming with logical frameworks
Author
Poswolsky, Adam Brett
Published
2008
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
50.
Functional reactive control of humanoid robots
Author
Huang, Liwen
Published
2008
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
51.
The mechanized verification of garbage collector implementations
Author
McCreight, Andrew Evan
Published
2008
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
52.
Distributed systems of simple interacting agents
Author
Jiang, Hong
Published
2007
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
53.
Modular machine code verification
Author
Ni, Zhaozhong
Published
2007
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
54.
Multipath resource management in overlay networks
Author
Ma, Zheng
Published
2007
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
55.
Semantic tuple space coordination for the Semantic Web with applications in life science
Author
Qi, Peishen
Published
2007
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
56.
Efficient cryptographic tools for secure distributed computing
Author
Yampolskiy, Aleksandr
Published
2006
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
57.
Fine-grained localization in sensor and ad-hoc networks
Author
Goldenberg, David K.
Published
2006
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
58.
Fundamental issues in representing NP-complete problems
Author
Shah, Jatin
Published
2006
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
59.
Learning via queries
Author
Chen, Jiang
Published
2006
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
60.
Pass-efficient algorithms for clustering
Author
Chang, Kevin Li-Chiang
Published
2006
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
61.
Foundations of inter-domain routing
Author
Ramachandran, Vijay
Published
2005
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
62.
Massive data streams in graph theory and computational geometry
Author
Zhang, Jian
Published
2005
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
63.
Sparse coding via geometry
Author
Huggins, Patrick S.
Published
2005
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
64.
A syntactic approach to foundational proof-carrying code
Author
Hamid, Nadeem Abdul
Published
2005
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
65.
Modeling user interfaces in a functional language
Author
Courtney, Antony Alexander
Published
2004
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
66.
Ontology translation by ontology merging and automated reasoning
Author
Dou, Dejing
Published
2004
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
67.
Privacy, integrity, and incentive-compatibility in computations with untrusted parties
Author
Zhong, Sheng
Published
2004
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
68.
Safety verification of low-level code
Author
Yu, Dachuan
Published
2004
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
69.
Societies of randomly interacting finite-state automata
Author
Diamadi, Zoe
Published
2004
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
70.
Distributed algorithmic mechanism design
Author
Sami, Rahul
Published
2003
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
71.
Distributed data structures for peer-to-peer systems
Author
Shah, Gauri
Published
2003
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
72.
Principled compilation and scavenging
Author
Monnier, Stefan
Published
2003
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
73.
Randomized algorithms for matrix operations
Author
Drineas, Petros S.
Published
2003
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
74.
Functional reactive programming for real-time reactive systems
Author
Wan, Zhanyong
Published
2002
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
75.
Microarchitecture for billion-transistor VLSI superscalar processors
Author
Loh, Gabriel Hsiuwei
Published
2002
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
76.
PATH, a program transformation system for Haskell
Author
Tullsen, Mark Anders
Published
2002
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
77.
A type-preserving compiler infrastructure
Author
League, Christopher Adam
Published
2002
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
78.
A type system for certified runtime type analysis
Author
Saha, Bratin
Published
2002
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
79.
A general framework for Hindley/Milner type systems with constraints
Author
Sulzmann, Martin Franz
Published
2000
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
80.
Integrating multiple visual cues for robust tracking
Author
Rasmussen, Christopher Eric
Published
2000
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
81.
Reconstructing phylogenies in Markov models of sequence evolution
Author
Csuros, Miklos
Published
2000
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
82.
Task specification languages for uncalibrated visual servoing
Author
Dodds, Zachary Bechman
Published
2000
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
83.
Mutable abstract datatypes a connection between linear types and state monads
Author
Chen, Chih-Ping
Published
1999
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
84.
Active contour models Consistency, stability, and parameter estimation
Author
Ma, Tianyun
Published
1998
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
85.
Dynamic processor management for multiprogrammed parallel and distributed systems
Author
Wang, Fang
Published
1998
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
86.
Modular monadic semantics and compilation
Author
Liang, Sheng
Published
1998
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
87.
An algebraic approach to distributed data structures
Author
Pai, A. Satish
Published
1997
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
88.
Programming in distributed systems logic
Author
Lynch, Kevin Tyrone
Published
1997
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
89.
Topics in multigrid methods
Author
Malhotra, Sachit
Published
1997
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
90.
Volume bounded molecular computation
Author
Fu, Bin
Published
1997
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
91.
Anticipating and forestalling execution failures in structured reactive plans
Author
Beetz, Michael Karl
Published
1996
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
92.
Calculi for functional programming languages with assignment
Author
Rabin, Daniel Eli
Published
1996
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
93.
High-level abstractions for parallel functional programming
Author
Mirani, Rajiv
Published
1996
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
94.
Online pose estimation and model matching
Author
Lu, Chien-Ping
Published
1996
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
95.
Parallel numerical solution of conservation equations
Author
Deshpande, Ashish Suresh
Published
1996
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
96.
Turingware an integrated approach to collaborative computing
Author
Hupfer, Susanne Christine
Published
1996
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
97.
C-PAR Extensions to C for adaptive and irregular parallel computations
Author
Chen, Dong-Yuan
Published
1995
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
98.
Diffusive load balancing for dynamic parallel computations
Author
Ghosh, Bhaskar
Published
1995
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
99.
High-order quadratures for singular functions and their applications to the evaluation of Fourier and Hankel transforms
Author
Kapur, Sharad
Published
1995
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
100.
Optimization and transformation techniques for High Performance fortran
Author
Wu, Jan-Jan
Published
1995
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses