Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 26 for “"Build Systems"”.
-
Studying the Evolution of Build Systems
… into executable software packages, i.e., the build system. Intuition suggests that these build system changes slow down development progress by diverting developer focus away from making improvements to the source code. While source code evolution and maintenance is studied extensively, there …
-
INTROSPECT: A meta-level specification framework for dynamic, evolvable collaboration support
… challenge to the CSCW community is to build systems which support the inherent complexities of collaborative work situations. An understanding of the situated, double-level and invisible nature of work helps CSCW researchers meet this challenge by leading to the fundamental insight that …
-
Generating computer programs from natural language descriptions
… languages supported by widely-deployed computer systems. Generating programs for existing computer systems enables us to take advantage of two important capabilities of these systems: computing the semantic equivalence between programs, and executing the programs to obtain a result. We present …
-
Test suite parallelization in open-source projects: a study on its usage and impact
… essential in the development process. Complex systems may contain long-running test suites. Dealing with high testing costs remains an important problem in Software Engineering despite being under active research for years. Test suite parallelization is an important approach to address this …
-
Design and evolution of large scientific experimental facilities : strategy and implementation
… for humanity. These include globally distributed systems for quantum physics, confined fusion and imaging the earliest galaxies that formed after the Big Bang, among others. At the beginning of large scientific project's lifecycle there is often not a clear path to the final use case, a lot of …
-
Verifying the Performance of Network Control Algorithms
As networked systems become critical infrastructure, their design must reflect their new societal role. Today, we build systems with hundreds of heuristics but often do not understand their inherent and emergent behaviors. This dissertation presents, performance verification, a set of tools and …
-
Building grounded abstractions for artificial intelligence programming
… combine the best features of both approaches, by building a set of programming abstractions defined in terms of simple, biologically plausible components. At the "ground level", I define a primitive, perceptron-like computational unit. I then show how more abstract computational units may be …
-
Polyscheme : a cognitive architecture for intergrating multiple representation and inference schemes
… the Polyscheme cognitive architecture to build systems that combine several representation and inference schemes when they think. Polyscheme is based on three principles. First, different (aspects of) situations that intelligent systems must deal with are best modeled with different …
-
Formally Verifying Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation
Hardware and software systems are susceptible to bugs and timing side-channel vulnerabilities. Timing leakage is particularly hard to eliminate because leakage is an emergent property that can arise from subtle behaviors or interactions between hardware and software components in the entire system, …
-
From Data, to Models, and Back: Making Machine Learning Predictably Reliable
Machine learning systems exhibit impressive performance, but we currently lack scalable ways to anticipate their successes, failure modes, and biases. This position limits our ability to deploy these systems in the appropriate contexts, and to build systems which we can confidently deploy in …
-
Design and implementation of robust systems for secure malware detection
… used to ensure that signature-based anti-malware systems are not able to detect such threats. This tendency has also appeared on mobile devices, with Android being the most targeted platform. To counteract this phenomenon, a lot of approaches have been developed by the scientific community that …
-
Identifying External Cross-references using Natural Language Processing (NLP)
[Context and motivation] Software engineers build systems that need to be compliant with relevant regulations. These regulations are stated in authoritative documents from which regulatory requirements need to be elicited. Project contract contains cross-references to these regulatory requirements …
-
Teacher Evaluation: The Change We Wish to See; Improving the Formal Observation Process to Improve Student Learning
… is a vehicle that promotes collaboration among building leaders and staff. The Illinois shift to a professional practice model provides a construct for a culture and climate that encourages reflection and promotes professional growth (Danielson, 2011; Darling-Hammond, 2013; Jay, 2003; Stuhlman, …
-
An automata-based automatic verification environment
With the continuing growth of computer systems including safety-critical computer control systems, the need for reliable tools to help construct, analyze, and verify such systems also continues to grow. The basic motivation of this work is to build such a formal verification environment for …
-
Representations from vision and language
… is a monumental task. Achieving this requires building representations of concepts that manifest themselves visually, linguistically or through other senses. Furthermore concepts do not exist in isolation but are related to each other. In this work, we show how to build representations of …
-
Learning commonsense categorical knowledge in a thread memory system
If we are to understand how we can build machines capable of broad purpose learning and reasoning, we must first aim to build systems that can represent, acquire, and reason about the kinds of commonsense knowledge that we humans have about the world. This endeavor suggests steps such as …
-
Delocalized Photonic Deep Learning on the Internet's Edge
… In this thesis I will demonstrate how we can build systems making use of the physics of photonics and electronics to enable computing systems on lightweight edge devices that were previously infeasible by orders of magnitude. First, we consider a system where all metallic interconnects above …
-
Low latency queries on big graph data
… and paths between vertices in the graph. Systems for these applications need to meet three performance goals: (1) low memory footprint; (2) low latency; and (3) small stretch --- the ratio of the cost of path returned by the system to the actual shortest path. The theory community has …
-
Modular LEGO brick microfluidics
Wider use and adaptation of microfluidic systems is hindered by the infrastructure, knowledge, and time required to build prototype devices, especially when multiple fluid operations and measurements are required. As a result, rapid prototyping methods based on planar and three-dimensional printing …
-
Modeling and predicting trustworthiness of online textual information
… is a key factor in many decision support systems. Decision makers and citizens are highly influenced these days by information they get from online resources, such as news, online encyclopedias, blogs, forums, and online product reviews. The ease of publishing on the Web, on the other …
Page 1 of 2