Paul Jackson

Verification of a lazy cache coherence protocol against a weak memory model

In this paper we verify a modern lazy cache coherence protocol, TSO-CC, against the memory consistency model it was designed for, TSO. We achieve this by first showing a weak simulation relation...

Testing Information Delivery Methods Using Augmented Realit

Threat modeling for aircraft access to national airspace system wide information management program

Parameters influence in steel corrosion evaluation using PEC thermography

Finite Field Arithmetic Using the Connection Machine

Is VR Better than a Workstation? A Report on Human Performance Experiments in Progress

Transactive memory in distributed organizations

The interplay between structural rigidity and uptake of innovation-a critical examination of infusion of innovation in the stockbroking sector

Envisioning the Virtual Workplace: Conceptualising Virtualisation

Ontology and business: creating structure for storing and accessing organisational knowledge on intranets

Examining Rural Adoption Of Broadband - Critical Realist Perspectives

Value Creation Logics: A UK Case Study

Organizational Design and Collaborative Networked Organizations in a Data-Rich World: A Cybernetics Perspective

Wikis: Transactive Memory Systems in Digital Form

The Relationship between Process and Practice: The Case of a Sales Order Office

Focusing on non-adopters of broadband: A critical realist perspective

E-Government: Developments in the US and UK

Nationality encoding in language model hidden states: Probing culturally differentiated representations in persona-conditioned academic text

Large language models are increasingly used as writing tools and pedagogical resources in English for Academic Purposes, but it remains unclear whether they encode culturally differentiated...