English
Related papers

Related papers: json2run: a tool for experiment design & analysis

200 papers

Autonomous driving has become an important research area in recent years, and the corresponding system creates an enormous demand for computations. Heterogeneous computing platforms such as systems-on-chip that combine CPUs with…

Machine Learning is a powerful tool to reveal and exploit correlations in a multi-dimensional parameter space. Making predictions from such correlations is a highly non-trivial task, in particular when the details of the underlying dynamics…

High Energy Physics - Phenomenology · Physics 2019-01-30 Christoph Englert , Peter Galler , Philip Harris , Michael Spannowsky

Advancements in scientific instrument sensors and connected devices provide unprecedented insight into ongoing experiments and present new opportunities for control, optimization, and steering. However, the diversity of sensors and…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-04 Jakob R. Elias , Ryan Chard , Maksim Levental , Zhengchun Liu , Ian Foster , Santanu Chaudhuri

Most large web-scale applications are now built by composing collections (from a few up to 100s or 1000s) of microservices. Operators need to decide how many resources are allocated to each microservice, and these allocations can have a…

Performance · Computer Science 2021-06-30 Michael Alan Chang , Aurojit Panda , Hantao Wang , Yuancheng Tsai , Rahul Balakrishnan , Scott Shenker

Meta-learning researchers face two fundamental issues in their empirical work: prototyping and reproducibility. Researchers are prone to make mistakes when prototyping new algorithms and tasks because modern meta-learning methods rely on…

Machine Learning · Computer Science 2020-08-31 Sébastien M. R. Arnold , Praateek Mahajan , Debajyoti Datta , Ian Bunner , Konstantinos Saitas Zarkias

An open-source vehicle testbed to enable the exploration of automation technologies for road vehicles is presented. The platform hardware and software, based on the Robot Operating System (ROS), are detailed. Two methods are discussed for…

Systems and Control · Computer Science 2020-10-13 Austin Costley , Chase Kunz , Ryan Gerdes , Rajnikant Sharma

This article presents the CODYRUN software developped by University of La R\'eunion. It is a multizone thermal software, with detailled airflow and humidity transfer calculations. One of its specific aspects is that it constitutes a…

Computational Engineering, Finance, and Science · Computer Science 2012-12-27 Harry Boyer , Alain Bastide , Alfred Jean Philippe Lauret

The development of autonomous aerial systems, particularly for multi-robot configurations, is a complex challenge requiring multidisciplinary expertise. Unlike ground robotics, aerial robotics has seen limited standardization, leading to…

We describe a system that simplifies the process of debugging programs produced by computer-aided parallelization tools. The system uses relative debugging techniques to compare serial and parallel executions in order to show where the…

Software Engineering · Computer Science 2007-05-23 Robert Hood , Gabriele Jost

There are many application fields for robotic systems including service robotics, search and rescue missions, industry and space robotics. As the scenarios in these areas grow more and more complex, there is a high demand for powerful tools…

Robotics · Computer Science 2016-05-31 Sebastian G. Brunner , Franz Steinmetz , Rico Belder , Andreas Dömel

Trajectory Planning is a crucial word in Modern & Advanced Robotics. It's a way of generating a smooth and feasible path for the robot to follow over time. The process primarily takes several factors to generate the path, such as velocity,…

Robotics · Computer Science 2024-07-19 Arunabh Bora

We present monaa, a monitoring tool over a real-time property specified by either a timed automaton or a timed regular expression. It implements a timed pattern matching algorithm that combines 1) features suited for online monitoring, and…

Formal Languages and Automata Theory · Computer Science 2018-10-23 Masaki Waga , Ichiro Hasuo , Kohei Suenaga

Managing data and code in open scientific research is complicated by two key problems: large datasets often cannot be stored alongside code in repository platforms like GitHub, and iterative analysis can lead to unnoticed changes to data,…

Digital Libraries · Computer Science 2023-11-10 Vince Buffalo

Developers often try to find occurrences of a certain term in a software system. Traditionally, a text search is limited to static source code files. In this paper, we introduce a simple approach, RuntimeSearch, where the given term is…

Software Engineering · Computer Science 2018-07-26 Matúš Sulír , Jaroslav Porubän

The dramatic growth of big datasets presents a new challenge to data storage and analysis. Data reduction, or subsampling, that extracts useful information from datasets is a crucial step in big data analysis. We propose an orthogonal…

Methodology · Statistics 2021-06-01 Lin Wang , Jake Elmstedt , Weng Kee Wong , Hongquan Xu

Runtime verification consists in observing and collecting the execution traces of a system and checking them against a specification, with the objective of raising an error when a trace does not satisfy the specification. We consider…

Logic in Computer Science · Computer Science 2025-11-04 Chana Weil-Kennedy , Darine Rammal , Christophe Gaston , Arnault Lapitre

This paper analyses the advantages of using a stock spring selection tool that manages the uncertainty of designer requirements. Firstly, the manual search and its main drawbacks are described. Then a computer assisted stock spring…

Artificial Intelligence · Computer Science 2022-08-09 Manuel Paredes , Marc Sartor , Cédric Masclet

Clustering is an unsupervised technique of Data Mining. It means grouping similar objects together and separating the dissimilar ones. Each object in the data set is assigned a class label in the clustering process using a distance measure.…

Information Retrieval · Computer Science 2011-10-13 Parul Agarwal , M. Afshar Alam , Ranjit Biswas

The second generation of Robotic Operating System, ROS 2, has gained much attention for its potential to be used for safety-critical robotic applications. The need to provide a solid foundation for timing correctness and scheduling…

Systems and Control · Electrical Eng. & Systems 2024-12-31 Hoora Sobhani , Hyunjong Choi , Hyoseung Kim

RA is a software package that couples machine learning with formal reasoning in an attempt to find the laws that generate the empirical data that it has been given access to. A brief outline of RA in its initial stage of development is…

Logic in Computer Science · Computer Science 2024-05-22 G. Pantelis