ResearchWorks Archive

Browsing Computer science and engineering by Title

Browsing Computer science and engineering by Title

Sort by: Order: Results:

  • Kushal, Avanish
    Can we experience a scene virtually, such as the Colosseum in Rome, without ever having to visit it? Such an experience should replicate the feeling of being physically present, in terms of being able to visualize the scene ...
  • Schiller, Todd Wademan
    A program specification is a contract between a client and a program, which describes how the program can or will behave given input from the client. In practice, formal (machine-verified) specifications take more effort ...
  • Brisson, Erik, 1957- (1990)
    This work investigates data structures and algorithms for representing and manipulating d-dimensional geometric objects for arbitrary d $\le$ 1. These objects are often described by a set of basic building blocks, together ...
  • VanHilst, Michael, 1953- (1997)
    This thesis addresses the problem of changing requirements in software evolution. It presents a method of development and change based on roles, where a role, in object oriented development, is a part of an object that ...
  • Kolobov, Andrey (2013-07-25)
    The ability to plan in the presence of uncertainty about the effects of one's own actions and the events of the environment is a core skill of a truly intelligent agent. This type of sequential decision-making has been ...
  • Jha, Abhay (2012-09-13)
    The age of Big Data has brought with itself datasets which are not just big, but also much more complicated. These datasets are constructed from disparate, unreliable and noisy sources, many times in an ad-hoc way because ...
  • VanDeGrift, Tammy (2005)
    Today's abundance of personal electronic devices and the growth of communications networks gives rise to a new set of applications. One such application allows clients to access high-bandwidth streaming media at times of ...
  • Buhler, Jeremy (2001)
    The recent explosion in the availability of long contiguous genomic sequences, including the complete genomes of several organisms, poses substantial challenges for bioinformatics. In particular, algorithms must be developed ...
  • Koscher, Karl Alexander
    Today, our life is pervaded by computer systems embedded inside everyday products. These embedded systems are found in everything from cars to microwave ovens. These systems are becoming increasingly sophisticated and ...
  • Roesner, Franziska
    Today's computer users have the choice among an ever increasing variety of devices and platforms, including desktops, tablets, smartphones, and web browsers. In addition to these more traditional platforms, continuous ...
  • Hinshaw, Kevin P (2000)
    Current medical imaging technology makes it possible to gather remarkably detailed three-dimensional data about an individual's anatomy. In domains ranging from education to clinical medicine, a common desire is the ability ...
  • Halperin, Daniel Chaim (2013-02-25)
    Advances in the price, performance, and power consumption of Wi-Fi (IEEE 802.11) technology have led to the adoption of wireless functionality in diverse consumer electronics. These trends have enabled an exciting vision ...
  • Tullsen, Dean Michael (1996)
    This dissertation examines simultaneous multithreading, a technique permitting several independent threads to issue instructions to a superscalar processor's functional units in a single cycle. Simultaneous multithreading ...
  • Wood, Benjamin Paul
    Some researchers have proposed data-race exceptions to mitigate the ill effects of data races in shared-memory multithreaded programs. Data-race exceptions make every data race an explicit fail-stop error at run-time. ...
  • Mumey, Brendan Marshall, 1968- (1997)
    Modern molecular biology has presented computer science a host of interesting theoretical problems to work on. This thesis presents new algorithms for two computational problems from genomic mapping: The first problem ...
  • Chow, Kingsum (1996)
    Software libraries provide leverage in large part because they are used by many applications. As Parnas, Lampson and others have noted, stable interfaces to libraries isolate the application from changes in the libraries. ...
  • Pulli, Kari (1997)
    This dissertation addresses the problem of scanning both the color and geometry of real objects and displaying realistic images of the scanned objects from arbitrary viewpoints. We present a complete system that uses a ...
  • Lucia, Brandon M. (2013-07-25)
    Parallel and concurrent software is more complex than sequential code because interactions between concurrent computations and the ordering of program events can vary across ex- ecutions. This nondeterministic variation ...
  • Grimm, Robert, 1968- (2002)
    Pervasive computing provides an attractive vision for the future of computing. Computational power will be available everywhere. Mobile and stationary devices will dynamically connect and coordinate to seamlessly help ...
  • Matuszek, Cynthia
    Advances in computation, sensing, and hardware are enabling robots to perform an increasing variety of tasks in progressively fewer constraints. It is now possible to imagine robots that can operate in traditionally ...

Search ResearchWorks


Advanced Search

Browse

My Account