• 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 ...