• 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 ...
• Intensional logic programming 

  Orgun, Mehmet Ali (2018-06-27)

  This dissertation presents an investigation of logic programming based on intensional logic. Through intensional logic, the notion of dynamic change and the ability to reason about context-dependent properties can be brought ...
• Indexical parallel programming 

  Du, Weichang (2018-06-26)

  Indexical programming means programming languages and/or computational models based on indexical logic and possible world semantics. Indexical languages can be considered as the result of enriching conventional languages ...
• Simplified theory of Boolean functions 

  Lui, Patrick Kam (2018-06-22)

  A new, intuitive approach to the study of a Boolean function using its set of parities of subfunctions called the parity spectrum is presented. This approach simplifies the classical theory of Boolean difference, and serves ...
• From specification to implementation in logic 

  Strooper, Paul Anthony (2018-06-21)

  The use of modules to decompose large software systems into smaller, more manageable, programming tasks is now widely accepted. To benefit from such a decomposition, the requirements of each module have to be defined in a ...
• Ordinal-theoretic properties of logic programs 

  Bagai, Rajiv (2018-06-19)

  The work described in this dissertation is mainly a study of some ordinal-theoretic properties of logic programs that are related to the downward powers of their immediate-consequence functions. The downward powers for any ...
• Characteristic polynomials of one-dimensional linear hybrid cellular automata 

  Cattell, Kevin Michael (2018-06-12)

  A one-dimensional linear hybrid cellular automaton (CA) is a specialised form of linear finite state machine. These machines are of interest, both for their theoretical properties and for their applications in VLSI ...
• Flow grammars: a methodology for automatically constructing static analyzers 

  Uhl, James S. (2018-06-12)

  A new control flow model called flow grammars is introduced which unifies the treatment of intraprocedural and interprocedural control flow. This model provides excellent support for the rapid prototyping of flow analyzers. ...
• A methodology for analyzing hardware description language specifications of legacy designs 

  Costi, Claudio (2018-06-07)

  In order to increase productivity, methodologies based on reuse of previously designed components are exploited by the Integrated Circuit (IC) design community. However, designers are often faced with the problem of reusing ...
• Identifying communications of running programs through their assembly level execution traces 

  Huang, Huihui (2018-05-28)

  Understanding the communications between programs can help software security engineers understand the behaviour of a system and detect vulnerabilities in a system. Assembly-level execution traces are used for this purpose ...
• A study of semantics across different representations of language 

  Dharmaretnam, Dhanush (2018-05-28)

  Semantics is the study of meaning and here we explore it through three major representations: brain, image and text. Researchers in the past have performed various studies to understand the similarities between semantic ...
• Practical Earley parsing and the SPARK toolkit 

  Aycock, John Daniel (2018-05-23)

  Domain-specific, “little” languages are commonplace in computing. So too is the need to implement such languages; to meet this need, we have created SPARK (Scanning, Parsing, And Rewriting Kit), a toolkit for little language ...
• CSP++ : an object-oriented application framework for software synthesis from CSP specifications 

  Gardner, William Bennett (2018-05-09)

  One of the useful formalisms for designing concurrent systems is the process algebra called CSP, or Communicating Sequential Processes. CSP statements can be used to model a system's control and data flow in an intuitive ...

View more