Theses/Dissertations from 2012
WORKBENCH FOR MODELING AND OPTIMIZATION OF DIVERSE NETWORKS, Malik Junaid Aziz
A Compositional Approach for Verifying Sampled-Data Supervisory Control, Mahvash Baloch
Computational Methods for the Optimal Reconstruction of Material Properties in Complex Multiphysics Systems, Vladislav Bukshtynov
REASONING ABOUT DEFINEDNESS － A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED LOGIC, Qian Hu
Extending Service Oriented Architecture Using Generic Service Representatives, Mehran Najafi
Applying System-Theoretic Accident Model and Processes (STAMP) to Hazard Analysis, Yao Song
Identification and Documentation of Environmental Assumptions for the PACEMAKER System, You Vivien WANG
Computational and Geometric Aspects of Linear Optimization, Feng Xie
Model Based System Consistency Checking Using Event-B, Hao Xu
A Suite of Case Studies in Relational Database Design, Weiguang Zhang
Theses/Dissertations from 2011
A Regression Test Selection Technique Applied to Legacy Systems, Akbar Abdrakhmanov
Sparse Sampling of Velocity MRI, Yogesh Chinta Venkateswarao
Verifying Permutation Rewritable Hazard Free Loops, Michal Dobrogost
A Tabular Expression Toolbox for Matlab/Simulink, Colin J. Eles
Identifying Modifications and Generating Dependency Graphs for Impact Analysis in a Legacy Environment, Asif Iqbal
Variable Transition Time Predictive Control, Kaska Kowalska
An Empirical Study of Algebraic Reconstruction Techniques, EHSAN MOHAMMAD KAZEMI
Simulation and Optimal Design of Nuclear Magnetic Resonance Experiments, Zhenghua Nie
Software-Defined MicroGrid Testbed for Energy Management, Adhithya Ravichandran
Power Conservation in Energy Harvesting Sensor Networks, Timothy A. Roberts M. A. Sc.
Algebraic Constructions Applied to Theories, Quang Minh Tran
Condition Monitoring for Rotational Machinery, Daniel C. Volante
Locating Carbon Bonds from INADEQUATE Spectra using Continuous Optimization Methods and Non-Uniform K-Space Sampling, Sean C. Watson
Implementing Efficient Algorithms for Computing Runs, Chia-Chun Weng
Theses/Dissertations from 2010
Jory: A Tool for Feature Modelling Based on Product Families Algebra and BDDs, Fadil Alturki
A context aware framework for product based software certification, Volodymyr Babiy
THE EFFECT OF SEX AND MIXABILITY ON THE EVOLUTION OF AN IDEALIZED GENETIC NETWORK, Cedoljub Bundalovic-Torma
Controlling the Dual Cascade of Two-dimensional Turbulence, Mohammad M. Farazmand
MATHEMATICAL MODELING OF THE FLYING PROBE TEST SYSTEM, Alvin Tzu-Chen Hsieh
State Diagrams: A New Visual Language For Programmable Logic Controllers, FanFan Huang
COMPUTING REPETITIONS IN STRINGS: CURRENT ALGORITHMS & THE COMBINATORICS OF FUTURE ONES., Evguenia Kopylov
Formally Specifying and Verifying Linux-PAM Configurations Using Hierarchical Coloured Petri Nets and NuSMV, Christopher Kulbakas
A Primal-Dual Heuristic for the Traveling Salesman Problem, Xiaoxi Ma
A Comparison of Scalable Multi-Threaded Stack Mechanisms, Joshua I. Moore-Oliva
Verification of programs with Z3, Ewa Romanowicz
Adding Nested Headers and a Proper Gtk-Based GUI to The Haskell Table Tools, Sepandar Sepehr
Elementary function evaluation using New Hardware Instruction, Anuroop Sharma
Automated Message Triage - A Proposal for Supervised Semantic Classification of Messages, Amir Tavasoli
Simplification Infrastructure for an Implementation of the Chiron Logic, Han Yin Zhang
SOME HIGHLY ACCURATE BASIC LINEAR ALGEBRA SUBROUTINES, Yuhang Zhao
A GENERIC AUTOMATIC NUMERICAL STABILITY TESTING METHOD, Hang Zhou
Theses/Dissertations from 2009
DEVELOPMENT OF A PORTION OF A THEORY LIBRARY FOR MECHANIZED MATHEMATICS SYSTEMS, MEHWISH ABBASI
Rpen: A New 3D Pointing Device, Mohammad Badrul Alam
USING SUFFIX ARRAYS FOR LEMPEL-ZIV DATA COMPRESSION, ANISA AL-HAFIDH
Performance Simulation with the Coconut 1ulticore Framework for the Cell/B.E., Kevin Browne
THE ELUSIVE QUEST: SOFTWARE PRODUCT QUALITY EVALUATION, Silviya Grigorova
On Optimization of Multiuser Multiple Input Multiple Output Communication Systems, Peter He
A Fully Automated Approach to Segmentation and Registration of Medical Image Data for Pulmonary Diagnosis, Alvin Ihsani
TOOL-ASSISTED KNOWLEDGE TO HL7 v3 MESSAGE TRANSLATION, Priya Jayaratna
Single Machine Total Weighted Tardiness With Release Dates, Wei Jing
Formal Modelling of Version Control Systems, David H. Kelk
Optimal Multi-Time Period Gasoline Blending, Shefali Kulkarni
UNIMODULARITY IN SOLVING ILP MODELS OF THE GLOBAL ROUTING PROBLEM, Min Jing Jessie Liu
CHIRON: MECHANIZING MATHEMATICS IN OCAML, Hong Ni
Verification and Refinement Theory of Action Inheritance for Concurrent Objects, Upasana Pujari
CROSS-DOMAIN MESSAGE ORIENTED INTEROPERABILITY FRAMEWORK, AZIN DEHMOOBAD SHARIFABADI
A Language and a Library of Algebraic Theory-types, Huan Zhang
Adaptive Sphere Decoding and Radius Selection with Error Analysis in Sphere Decoding, Fei Zhao
Documentation Driven Testing of Scientific Computing Software, Bingzhou Zheng
Theses/Dissertations from 2008
Developing Scientific Computing Software: Current Processes and Future Directions, Jin Tang
Theses/Dissertations from 2007
HIGH AVAILABILITY AND SOFTWARE ARCHITECTURE, Rongshu Yi
Theses/Dissertations from 2005
Sensor Network Deployment in the McMaster Nuclear Reactor, Nicholas Merizzi
Theses/Dissertations from 1978
The Design and Implementation of a Library Data Base, Constantine Papanastasopoulos
Theses/Dissertations from 1977
Measures of Association on a Bibliographic Data Base, Donald Allan Fox
Theses/Dissertations from 1976
The Simulation of the Behavior of a Student-Created Operating System using GPSS, George Droucas
Theses/Dissertations from 1975
Plotting on an Electrostatic Printer/Plotter, Christopher A. Bryce
Bandwidth Minimization for Sparse Matrices, Virendra K. Goyal
An Algorithm for the Solution of Zero-One Resource Allocation Problems, Golam Mowla
CYSDEM User's Manual, Mohamed Naguib
Theses/Dissertations from 1974
The Generation of Error Recovering Simple Precedence Parsers, Clive B. Johns
A Study of High Accuracy High Derivative Formulas for the Numerical Integration of Stiff Equations, Mohamed S. Kamel
An Investigation and Implementation of Some Binary Search Tree Algorithms, Aldon N. Walker
Theses/Dissertations from 1973
Programming Language 2100 and its Compiler HPCOM, Dilip K. Roy