299 citations
- American Rock Mechanics AssociationUS2 papers
- ETH ZurichCH2 papers
- Imperial College LondonGB2 papers
- Newcastle UniversityGB2 papers
- N. I. Lobachevsky State University of Nizhny NovgorodRU2 papers
- University College LondonGB2 papers
- University of BristolGB2 papers
- University of CambridgeGB2 papers
- University of LeicesterGB2 papers
- Beijing Institute of TechnologyCN1 paper
- Eindhoven University of TechnologyNL1 paper
- Fraunhofer Institute for Experimental Software EngineeringDE1 paper
25 papers
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Luke Geeson, James Brotherston, Wilco Dijkstra +4
The correctness of complex software depends on the correctness of both the source code and the compilers that generate corresponding binary code. Compilers must do more than preser…
Picking a CHERI Allocator: Security and Performance Considerations
Jacob Bramley, Dejice Jacob, Andrei Lascu +2
Several open-source memory allocators have been ported to CHERI, a hardware capability platform. In this paper we examine the security and performance of these allocators when run…
Combining Individual and Joint Networking Behavior for Intelligent IoT Analytics
Jeya Vikranth Jeyakumar, Ludmila Cherkasova, Saina Lajevardi +4
The IoT vision of a trillion connected devices over the next decade requires reliable end-to-end connectivity and automated device management platforms. While we have seen successf…
Multi-Scale Feature Fusion: Learning Better Semantic Segmentation for Road Pothole Detection
Jiahe Fan, Mohammud J. Bocus, Brett Hosking +4
This paper presents a novel pothole detection approach based on single-modal semantic segmentation. It first extracts visual features from input images using a convolutional neural…
Towards Efficient Point Cloud Graph Neural Networks Through Architectural Simplification
Shyam A. Tailor, René de Jong, Tiago Azevedo +2
In recent years graph neural network (GNN)-based approaches have become a popular strategy for processing point cloud data, regularly achieving state-of-the-art performance on a va…
A Fokker-Planck Solver to Model MTJ Stochasticity
Fernando García-Redondo, Pranay Prabhat, Mudit Bhargava
Magnetic Tunnel Junctions (MTJs) constitute the novel memory element in STT-MRAM, which is ramping to production at major foundries as an eFlash replacement. MTJ switching exhibits…