TOP >> UNIVERSITY OF WYOMING >> Computer science
 
Browse Institutions
You are viewing titles for UNIVERSITY OF WYOMING in the Computer science available through the UMI Dissertations & Thesis Gradwoorks site
 
Development of a persistent search algorithm using low cost microprocessor based robots as a test bench
 Representing meaningful provenance in scientific workflow systems
 
Modeling atomicity and isolation in workflow systems
 Hybrid analysis of multi-threaded Java programs
 
A computational framework for modeling the spread of pathogens and generating effective containment strategies in weakly connected island models
 Performance of ad hoc queries using data correlation
 
Classifying atomicity violation warnings using machine learning
 Large fabric storage area networks: Fabric simulator development and preliminary analysis
 
Using scouts to predict swarm success rate
 Detecting atomicity violations via integrated dynamic and static analysis
 
A new lower bound on the number of ternary squarefree words
 SDBC: Sandbox-based dynamic branch coverage expansion for detecting atomicity violations
 
Distributed evolution for swarm robotics
 Time-variant normal profiling for anomaly detection systems
 
Physics-based approach to chemical source localization using mobile robotic swarms
 An implementation of a novel localization framework for robots and its application to multi-robot tasks
 
Type inference and unification: Formal and informal proofs in and around Wand's algorithm