Browse by University and Academic Department

Up a level
Export as [feed] Atom [feed] RSS
Group by: Thesis author | Item Type | No Grouping
Jump to: A | B | C | D | F | G | H | K | L | M | O | P | R | W | Z
Number of items: 24.

A

Abdul Sani, Asmiza (2013) Towards Automated Formal Analysis of Model Transformation Specifications. PhD thesis, University of York.

B

Buykx, Lucy (2013) Interactive recipe instructions: supporting cooks with better designs. PhD thesis, University of York.

C

Chu, Yanching (2013) Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach. MPhil thesis, University of York.

D

Devlin, Sam Michael (2013) Potential-Based Reward Shaping for Knowledge-Based, Multi-Agent Reinforcement Learning. PhD thesis, University of York.

F

Fleming, Thomas (2013) Extending Mixed Criticality Scheduling. MSc by research thesis, University of York.

G

Griffin, David Jack (2013) Lossy Compression applied to the Worst Case Execution Time Problem. PhD thesis, University of York.

H

Hadley, Mark (2013) Empirical Evaluation of the Effectiveness and Reliability of Software Testing Adequacy Criteria and Reference Test Systems. PhD thesis, University of York.

Haseeb, Muhammad (2013) Spectral Representation for Matching and Recognition. PhD thesis, University of York.

Hind, Richard (2013) FEASIBILITY STUDY ON IMPLEMENTING THE “BALL COMPUTER”. MSc by research thesis, University of York.

Hutchesson, Stuart (2013) Trusted product lines. PhD thesis, University of York.

K

Kamali Sarvestani, Amir Mansoor (2013) Evaluating Techniques for Wireless Interconnected 3D Processor Arrays. PhD thesis, University of York.

Kim, Seyeon (2013) Node-oriented dynamic memory management for real-time systems on ccNUMA architecture systems. PhD thesis, University of York.

L

Lim, Tiong Hoo (2013) Dependable Network Protocols in Wireless Sensor Networks. PhD thesis, University of York.

Lin, Shiyao (2013) A Flexible Multiprocessor Resource Sharing Framework for Ada. PhD thesis, University of York.

M

Mostafa, Dina (2013) Maturity Models in the Context of Integrating Agile Development Processes and User Centred Design. PhD thesis, University of York.

O

Owen, Jennifer (2013) An Investigation of Loose Coupling in Evolutionary Swarm Robotics. PhD thesis, University of York.

P

Patrick, Matthew Timothy (2013) Mutation-Optimised Subdomains for Test Data Generation and Program Analysis. PhD thesis, University of York.

Perez Cervantes, Marco Polo (2013) Static Methods to Check Low-Level Code for a Graph Reduction Machine. PhD thesis, University of York.

Poskitt, Christopher M. (2013) Verification of Graph Programs. PhD thesis, University of York.

Poulding, Simon M (2013) The Use of Automated Search in Deriving Software Testing Strategies. PhD thesis, University of York.

R

Reich, Jason S. (2013) Property-based Testing and Properties as Types: A hybrid approach to supercompiler verification. PhD thesis, University of York.

Reinhardt, Derek Wade (2013) Safety Assurance of Aviation Systems. PhD thesis, University of York.

W

Williams, James R. (2013) A Novel Representation for Search-Based Model-Driven Engineering. PhD thesis, University of York.

Z

Zhao, Yining (2013) Behavioural access control in distributed environments. PhD thesis, University of York.

This list was generated on Wed Dec 1 04:19:48 2021 GMT.