• Algorithms for analyzing parallel computations 

      Chauhan, Himanshu
      Predicate detection is a powerful technique to verify parallel programs. Verifying correctness of programs using this technique involves two steps: first we create a partial order based model, called a computation, of an ...
    • Dataflow parallelism for large scale data mining 

      Daruru, Srivatsava (2010-08)
      The unprecedented and exponential growth of data along with the advent of multi-core processors has triggered a massive paradigm shift from traditional single threaded programming to parallel programming. A number ...
    • Design and implementation of distributed Galois 

      Dhanapal, Manoj (2013-05)
      The Galois system provides a solution to the hard problem of parallelizing irregular algorithms using amorphous data-parallelism. The present system works on the shared-memory programming model. The programming model has ...
    • Distributed computing and cryptography with general weak random sources 

      Li, Xin, Ph. D. (2011-08)
      The use of randomness in computer science is ubiquitous. Randomized protocols have turned out to be much more efficient than their deterministic counterparts. In addition, many problems in distributed computing and ...
    • Distributed global predicate detection algorithms 

      Wong, Don Tak-San (2012-08)
      Detecting the existence of a consistent global state that satisfies a predicate in a distributed environment is a processing intensive task since all the consistent global states must be checked to verify that none of ...
    • Distributed model checking with Java PathFinder custom listeners 

      Davis, Aaron Wynn; 0000-0002-5443-2541 (2017-05)
      The goal of this project was to investigate a distributed testing system based on the Java PathFinder (JPF) model checker. A key objective in doing this was to increase the size of the state space which could be explored ...
    • The Gander search engine for personalized networked spaces 

      Michel, Jonas Reinhardt (2012-12)
      The vision of pervasive computing is one of a personalized space populated with vast amounts of data that can be exploited by humans. Such Personalized Networked Spaces (PNetS) and the requisite support for general-purpose ...