English
Related papers

Related papers: An Open-Source Framework for Rapid Validation of S…

200 papers

Orientation and Motion Sensing are widely implemented on various consumer products, such as mobile phones, tablets and cameras as they enable immediate interaction with virtual information. The prototyping phase of any orientation and…

Emerging Technologies · Computer Science 2013-03-21 Fabio Varesano

SPEEDY is an Eclipse-based IDE for exploring techniques that assist users in generating correct specifications, particularly including invariant inference algorithms and tools. It integrates with several back-end tools that propose…

Logic in Computer Science · Computer Science 2014-04-29 David R. Cok , Scott C. Johnson

Nowadays, a majority of System-on-Chips (SoCs) make use of Intellectual Property (IP) in order to shorten development cycles. When such IPs are developed, one of the main focuses lies in the high configurability of the design. This…

Software Engineering · Computer Science 2024-05-06 Aman Kumar , Sebastian Simon

The rapid expansion of connected devices has amplified the need for robust and scalable security frameworks. This paper proposes a holistic approach to securing network-connected devices, covering essential layers: hardware, firmware,…

Networking and Internet Architecture · Computer Science 2025-01-24 Khan Reaz , Gerhard Wunder

Secure Device Pairing (SDP) relies on an out-of-band channel to authenticate devices. This requires a common hardware interface, which limits the use of existing SDP systems. We propose to use short-range acoustic communication for the…

Cryptography and Security · Computer Science 2023-02-16 Florentin Putz , Flor Álvarez , Jiska Classen

SLAM technology has recently seen many successes and attracted the attention of high-technological companies. However, how to unify the interface of existing or emerging algorithms, and effectively perform benchmark about the speed,…

Computer Vision and Pattern Recognition · Computer Science 2019-02-22 Yong Zhao , Shibiao Xu , Shuhui Bu , Hongkai Jiang , Pengcheng Han

Trilinos is a community-developed, open-source software framework that facilitates building large-scale, complex, multiscale, multiphysics simulation code bases for scientific and engineering problems. Since the Trilinos framework has…

We introduce a general-purpose framework for interconnecting scientific simulation programs using a homogeneous, unified interface. Our framework is intrinsically parallel, and conveniently separates all component numerical modules in…

Instrumentation and Methods for Astrophysics · Physics 2015-06-04 Simon Portegies Zwart , Steve McMillan , Arjen van Elteren , Inti Pelupessy , Nathan de Vries

Microscopy, in particular scanning probe and electron microscopy, has been pivotal in improving our understanding of structure-function relationships at the nanoscale and is by now ubiquitous in most research characterization labs and…

We introduce Nosey (Nasalance Open Source Estimation sYstem), a low-cost, customizable, 3D-printed system for recording acoustic nasalance data that we have made available as open-source hardware (http://github.com/phoneticslab/nosey). We…

Sound · Computer Science 2025-05-30 Maya Dewhurst , Jack Collins , Justin J. H. Lo , Roy Alderton , Sam Kirkham

pySLAM is an open-source Python framework for Visual SLAM that supports monocular, stereo, and RGB-D camera inputs. It offers a flexible and modular interface, integrating a broad range of both classical and learning-based local features.…

Robotics · Computer Science 2025-08-05 Luigi Freda

Containerization has emerged as a revolutionary technology in the software development and deployment industry. Containers offer a portable and lightweight solution that allows for packaging applications and their dependencies…

Cryptography and Security · Computer Science 2024-05-14 Md Sadun Haq , Ali Saman Tosun , Turgay Korkmaz

FPGA overlays are commonly implemented as coarse-grained reconfigurable architectures with a goal to improve designers' productivity through balancing flexibility and ease of configuration of the underlying fabric. To truly facilitate full…

Hardware Architecture · Computer Science 2016-06-22 Ho-Cheung Ng , Cheng Liu , Hayden Kwok-Hay So

PySCF is a general-purpose electronic structure platform designed from the ground up to emphasize code simplicity, both to aid new method development, as well as for flexibility in computational workflow. The package provides a wide range…

High-throughput materials discovery and studies of complex functional materials increasingly rely on multi-modal characterization performed at synchrotron light sources. However, measurements are typically done with no use of data until…

The HASPIDE (Hydrogenated Amorphous Silicon PIxels DEtectors) project aims at the development of thin hydrogenated amorphous silicon (a-Si:H) detectors on flexible substrates (mostly Polyimide) for beam monitoring, neutron detection and…

In the large-scale high energy physics experiments multi-channel readout application specific integrated circuits (ASICs) are widely used. The ASICs for such experiments are complicated systems, which usually include both analog and digital…

Instrumentation and Detectors · Physics 2018-03-21 A. Voronin , E. Malankin

Memory safety remains a critical and widely violated property in reality. Numerous defense techniques have been proposed and developed but most of them are not applied or enabled by default in production-ready environment due to their…

Cryptography and Security · Computer Science 2021-11-30 Wei Song , Jiameng Ying , Sihao Shen , Boya Li , Hao Ma , Peng Liu

Scientific computing in the exascale era demands increased computational power to solve complex problems across various domains. With the rise of heterogeneous computing architectures the need for vendor-agnostic, performance portability…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-11-05 Johansell Villalobos , Josef Ruzicka , Silvio Rizzi

Embedded devices are increasingly ubiquitous and their importance is hard to overestimate. While they often support safety-critical functions (e.g., in medical devices and sensor-alarm combinations), they are usually implemented under…

Cryptography and Security · Computer Science 2022-06-08 Adam Caulfield , Norrathep Rattanavipanon , Ivan De Oliveira Nunes