中文
相关论文

相关论文: SODA: A Semantics-Aware Optimization Framework for…

200 篇论文

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…

计算机视觉与模式识别 · 计算机科学 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…

计算工程、金融与科学 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

数据库 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

最优化与控制 · 数学 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…

编程语言 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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.…

分布式、并行与集群计算 · 计算机科学 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…

软件工程 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

计算机视觉与模式识别 · 计算机科学 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…

计算与语言 · 计算机科学 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…

性能 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

人工智能 · 计算机科学 2019-10-25 Yan Gao , Jian-Guang Lou , Dongmei Zhang