Search
Now showing items 21-30 of 1526
Evaluating a TCP model-based network performance measurement method
(Massachusetts Institute of Technology, 2017)
For the end-to-end measurement of network speed, I implement and evaluate a network performance measurement test framework, which allows for the incorporation of expectations and models specific to the network being tested, ...
Cilkprof : a scalability profiler for Cilk programs
(Massachusetts Institute of Technology, 2014)
This thesis describes the design and implementation of Cilkprof, a profiling tool that helps programmers to diagnose scalability problems in their Cilk programs. Cilkprof provides in-depth information about the scalability ...
An investigation of sparse tensor formats for tensor libraries
(Massachusetts Institute of Technology, 2016)
Tensors provide a generalized structure to store arbitrary indexable data, which is applicable in fields such as chemometrics, physics simulations, signal processing and lies at the heart of machine learning. Many naturally ...
Complexity of minesweeper with restricted number
(Massachusetts Institute of Technology, 2018)
We consider the Minesweeper consistency problem (is a given partially completed board consistent with some mine placement?) when the set of numbers that may appear on a Minesweeper board is restricted. First, we analyze ...
CoqIOA : a formalization of IO automata in the Coq proof assistant
(Massachusetts Institute of Technology, 2017)
Implementing distributed systems correctly is difficult. Designing correct distributed systems protocols is challenging because designs must account for concurrent operation and handle network and machine failures. ...
Simulating self-assembly of nanoparticles in tumor environments
(Massachusetts Institute of Technology, 2014)
Self-assembly is important in nanomedicine and increasingly plays a role in drug-delivery or imaging applications in tumors. Predicting behavior and dynamics of nanoparticle systems is very difficult, especially when ...
Dielectric spin coating characterization, modeling, and planarization using fill patterns for advanced packaging technologies
(Massachusetts Institute of Technology, 2017)
Redistribution layers (RDLs) are separate packaging layers dedicated to connecting dies with each other, and to external I/O ports in advanced 2.5D packaging technologies. These layers can be made smaller than the bulky ...
An efficient score alignment algorithm and its applications
(Massachusetts Institute of Technology, 2017)
String alignment and comparison in Computer Science is a well-explored space with classic problems such as Longest Common Subsequence that have practical application in bioinformatic genomic sequencing and data comparison ...
Time-domain diffuse correlation spectroscopy: instrument prototype, preliminary measurements, and theoretical modeling
(Massachusetts Institute of Technology, 2017)
Near-infrared spectroscopy (NIRS) is an emerging diffuse optical imaging tool with both clinical and academic applications such as functional brain imaging, breast cancer detection, and cerebral health monitoring. Due to ...
Innovations in non-intrusive load monitoring
(Massachusetts Institute of Technology, 2018)
A non-intrusive load monitor (NILM) measures power at a central point in an electrical system to monitor the operation of many connected loads. Non-contact power meters sense the electromagnetic fields surrounding a cable ...