10 papers · ranked by Valyu relevance
JungWoo Park, Minju Kang, Seungho Jeon, Seong Oun Hwang + 4 more
Fault localization (FL) is the task of identifying code locations responsible for bugs in software, and it is a prerequisite step in the bug-fixing process. FL in large-scale systems such as the Linux kernel involves three core challenges: First, the vast codebase fundamentally complicates fault search. Second, the…
Zi Wang, Xiaoyu Zhu, Hongqiang Wang, Yichun Yu + 2 more
Formal verification ensures software correctness but faces challenges in kernel specification writing, which is labor-intensive, expertise-dependent, and limited to specific targets. For complex microkernels like seL4, these issues significantly reduce the practicality of formal methods. To address this, we propose…
Omer Mano, Damon A. Clark, Matthieu Louis
Sensory neuroscience seeks to understand and predict how sensory neurons respond to stimuli. Nonlinear components of neural responses are frequently characterized by the second-order Wiener kernel and the closely-related spike-triggered covariance (STC). Recent advances in data acquisition have made it increasingly…
Ioana Culic, Alexandru Vochescu, Alexandru Radovici, Ovidiu P. Stan + 3 more
'Sanislav Teodora' 'Dan Gota' 'Nikos Fotiou'] Critical systems such as drone control or power grid control applications rely on embedded devices capable of a real-time response. While much research and advancements have been made to implement low-latency and real-time characteristics, the security aspect has been left…
James C. Knight, Thomas Nowotny
While neuromorphic systems may be the ultimate platform for deploying spiking neural networks (SNNs), their distributed nature and optimization for specific types of models makes them unwieldy tools for developing them. Instead, SNN models tend to be developed and simulated on computers or clusters of computers with…
Nikolaos Koutroumpouchos, Christoforos Ntantogian, Christos Xenakis
TrustZone-based Trusted Execution Environments (TEEs) have been utilized extensively for the implementation of security-oriented solutions for several smart intra and inter-connected devices. Although TEEs have been promoted as the starting point for establishing a device root of trust, a number of published attacks…
Valeriy Berezovskiy, Anastasia Gorodilova, Ekaterina Trofimova, Andrey Ustyuzhanin + 1 more
'Andrey Ustyuzhanin' 'Syed Hassan Shah'] Program code has recently become a valuable active data source for training various data science models, from code classification to controlled code synthesis. Annotating code snippets play an essential role in such tasks. This article presents a novel approach that leverages…
Yeongung Park, Seokwoo Choi, Un Yeong Choi, Haimin Jin + 2 more
'Nurul Harzira Mohamad Nor' 'Yongsu Park'] As IoT devices are being widely used, malicious code is increasingly appearing in Linux environments. Sophisticated Linux malware employs various evasive techniques to deter analysis. The embedded trace microcell (ETM) supported by modern Arm CPUs is a suitable hardware tracer…
Muhammad Omer Farooq, Thomas Kunz
This paper presents a survey on the current state-of-the-art in Wireless Sensor Network (WSN) Operating Systems (OSs). In recent years, WSNs have received tremendous attention in the research community, with applications in battlefields, industrial process monitoring, home automation, and environmental monitoring, to…
Stefan Bosse
Multi-agent systems (MAS) can be used for decentralized and self-organizing data processing in a distributed system, like a resource-constrained sensor network, enabling distributed information extraction, for example, based on pattern recognition and self-organization, by decomposing complex tasks in simpler…