Clear Search

Books+ Search Results

Subject: "Science"
Format: Is
Is Is Not
Dissertations & Theses
Language: Is
Is Is Not
English
Subject: Is
Is Is Not
Computer Science

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Results are already all online
Viewing Online Items
1.
Programmable and Scalable Software-Defined Networking Controllers
Author
Voellmy, Andreas Richard
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
2.
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
3.
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
4.
Data-driven Image Editing for Perceptual Effectiveness
Author
Xue, Su
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
5.
Deterministic Transaction Execution in Distributed Database Systems
Author
Thomson, Alexander Garvey
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
6.
Dictionary Learning: Algorithms and Analysis
Author
Wang, Huan
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
7.
Efficient Fault-Tolerant Infrastructure for Cloud Computing
Author
Su, Xueyuan
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
8.
Example-Driven Query Synthesis
Author
Abouzied, Azza
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
9.
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
10.
Deterministic OpenMP
Author
Aviram, Amittai F.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
11.
Acquiring the Shape and Appearance of Physical Scenes
Author
Xu, Chen
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
12.
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
13.
Message Passing Algorithms for Optimization
Author
Ruozzi, Nicholas Robert
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
14.
The Theory and Practice of Causal Commutative Arrows
Author
Liu, Hai
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
15.
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
16.
Memory Consistency and Program Verification
Author
Ferreira, Rodrigo
Published
2010
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
17.
Syntactic finitism in the metatheory of programming languages
Author
Sarnat, Jeffrey
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
18.
Accelerated dense random projections
Author
Liberty, Edo
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
19.
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
20.
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
21.
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
22.
Fast construction algorithms for overlay networks
Author
Wu, Yinghua
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
23.
Hashing, contention, and cell-probe proofs
Author
Yin, Yitong
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
24.
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
25.
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