English
Related papers

Related papers: SODA: A Semantics-Aware Optimization Framework for…

200 papers

Supervised deep learning requires massive labeled datasets, but obtaining annotations is not always easy or possible, especially for dense tasks like semantic segmentation. To overcome this issue, numerous works explore Unsupervised Domain…

Computer Vision and Pattern Recognition · Computer Science 2024-12-02 Daniel Morales-Brotons , Grigorios Chrysos , Stratis Tzoumas , Volkan Cevher

Hydra is a full-scale industrial CFD application used for the design of turbomachinery at Rolls Royce plc. It consists of over 300 parallel loops with a code base exceeding 50K lines and is capable of performing complex simulations over…

Computational Engineering, Finance, and Science · Computer Science 2017-09-08 István Z. Reguly , Gihan R. Mudalige , Carlo Bertolli , Michael B. Giles , Adam Betts , Paul H. J. Kelly , David Radford

Semi-Supervised Domain Adaptation (SSDA) leverages knowledge from a fully labeled source domain to classify data in a partially labeled target domain. Due to the limited number of labeled samples in the target domain, there can be intrinsic…

Computer Vision and Pattern Recognition · Computer Science 2026-01-28 Yuting Hong , Li Dong , Xiaojie Qiu , Hui Xiao , Baochen Yao , Siming Zheng , Chengbin Peng

Modern Hybrid Transactional/Analytical Processing (HTAP) systems use an integrated data processing engine that performs analytics on fresh data, which are ingested from a transactional engine. HTAP systems typically consider data freshness…

Databases · Computer Science 2020-04-15 Aunn Raza , Periklis Chrysogelos , Angelos Christos Anadiotis , Anastasia Ailamaki

Semantic segmentation plays a critical role in enabling intelligent vehicles to comprehend their surrounding environments. However, deep learning-based methods usually perform poorly in domain shift scenarios due to the lack of labeled data…

Computer Vision and Pattern Recognition · Computer Science 2024-01-18 Weihao Yan , Yeqiang Qian , Xingyuan Chen , Hanyang Zhuang , Chunxiang Wang , Ming Yang

We extend the definition of a Stochastic Hybrid Automaton (SHA) to overcome limitations that make it difficult to use for on-line control. Since guard sets do not specify the exact event causing a transition, we introduce a clock structure…

Optimization and Control · Mathematics 2012-03-26 Ali Kebarighotbi , Christos G. Cassandras

We present Soda (Symbolic Objective Descriptive Analysis), a language that helps to treat qualities and quantities in a natural way and greatly simplifies the task of checking their correctness. We present key properties for the language…

Programming Languages · Computer Science 2024-11-21 Julian Alfredo Mendez

As HPC systems grow in complexity, efficient and manageable operation is increasingly critical. Many centers are thus starting to explore the use of Operational Data Analytics (ODA) techniques, which extract knowledge from massive amounts…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-06-29 Alessio Netti , Michael Ott , Carla Guillen , Daniele Tafani , Martin Schulz

With the emergence of large-scale data-intensive high-performance applications, new I/O challenges appear in the efficient management of petabytes of information in High-Performance Computing (HPC) environments. Data management environments…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-17 Neda Tavakoli , Yong Chen

Big data analytics requires high programmer productivity and high performance simultaneously on large-scale clusters. However, current big data analytics frameworks (e.g. Apache Spark) have prohibitive runtime overheads since they are…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-04-12 Ehsan Totoni , Todd A. Anderson , Tatiana Shpeisman

Online data-intensive services parallelize query execution across distributed software components. Interactive response time is a priority, so online query executions return answers without waiting for slow running components to finish.…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-06-18 Jaimie Kelley , Christopher Stewart , Nathaniel Morris , Devesh Tiwari , Yuxiong He , Sameh Elnikety

Energy efficiency can have a significant influence on user experience of mobile devices such as smartphones and tablets. Although energy is consumed by hardware, software optimization plays an important role in saving energy, and thus…

Software Engineering · Computer Science 2016-08-19 Xueliang Li , John P. Gallagher

Data movement between main memory and the CPU is a major bottleneck in parallel data-intensive applications. In response, researchers have proposed using compilers and intermediate representations (IRs) that apply optimizations such as loop…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-09-20 Shoumik Palkar , Matei Zaharia

Autonomous agents for Graphical User Interfaces (GUIs) face significant challenges in specialized domains such as scientific computing, where both long-horizon planning and precise execution are required. Existing approaches suffer from a…

Computer Vision and Pattern Recognition · Computer Science 2025-08-28 Zeyi Sun , Yuhang Cao , Jianze Liang , Qiushi Sun , Ziyu Liu , Zhixiong Zhang , Yuhang Zang , Xiaoyi Dong , Kai Chen , Dahua Lin , Jiaqi Wang

Representing a control system as a Service-Oriented Architecture (SOA)-referred to as Service-Oriented Model-Based Control (SOMC)-enables runtime-flexible composition of control loop elements. This paper presents a framework that optimizes…

Systems and Control · Electrical Eng. & Systems 2026-01-26 Hazem Ibrahim , Julius Beerwerth , Lorenz Dörschel , Bassam Alrifaee

The supervised training of deep networks for semantic segmentation requires a huge amount of labeled real world data. To solve this issue, a commonly exploited workaround is to use synthetic data for training, but deep networks show a…

Computer Vision and Pattern Recognition · Computer Science 2020-03-13 Marco Toldo , Umberto Michieli , Gianluca Agresti , Pietro Zanuttigh

The construction of Supervised Fine-Tuning (SFT) datasets is a critical yet under-theorized stage in the post-training of Large Language Models (LLMs), as prevalent practices often rely on heuristic aggregation without a systematic…

Computation and Language · Computer Science 2026-01-16 Xin Gao , Xiaoyang Wang , Yun Zhu , Mengzhang Cai , Conghui He , Lijun Wu

Heterogeneous parallel systems are widely spread nowadays. Despite their availability, their usage and adoption are still limited, and even more rarely they are used to full power. Indeed, compelling new technologies are constantly…

Performance · Computer Science 2015-11-23 Baptiste Delporte , Roberto Rigamonti , Alberto Dassatti

Mobile platforms must satisfy the contradictory requirements of fast response time and minimum energy consumption as a function of dynamically changing applications. To address this need, system-on-chips (SoC) that are at the heart of these…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-24 Sumit K. Mandal , Ganapati Bhat , Janardhan Rao Doppa , Partha Pratim Pande , Umit Y. Ogras

This paper presents a novel approach to translating natural language questions to SQL queries for given tables, which meets three requirements as a real-world data analysis application: cross-domain, multilingualism and enabling…

Artificial Intelligence · Computer Science 2019-10-25 Yan Gao , Jian-Guang Lou , Dongmei Zhang