Related papers: Using software spectrometer to ensure VLBI signal …
Many researchers have criticized the field of Software Complexity metrics for the lack of testing, verification, and reproducibility of many metrics and case studies that utilized those metrics. This document describes SMF, a tool that can…
Software is now a vital scientific instrument, providing the tools for data collection and analysis across disciplines from bioinformatics and computational physics, to the humanities. The software used in research is often home-grown and…
Most engineers use measurements to make decisions. However, measurements are rarely used for decisions about constructing software products. While many approaches to measuring attributes of software (``metrics'') have been developed, they…
The paper describes a member of the Symbiotic toolbox called sbt-instrumentation, which is a tool for configurable instrumentation of LLVM bitcode. The tool enables a user to specify patterns of instructions and to define functions whose…
In this paper, a guidance and tracking control strategy for fixed-wing Unmanned Aerial Vehicle (UAV) autopilots is presented. The proposed control exploits recent results on sample-based stochastic Model Predictive Control, which allow…
We present the SPEX software package for modeling and fitting X-ray spectra. Our group has developed spectral models, atomic data and code for X-ray applications since the 1970's. Since the 1990's these are further developed in the public…
Multiple sets of synthetic spectra of OB-binary stars are used to test the suitability of disentangling for deriving accurate spectroscopic orbits. Given a set of spectra with broad phase coverage and sufficient total integration time…
In empirical software engineering, benchmarks can be used for comparing different methods, techniques and tools. However, the recent ACM SIGSOFT Empirical Standards for Software Engineering Research do not include an explicit checklist for…
Software security has been an important research topic over the years. The community has proposed processes and tools for secure software development and security analysis. However, a significant number of vulnerabilities remains in…
Upcoming cosmic microwave background (CMB) lensing measurements and tomographic galaxy surveys are expected to provide us with high-precision data sets in the coming years, thus paving the way for fruitful cross-correlation analyses. In…
Adding VLBI capability to the SKA arrays will greatly broaden the science of the SKA, and is feasible within the current specifications. SKA-VLBI can be initially implemented by providing phased-array outputs for SKA1-MID and SKA1-SUR and…
As new use cases are emerging for unmanned aerial systems (UAS), advanced wireless communications technologies and systems need to be implemented and widely tested. This requires a flexible platform for development, deployment, testing and…
We report on a summer school course on Software Engineering for Sustainability (SE4S). We provide a detailed blueprint of the contents taught and its evaluation with the instruments that were used.
There are many normative and technical questions involved in evaluating the quality of software used in epidemiological simulations. In this paper we answer some of these questions and offer practical guidance to practitioners, funders,…
The spectrogram is a classical DSP tool used to view signals in both time and frequency. Unfortunately, the Heisenberg Uncertainty Principal limits our ability to use them for detecting and measuring narrowband signal modulation in wideband…
Radio maps find numerous applications in wireless communications and mobile robotics tasks, including resource allocation, interference coordination, and mission planning. Although numerous techniques have been proposed to construct radio…
This paper discusses a PhD research project testing the hypothesis that using the United Nations Sustainable Development Goals(SDG) as explicit inputs to drive the Software Requirements Engineering process will result in requirements with…
The Planet Hunting and Asteroseismology Explorer Spectrophotometer, PHASES, is a concept for a space-borne instrument to obtain flux calibrated spectra and measure micro-magnitude photometric variations of nearby stars. The science drivers…
Pseudospectral schemes are a class of numerical methods capable of solving smooth problems with high accuracy thanks to their exponential convergence to the true solution. When applied to discontinuous problems, such as fluid shocks and…
Spectropolarimetry, the observation of polarization and intensity as a function of wavelength, is a powerful tool in stellar astrophysics. It is particularly useful for characterizing stars and circumstellar material, and for tracing the…