Search Constraints

Start Over
Filtering by: Creator Amsberry, Anthony C. Remove constraint Creator: Amsberry, Anthony C. Degree Name Master of Science (M.S.) Remove constraint Degree Name: Master of Science (M.S.) File Format pdf Remove constraint File Format: pdf

Search Results

  • Formal Verification of the Variational Database Management System

    Creator:
    Khan, Fariba
    Abstract:
    Variation in data is abundant and ubiquitous in real-world applications. Managing variation in databases is, however, difficult and has been extensively studied by the database community. Schema evolution, data integration, and database versioning are examples of well-studied forms of database variation with effective context-specific solutions. However, variation appears in different...
    Resource Type:
    Masters Thesis
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . 63 B Formal Encoding of Variational Query . . . . . . . . . . . . . . . . . . . . . 84 C Formal

  • Diving into Diversity: Fish Populations and Climate Resilience in an Endorheic Basin

    Creator:
    Dew, Aleah
    Abstract:
    The Goose Lake Basin, situated on the border of Oregon and California, USA, faces significant challenges from drought, wildfire, and other environmental stressors. This region hosts numerous endemic fish species such as the Goose Lake redband trout (Oncorhynchus mykiss newberri), Goose Lake lamprey (Entosphenus sp.), Goose Lake tui chub (Siphateles...
    Resource Type:
    Masters Thesis
    Full Text:
    2006). Projections indicate a likely increase of 1°C or more in water temperatures by 2050, which

  • Message Queue Manager

    Creator:
    Fang, Don Y.
    Abstract:
    The conventional way of debugging is to examine the program's state at various points during execution. With the addition of message passing as a means of communication and synchronization in message passing programs, the state of pending message operations also needs to be examined. Current parallel debuggers or analysis tools...
    Resource Type:
    Capstone Project
    Full Text:
    .......... .... ................... ............. .. .............. .. ..... ............. ... 3 Figure 1.2 (a) Example message passing program , and (b),(c) its two possible executions