English
Related papers

Related papers: Modular SAIL: dream or reality?

200 papers

The importance of embedded systems in driving innovation in automotive applications continues to grow. Understanding the specific needs of developers targeting this market is also helping to drive innovation in RISC core design. This paper…

Hardware Architecture · Computer Science 2011-11-09 Wayne Lyons

Efficient performance of a number of engineering systems is achieved through different modes of operation - yielding systems described as "hybrid", containing both real-valued and discrete decision variables. Prominent examples of such…

Optimization and Control · Mathematics 2019-10-22 Ehsan Taheri , John L. Junkins , Ilya Kolmanovsky , Anouck Girard

An established trend in software engineering insists on using components (sometimes also called services or packages) to encapsulate a set of related functionalities or data. By defining interfaces specifying what functionalities they…

Software Engineering · Computer Science 2015-07-29 Daniel Ricardo dos Santos , Silvio Ranise , Serena Elisa Ponta

Virtual Platforms (VPs) enable early software validation of autonomous systems' electronics, reducing costs and time-to-market. While many VPs support both functional and non-functional simulation (e.g., timing, power), they lack the…

Robust adaptive control methods are essential for maintaining quadcopter performance under external disturbances and model uncertainties. However, fragmented evaluations across tasks, simulators, and implementations hinder systematic…

Robotics · Computer Science 2025-10-07 Dingqi Zhang , Ran Tao , Sheng Cheng , Naira Hovakimyan , Mark W. Mueller

New model of software safety is offered. Distribution of mistakes in program on stages of life cycle is researched. Study of ways of increase of reliability of software at help simulation program is leaded.

Software Engineering · Computer Science 2008-07-02 Arkadiy Khandjian

Driven by inherent uncertainty and the sim-to-real gap, robust reinforcement learning (RL) seeks to improve resilience against the complexity and variability in agent-environment sequential interactions. Despite the existence of a large…

Machine Learning · Computer Science 2025-02-28 Shangding Gu , Laixi Shi , Muning Wen , Ming Jin , Eric Mazumdar , Yuejie Chi , Adam Wierman , Costas Spanos

Combinatorial design theory studies set systems with certain balance and symmetry properties and has applications to computer science and elsewhere. This paper presents a modular approach to formalising designs for the first time using…

Logic in Computer Science · Computer Science 2024-01-08 Chelsea Edmonds , Lawrence Paulson

The implied volatility surface (IVS) is a fundamental building block in computational finance. We provide a survey of methodologies for constructing such surfaces. We also discuss various topics which can influence the successful…

Computational Finance · Quantitative Finance 2011-07-12 Cristian Homescu

Developing an efficient method to accelerate the speed of molecular dynamics is a central theme in the field of molecular simulation. One category among the methods are collective-variable-based methods, which rely on predefined collective…

Chemical Physics · Physics 2024-08-27 Jiahao Fan , Yanze Wang , Dongdong Wang , Linfeng Zhang

In the near future, the development of autonomous driving will get more complex as the vehicles will not only rely on their own sensors but also communicate with other vehicles and the infrastructure to cooperate and improve the driving…

Robotics · Computer Science 2022-07-13 Harun Teper , Anggera Bayuwindra , Raphael Riebl , Ricardo Severino , Jian-Jia Chen , Kuan-Hsun Chen

The posit representation for real numbers is an alternative to the ubiquitous IEEE 754 floating-point standard. In this work, we present PERCIVAL, an application-level posit capable RISC-V core based on CVA6 that can execute all posit…

Hardware Architecture · Computer Science 2022-07-08 David Mallasén , Raul Murillo , Alberto A. Del Barrio , Guillermo Botella , Luis Piñuel , Manuel Prieto

This paper consider the problem of determining the reliability of a software system which can be decomposed in a number of modules. We have derived the expression of the reliability of a system using the Markovian model for the transfer of…

Applications · Statistics 2009-08-21 Rudrani Banerjee , Angshuman Sarkar

Imitation learning methods need significant human supervision to learn policies robust to changes in object poses, physical disturbances, and visual distractors. Reinforcement learning, on the other hand, can explore the environment…

Robotics · Computer Science 2024-11-26 Marcel Torne , Anthony Simeonov , Zechu Li , April Chan , Tao Chen , Abhishek Gupta , Pulkit Agrawal

To alleviate the substantial cost of manually crafting user interface (UI) test cases, UI test migration aims to automatically generate test cases for a target mobile application (app) by adapting those from a source app that shares similar…

Software Engineering · Computer Science 2024-09-23 Mengzhou Wu , Hao Wang , Jun Ren , Yuan Cao , Yuetong Li , Alex Jiang , Dezhi Ran , Yitao Hu , Wei Yang , Tao Xie

Simulation has played an important role in efficiently evaluating self-driving vehicles in terms of scalability. Existing methods mostly rely on heuristic-based simulation, where traffic participants follow certain human-encoded rules that…

Robotics · Computer Science 2022-08-10 Wei-Jer Chang , Yeping Hu , Chenran Li , Wei Zhan , Masayoshi Tomizuka

Full system "end-to-end" measurements in physical testbeds are the gold standard for network systems evaluation but are often not feasible. When physical testbeds are not available we frequently turn to simulation for evaluation.…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-07-07 Hejing Li , Jialin Li , Antoine Kaufmann

Robotic assembly is a longstanding challenge, requiring contact-rich interaction and high precision and accuracy. Many applications also require adaptivity to diverse parts, poses, and environments, as well as low cycle times. In other…

Recent efforts in open-source GPU research are opening new avenues in a domain that has long been tightly coupled with a few commercial vendors. Emerging open GPU architectures define SIMT functionality through their own ISAs, but executing…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-11-19 Shinnung Jeong , Chihyo Ahn , Huanzhi Pu , Jisheng Zhao , Hyesoon Kim , Blaise Tine

We present R software packages RobustIV and controlfunctionIV for causal inference with possibly invalid instrumental variables. RobustIV focuses on the linear outcome model. It implements the two-stage hard thresholding method to select…

Methodology · Statistics 2023-06-21 Taehyeon Koo , Youjin Lee , Dylan S. Small , Zijian Guo
‹ Prev 1 8 9 10 Next ›