6 datasets

ZivaHub + Deakin Research Online + DMU Figshare2026 · dataset

<p dir="ltr">This artifact accompanies the paper “Risk-Aware Runtime Monitoring and Mitigation: Semantics, Abstraction, and Monitor Memory”. It includes an executable infusion-pump model supporting exact finite-horizon predictive risk analysis and a FastAPI-based prototype demonstrating history-dependent hazard monitoring, consequence-based risk computation, and policy-triggered mitigation. Experi

ZivaHub + Deakin Research Online + DMU Figshare2026 · dataset

<p>Artifact for the VMCAI 2027 paper <em>Verifying Fault Robustness by Type Checking: A Verified Information-Flow Approach</em>. Poison is a core imperative language whose type system tracks faulty (sentinel) values through data and control flow by information flow. The artifact contains the Ott specification, a Lean 4 executable typechecker and interpreter, the mechanised proof that type checking

Teesside University Research Data Repository2015 · dataset

This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2018) Abstract Aside from numerical algorithms and problem setup, large-scale physics simulations on distributed-memory supercomputers require more basic utilitarian functionality, such as physical units and constants; display to the screen or standard output device; message passing; I/O to disk; a

Teesside University Research Data Repository2014 · dataset

Abstract We report fast computation of computer-generated holograms (CGHs) using Xeon Phi coprocessors, which have massively x86-based processors on one chip, recently released by Intel. CGHs can generate arbitrary light wavefronts, and therefore, are promising technology for many applications: for example, three-dimensional displays, diffractive optical elements, and the generation of arbitrary b

Teesside University Research Data Repository2009 · dataset · unknown

This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2018) Abstract In this paper, we present the computational task-management tool Ganga, which allows for the specification, submission, bookkeeping and post-processing of computational tasks on a wide set of distributed resources. Ganga has been developed to solve a problem increasingly common in sc

Teesside University Research Data Repository2009 · dataset · unknown

This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2018) Abstract We present a new program performing the sector decomposition and integrating the expression afterwards. The program takes a set of propagators and a set of indices as input and returns the epsilon-expansion of the corresponding integral. Title of program: FIESTA Catalogue Id: AECP_v1