• Predicting the programming language of questions and snippets of stack overflow using natural language processing 

  Alrashedy, Kamel (2018-09-11)

  Stack Overflow is the most popular Q&A website among software developers. As a platform for knowledge sharing and acquisition, the questions posted in Stack Over- flow usually contain a code snippet. Stack Overflow relies ...
• Merge-Trees: Visualizing the integration of commits into Linux 

  Wilde, Evan (2018-09-11)

  Version control systems are an asset to software development, enabling developers to keep snapshots of the code as they work. Stored in the version control system is the entire history of the software project, ...
• Knowledge building in software developer communities 

  Zagalsky, Alexey (2018-09-07)

  Software development has become a cognitive and collaborative knowledge-based endeavor where developers and organizations, faced with a variety of challenges and an increased demand for extensive knowledge support, push ...
• A taxonomy of software bots: towards a deeper understanding of software bot characteristics 

  Lebeuf, Carlene R. (2018-08-31)

  Software bots are becoming increasingly pervasive in our everyday lives. While bots have been around for many decades, recent technological advancements and the adoption of language-based platforms have led to a surge of ...
• Consent based privacy for eHealth systems 

  Habibi, Ryan (2018-08-31)

  Access to Personal Health Information (PHI) is a valuable part of the modern health care model. Timely access to relevant PHI assists care providers in making clinical decisions and ensure that patients receive the highest ...
• Methodology matters: mapping software engineering research through a sociotechnical lens 

  Bornholdt, Courtney (2018-08-30)

  As software engineering is a socio-technical research field, there is a myriad of research strategies and data sources that researchers need to consider when designing their studies. These choices determine different ...
• Simplified O(n) algorithms for planar graph embedding, Kuratowski subgraph isolation, and related problems 

  Boyer, John M. (2018-08-16)

  A graph is planar if it can be drawn on the plane with vertices at unique locations and no edge intersections. Due to the wealth of interest from the computer science community, there are a number of remarkable but complex ...
• Triangle counting and listing in directed and undirected graphs using single machines 

  Santoso, Yudi (2018-08-14)

  Triangle enumeration is an important element in graph analysis, and because of this it is a topic that has been studied extensively. Although the formulation is simple, for large networks the computation becomes challenging ...
• Estimating the cost of graphlog queries 

  Escalante Osuna, Carlos (2018-08-02)

  This dissertation develops a cost model for a particular implementation of the database query language GraphLog. The order in which the subgoals of a GraphLog query are executed has a major effect on the total processing ...
• Talking with Antigone 

  Schraefel, Monica M. C. (2018-07-25)

  This project considers the role of conversation in writing by women, specifically, the role of conversational spaces for women’s construction of self within the symbolic. It does this through a consideration of narrative ...
• Autocorrelation and decomposition methods in combinational logic design 

  Tomczuk, Randal Wade (2018-07-19)

  This dissertation shows that the autocorrelation of switching functions can be effectively utilized in combinational logic optimization and synthesis. The procedures developed exploit information contained in the ...
• An integrated complexity analysis of problems from computational biology 

  Hailett, Micheiel Trevor (2018-07-17)

  We perform an Integrated complexity analysis on a number of combinatorial problems arising from the field of computational biology. The classic framework of NP-completeness, algorithmic design techniques for bounded width ...
• A high-level language and CAD environment for BIST embedding 

  Byrne, Rodrigue (2018-07-11)

  The reliable construction of VLSI integrated circuits (ICs) requires that the ICs be tested after fabrication. An alternative to performing external testing is to create ICs that can test themselves with a built-in self-test ...
• Combinatorial optimization in VLSI physical design 

  Walsh, Peter Anthony (2018-07-05)

  Simulated Annealing is a general purpose combinatorial optimization technique which has been applied to many problems in VLSI design. In essence, simulated annealing is Monte Carlo iterative improvement with the ability ...
• Merging concurrent checking and off-line BIST 

  Sun, Xiaoling (2018-07-05)

  This dissertation encompasses primarily design for testability (DFT) problems of concurrent checking and structural off-line Built-In Self-Test. We present a new DFT method, which employs cyclic code checking as a medium ...
• Dynamic algorithms for chordal and interval graphs 

  Ibarra, Louis Walter (2018-07-05)

  We present the first dynamic algorithm that maintains a clique tree representation of a chordal graph and supports the following operations: (1) query whether deleting or inserting an arbitrary edge preserves chordality, ...
• CAPRECIPES: a context-aware personalized recipes recommender for healthy and smart living 

  Jain, Harshit (2018-07-04)

  In the past few years, the general work habits of people have changed dramatically, raising concerns about their well-being. Numerous health-related problems have been observed from their health records such as obesity, ...
• Numerical computation as deduction in constraint logic programming 

  Lee, Jimmy Ho Man (2018-07-04)

  Logic programming realizes the ideal of "computation as deduction," except when floating-point arithmetic is involved. In that respect, logic programming languages suffer the same deficiency as conventional algorithmic ...
• SmartGrocer: a context-aware personalized grocery system 

  Jain, Roshni (2018-07-04)

  Grocery shopping is a routine task that people perform to fulfill their needs for food. We suspect many people would like to do grocery shopping with the grocery list to save their money and time. While creating a grocery ...
• Combinatorial algorithms on partially ordered sets 

  Koda, Yasunori (2018-06-29)

  The main results of this dissertation are various algorithms related to partially ordered sets. The dissertation basically consists of two parts. The first part treats algorithms that generate ideals of partially ordered ...

View more