Search Results

Verifying complex Cyber-physical Systems (CPSs) is increasingly important given the push to deploy safety-critical autonomous features. Unfortunately, traditional verification methods do not scale to the complexity of these systems and do not provide ...

After the pandemic, software engineers were forced to work remotely, in many cases without prior experience of doing so.

The objective of this work is to analyze the factors that influence engineers' motivation, stress ...

We use a statistical model to study the impact that different factors have on the stress, motivation, and performance of software engineers who work remotely. Understanding these factors and their impact can help organizations to improve the well‐being ...

Ytopt is a Python machine-learning-based autotuning software package developed within the ECP PROTEAS-TUNE project. The ytopt software adopts an asynchronous search framework that consists of sampling a small number of input parameter configurations and ...

While state-of-the-art permissioned blockchains can achieve thousands of transactions per second on commodity hardware with x86/64 architecture, their performance when running on different architectures, such as ARM, is not clear. The goal of this work is ...

As machine learning models have been deployed in many vision systems, including autonomous vehicles and robots, designing architectures for machine learning systems (MLSs) has emerged as a critical concern. Previous studies have shown that enhancing the ...

As robots enter everyday spaces like offices, the sounds they create affect how they are perceived. We present “Music Mode,” a novel mapping between a robot’s joint motions and sounds, programmed by artists and engineers to make the robot generate music ...

Serverless computing simplifies application deployment by removing the need for infrastructure management, with RESTful APIs being the common interface. However, REST can lead to inefficiencies such as data over-fetching and under-fetching, which impact ...

Scientific experiments are producing unprecedented volumes of data with real-time High Performance Computing (HPC) needs. Understanding and ensuring efficient data movement in these emerging data-intensive workloads is becoming critical for successful ...

As Large Language Models (LLMs) are rapidly growing in popularity, LLM inference services must be able to serve requests from thousands of users while satisfying performance requirements. The performance of an LLM inference service is largely determined ...

Current Link State PDU flooding rates are much slower than what modern networks can support. The use of IS-IS at larger scale requires faster flooding rates to achieve desired convergence goals. This document discusses the need for faster flooding, the ...

In this second remark, we present a revised correction to Algorithm 1010 [A. Orellana and C. De Michele 2020] with respect to the one already proposed in the remark on Algorithm 1010 [C. De Michele 2022].

The divergence between Ahead-of-Time (AOT) and Just-in-Time (JIT) compilation techniques presents a unique predicament when trying to achieve optimal performance in software applications. AOT compilation offers efficiency by pre-compiling and optimizing ...

VR exergaming is a promising motivational tool to incentivise exercise. We present a novel VR exergaming method called social interactive feedforward. The player competes with an 'enhanced model' of one of their friends in a real-time VR environment, ...

This paper extends prior work on sparse tensor algebra compilers to generate asymptotically efficient code for tensor expressions with affine subscript expressions. Our technique enables compiler support for a wide range of sparse computations, including ...

In this paper we propose an extension to the MagicGrid framework to support virtual prototyping for early system performance Validation & Verification (V&V). Model-Based Systems Engineering (MBSE) is at a maturity where V&V of system performance is ...

We report a practice-based exploration of developing and performing with an autonomous AI musician called LOERIC that improvises folk tunes in response to a human partner. We follow an artist-led methodology involving a subjective, first-person ...

The paper presents the platform position performance for electrode insertion during Deep Brain Stimulation via indirect targeting and with the use of Artificial Intelligence for preliminary validation and an introduction for close-loop control of ...

In microservices-based systems, architects find it hard to reason about the impact of their design decisions on performance before implementing them. While definitions of anti-patterns help to avoid inadequate design decisions, they are context-...

As the world becomes increasingly reliant on open‐source software (OSS) development platforms, collaborative communication networks are becoming more complex, resulting in non‐trivial effects on project performance. This study examines the ...

Teleportation has been adopted as the preferred mode of navigation in many virtual reality (VR) experiences due to its ability to allow users to easily move beyond the limitations of the tracking space while minimizing the risk of inducing VR sickness. ...