中文
相关论文

相关论文: The TESLA Requirements Database

200 篇论文

Designing systems is typically uncertain and ambiguous at early stages. Set-based design supports alternative exploration and gradual uncertainty reduction during the early lifecycle, making it practical for complex systems design. In…

系统与控制 · 电气工程与系统科学 2026-05-19 Minghui Sun , Zhaoyang Chen , Georgios Bakirtzis , Hassan Jafarzadeh , Cody Fleming

Data discovery and preparation remain persistent bottlenecks in the data management lifecycle, especially when user intent is vague, evolving, or difficult to operationalize. The Pneuma Project introduces Pneuma-Seeker, a system that helps…

数据库 · 计算机科学 2026-01-08 Muhammad Imam Luthfi Balaka , Raul Castro Fernandez

A composable infrastructure is defined as resources, such as compute, storage, accelerators and networking, that are shared in a pool and that can be grouped in various configurations to meet application requirements. This freedom to 'mix…

分布式、并行与集群计算 · 计算机科学 2021-03-22 Kauotar El Maghraoui , Lorraine M. Herger , Chekuri Choudary , Kim Tran , Todd Deshane , David Hanson

Particle accelerator projects share many characteristics with industrial projects. However, experience has shown that best practice of industrial project management is not always well suited to particle accelerator projects. Major…

加速器物理 · 物理学 2018-01-12 P. Bonnal , B. Féral , K. Kershaw , B. Nicquevert , M. Baudin , L. Lari , J. Le Cardinal

Modern Deep Learning (DL) models have grown to sizes requiring massive clusters of specialized, high-end nodes to train. Designing such clusters to maximize both performance and utilization--to amortize their steep cost--is a challenging…

分布式、并行与集群计算 · 计算机科学 2024-03-15 Divya Kiran Kadiyala , Saeed Rashidi , Taekyung Heo , Abhimanyu Rajeshkumar Bambhaniya , Tushar Krishna , Alexandros Daglis

Labeled datasets are essential for supervised machine learning. Various data labeling tools have been built to collect labels in different usage scenarios. However, developing labeling tools is time-consuming, costly, and…

人机交互 · 计算机科学 2022-03-29 Yu Zhang , Yun Wang , Haidong Zhang , Bin Zhu , Siming Chen , Dongmei Zhang

Lack of diversity in data collection has caused significant failures in machine learning (ML) applications. While ML developers perform post-collection interventions, these are time intensive and rarely comprehensive. Thus, new methods to…

人机交互 · 计算机科学 2023-08-01 Aspen Hopkins , Fred Hohman , Luca Zappella , Xavier Suau Cuadros , Dominik Moritz

Numerous IoT applications, like building automation or process control of industrial sites, exist today. These applications inherently have a strong connection to the physical world. Hence, IT security threats cannot only cause problems…

密码学与安全 · 计算机科学 2018-05-09 Holger Kinkelin , Valentin Hauner , Heiko Niedermayer , Georg Carle

Using machine learning (ML) techniques in general and deep learning techniques in specific needs a certain amount of data often not available in large quantities in technical domains. The manual inspection of machine tool components and the…

计算机视觉与模式识别 · 计算机科学 2022-02-22 Tobias Schlagenhauf , Magnus Landwehr , Juergen Fleischer

Modern databases use dynamic search structures that store an enormous amount of data, and often serve them using multi-threaded algorithms to support the ever-increasing throughput needs. When this throughput need exceeds the capacity of…

分布式、并行与集群计算 · 计算机科学 2026-02-17 Raaghav Ravishankar , Sandeep Kulkarni , Sathya Peri , Gokarna Sharma

Big data management aims to establish data hubs that support data in multiple models and types in an all-around way. Thus, the multi-model database system is a promising architecture for building such a multi-model data store. For an…

数据库 · 计算机科学 2021-05-18 Yu Yan , Nan Jiang , Hongzhi Wang , Yutong Wang , Chang Liu , Yuzhuo Wang

Design of large software systems requires rigorous application of software engineering methods covering all phases of the software process. Debugging during the early design phases is extremely important, because late bug-fixes are…

软件工程 · 计算机科学 2007-05-23 Johann Schumann

As next generation e+e- linear collider the superconducting accelerator project TESLA has been proposed. In this note the physics potential goals of this project, which is highly complementary to LHC, are described.

高能物理 - 实验 · 物理学 2015-06-25 Klaus Moenig

User eXperience (UX) is becoming increasingly important for success of software products. Yet, many companies still face various challenges in their work with UX. Part of these challenges relate to inadequate knowledge and awareness of UX…

软件工程 · 计算机科学 2016-06-30 Pariya Kashfi , Robert Feldt , Agneta Nilsson , Richard Berntsson Svensson

Recent work on database application development platforms has sought to include a declarative formulation of a conceptual data model in the application code, using annotations or attributes. Some recent work has used metadata to include the…

数据库 · 计算机科学 2023-08-15 Malcolm Crowe , Fritz Laux

This paper identifies and tackles the challenges of the requirements engineering discipline when applied to development of AI-based complex systems. Due to their complex behaviour, there is an immanent need for a tailored development…

软件工程 · 计算机科学 2019-09-02 Hrvoje Belani , Marin Vuković , Željka Car

Machine Learning (ML) has been integrated into various software and systems. Two main components are essential for training an ML model: the training data and the ML algorithm. Given the critical role of data in ML system development, it…

软件工程 · 计算机科学 2025-08-27 Asma Yamani , Nadeen AlAmoudi , Salma Albilali , Malak Baslyman , Jameleddine Hassine

This paper proposes a federated framework for demand flexibility aggregation to support grid operations. Unlike existing geometric methods that rely on a static, pre-defined base set as the geometric template for aggregation, our framework…

系统与控制 · 电气工程与系统科学 2026-02-11 Yifan Dong , Ge Chen , Junjie Qin

Prior research in resource scheduling for machine learning training workloads has largely focused on minimizing job completion times. Commonly, these model training workloads collectively search over a large number of parameter values that…

分布式、并行与集群计算 · 计算机科学 2020-01-09 Richard Liaw , Romil Bhardwaj , Lisa Dunlap , Yitian Zou , Joseph Gonzalez , Ion Stoica , Alexey Tumanov

An issue limiting the adoption of model checking technologies by the industry is the ability, for non-experts, to express their requirements using the property languages supported by verification tools. This has motivated the definition of…

软件工程 · 计算机科学 2013-02-01 Nouha Abid , Silvano Dal Zilio , Didier Le Botlan