/library/oar/handle/123456789/8338 Mon, 29 Dec 2025 01:59:56 GMT 2025-12-29T01:59:56Z /library/oar/handle/123456789/141715 Title: Centralized vs. decentralized monitors for hyperproperties Authors: Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana Abstract: This article focuses on the runtime verification of hyperproperties expressed in Hyper-recHML, an expressive yet simple logic for describing properties of sets of traces. To this end, we consider a simple language of monitors that observe sets of system executions and report verdicts w.r.t. a given Hyper-recHML formula. We first employ a unique omniscient monitor that centrally observes all system traces. Since centralized monitors are not ideal for distributed settings, we also provide a language for decentralized monitors, where each trace has a dedicated monitor; these monitors yield a unique verdict by communicating their observations to one another. For both the centralized and the decentralized settings, we provide a synthesis procedure that, given a formula, yields a monitor that is correct (i.e., sound and violation complete). A key step in proving the correctness of the synthesis for decentralized monitors is a result showing that, for each formula, the synthesized centralized monitor and its corresponding decentralized one are weakly bisimilar for a suitable notion of weak bisimulation. Wed, 01 Jan 2025 00:00:00 GMT /library/oar/handle/123456789/141715 2025-01-01T00:00:00Z /library/oar/handle/123456789/140356 Title: CSAW'18 computer science annual workshop Abstract: This is a collection of abstracts from the 2018 edition of the Computer Science Annual Workshop (CSAW'18), a research and work-in-progress workshop organised by the Department of Computer Science of the University of Malta. CSAW'18 was held at the Hilltop Gardens in Naxxar, Malta on the 30th November. Thu, 01 Nov 2018 00:00:00 GMT /library/oar/handle/123456789/140356 2018-11-01T00:00:00Z /library/oar/handle/123456789/139895 Title: Towards a Realtime FRB pipeline at the northern cross radio telescope Authors: De Barro, Adrian; Magro, Alessio; Bugeja, Keith; Naldi, Giovanni; Ragno, Nicola; Fiori, Francesco; Cesare, Valentina Abstract: Fast Radio Bursts (FRBs) are among the most intriguing astrophysical phenomena, requiring high-throughput, low-latency detection systems to capture their fleeting signatures. This paper presents the design and implementation of a real-time FRB detection pipeline tailored for the Northern Cross Radio Telescope, which is undergoing a major digital upgrade. Leveraging GPU-accelerated beamforming and transient search algorithms, the system integrates a scalable software architecture capable of processing wide-field data streams in the 400–416 MHz band. We describe the pipeline’s modular components, including the data reception, the GPU-based beamforming and correlation, and a proposed orchestration framework for transmitting the synthesised beams to remote memory for downstream scientific applications. Preliminary benchmarks demonstrate significant performance over the acquisition times, enabling real-time processing across multiple synthesised beams. Wed, 01 Jan 2025 00:00:00 GMT /library/oar/handle/123456789/139895 2025-01-01T00:00:00Z /library/oar/handle/123456789/139892 Title: ARPΔ : Accelerated ray-tracing photon differentials for real-time global illumination with combined specular and diffuse solutions Authors: De Barro, Adrian; Bugeja, Keith; Spina, Sandro Abstract: This study introduces ARP , a novel photon mapping approach that employs photon differentials to achieve realtime global illumination on ray-tracing hardware. ARP dynamically adjusts photon bandwidth by adapting each photon’s footprint according to trajectory and interaction specifics, providing high-quality caustic and diffuse lighting with reduced photon count. The methodology integrates clamped adaptation and bounding box optimisations to manage photon footprints effectively, enhancing detail accuracy while maintaining high frame rates. Experimental results demonstrate ARPΔ’s competitive performance against established techniques, excelling in complex, caustic-rich scenes and achieving closer convergence to ground truth for near-field and detail shots. This work advances photon differential techniques, offering a ray-tracing hardware-compatible solution for real-time applications that balances computational efficiency with photorealistic illumination fidelity. Wed, 01 Jan 2025 00:00:00 GMT /library/oar/handle/123456789/139892 2025-01-01T00:00:00Z