Search
Search Results
-
A sco** review of In-the-loop paradigms in the energy sector focusing on software-in-the-loop
Software-in-the-Loop (SIL) testing is an approach used for verification and validation in the energy sector. However, there is no comprehensive...
-
Enhancing a GPU-Based Wave Propagation Application Through Loop Tiling and Loop Fission Optimizations
Graphics Processing Units (GPUs) harbor immense parallelization capabilities that can significantly accelerate the processing of large datasets. In... -
Directional Prediction of Financial Time Series Using SVM and Wilson Loop Perceptron
The Wilson loop is indicative of the pathway encompassed within the market cocycle, which carries the coherent gauge field behavior present in the...
-
2LS: Arrays and Loop Unwinding
2LS is a C program analyser built upon the CPROVER infrastructure that can verify and refute program assertions, memory safety, and termination.... -
PEP: Hardware Emulation Platform for Physiological Closed-Loop Control Systems
Physiological closed-loop control systems (PCLCS) provide reliable and efficient treatment in medical care, but it is crucial to ensure patient... -
Astral Body: A Virtual Reality Game for Body Ownership Investigation
As one of the most disruptive human-computer interaction techniques, Virtual Reality (VR) provides a novel way to examine human movements, e.g. when... -
Automation of C Program Deductive Verification without Using Loop Invariants
AbstractAutomation of C program verification is an important problem in modern software development. To solve this problem, the solution of the...
-
An iterative 3D human body reconstruction method driven by personalized dimensional prior knowledge
AbstractIn recent years, remarkable strides have been made in 3D human reconstruction. However, the focus has primarily been on pose reconstruction,...
-
A calculus for modular loop acceleration and non-termination proofs
Loop acceleration can be used to prove safety, reachability, runtime bounds, and (non-)termination of programs. To this end, a variety of...
-
Dual-Loop Control Based on Tube-Based MPC for UAVs with Disturbance
Due to the reduction of control accuracy when the unmanned aerial vehicles (UAVs) are disturbed in motion, a dual-loop control strategy is... -
Full-program induction: verifying array programs sans loop invariants
Arrays are commonly used in a variety of software to store and process data in loops. Automatically proving safety properties of such programs that...
-
Affine Loop Invariant Generation via Matrix Algebra
Loop invariant generation, which automates the generation of assertions that always hold at the entry of a while loop, has many important... -
Loop Verification with Invariants and Contracts
Invariants are the predominant approach to verify the correctness of loops. As an alternative, loop contracts, which make explicit the premise and... -
Human-in-the-Loop for Personality Dynamics: Proposal of a New Research Approach
In recent years, one can observe an increasing interest in dynamic models in the personality psychology research. Opposed to the traditional... -
Impact of Hypertension on Left Ventricular Pressure-Strain Loop Characteristics and Myocardial Work
Hypertension is a major risk factor for cardiovascular disease. Pressure-strain loop analysis has recently been introduced as a clinical tool to... -
Real-time safe validation of autonomous landing in populated areas: from virtual environments to Robot-In-The-Loop
Safe autonomous landing for Unmanned Aerial Vehicles (UAVs) in populated areas is a crucial aspect for successful integration of UAVs in populated...
-
A Methodology for Efficient Tile Size Selection for Affine Loop Kernels
Reducing the number of data accesses in memory hierarchy is of paramount importance on modern computer systems. One of the key optimizations...
-
Information Processing Using Soft Body Dynamics
In this chapter, we address how the introduction of softness into robots will enable unprecedented information-processing functionalities. In... -
ControlPULP: A RISC-V On-Chip Parallel Power Controller for Many-Core HPC Processors with FPGA-Based Hardware-In-The-Loop Power and Thermal Emulation
High-performance computing (HPC) processors are nowadays integrated cyber-physical systems demanding complex and high-bandwidth closed-loop power and...
-
An Analytical Model for Loop Tiling Transformation
Loop tiling is a well-known loop transformation that enhances data locality in memory hierarchy. In this paper, we initially reveal two important...