Advanced search    

Search: authors:"Simon Doherty"

6 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

Brief Announcement: Generalising Concurrent Correctness to Weak Memory

Science, University of Surrey , Guildford , UK 2 Department of Computer Science, University of Sheffield , UK 3 Simon Doherty 4 Heike Wehrheim Department of Computer Science, Paderborn University ... some operation belonging to the second event. Events describe e.g. transactions in an STM or operations on a data structure, and their 1 Simon Doherty and John Derrick are funded by EPSRC Grant EP

DIVA metabolomics: Differentiating vaccination status following viral challenge using metabolomic profiles

. Investigation: Darren W. Gray, Simon Doherty. Methodology: Darren W. Gray, Fawad Mansoor, Simon Doherty, Olivier P. Chevallier. Project administration: Michael D. Welsh, Mark H. Mooney. 17 / 20 Resources ... , Michael D. Welsh, Mark H. Mooney. Writing ± review & editing: Darren W. Gray, Michael D. Welsh, Fawad Mansoor, Simon Doherty, Olivier P. Chevallier, Christopher T. Elliott, Mark H. Mooney. 18 / 20 19 / 20

Mechanized proofs of opacity: a comparison of two techniques

Software transactional memory (STM) provides programmers with a high-level programming abstraction for synchronization of parallel processes, allowing blocks of codes that execute in an interleaved manner to be treated as atomic blocks. This atomicity property is captured by a correctness criterion called opacity, which relates the behaviour of an STM implementation to those of a...

Proving Opacity of a Pessimistic STM

Transactional Memory (TM) is a high-level programming abstraction for concurrency control that provides programmers with the illusion of atomically executing blocks of code, called transactions. TMs come in two categories, optimistic and pessimistic, where in the latter transactions never abort. While this simplifies the programming model, high-performing pessimistic TMs can be...

Comparing the immune response to a novel intranasal nanoparticle PLGA vaccine and a commercial BPI3V vaccine in dairy calves

Background There is a need to improve vaccination against respiratory pathogens in calves by stimulation of local immunity at the site of pathogen entry at an early stage in life. Ideally such a vaccine preparation would not be inhibited by the maternally derived antibodies. Additionally, localized immune response at the site of infection is also crucial to control infection at...

Identification of systemic immune response markers through metabolomic profiling of plasma from calves given an intra-nasally delivered respiratory vaccine

Vaccination procedures within the cattle industry are important disease control tools to minimize economic and welfare burdens associated with respiratory pathogens. However, new vaccine, antigen and carrier technologies are required to combat emerging viral strains and enhance the efficacy of respiratory vaccines, particularly at the point of pathogen entry. New technologies...