中文
相关论文

相关论文: The TESLA Requirements Database

200 篇论文

Programs with constraints are hard to debug. In this paper, we describe a general architecture to help develop new debugging tools for constraint programming. The possible tools are fed by a single general-purpose tracer. A tracer-driver is…

软件工程 · 计算机科学 2007-05-23 Ludovic Langevine , Mireille Ducasse

Energy is a growing component of the operational cost for many "big data" deployments, and hence has become increasingly important for practitioners of large-scale data analysis who require scale-out clusters or parallel DBMS appliances.…

数据库 · 计算机科学 2012-08-10 Willis Lang , Stavros Harizopoulos , Jignesh M. Patel , Mehul A. Shah , Dimitris Tsirogiannis

The difficulty of deploying various deep learning (DL) models on diverse DL hardware has boosted the research and development of DL compilers in the community. Several DL compilers have been proposed from both industry and academia such as…

分布式、并行与集群计算 · 计算机科学 2021-05-26 Mingzhen Li , Yi Liu , Xiaoyan Liu , Qingxiao Sun , Xin You , Hailong Yang , Zhongzhi Luan , Lin Gan , Guangwen Yang , Depei Qian

In October 2000, the third PCaPAC (PCs and Particle Accelerator Controls) workshop took place at DESY. This paper presents a summary of the workshop. The workshop reviewed existing and new PC-based accelerator control systems, from…

高能物理 - 唯象学 · 物理学 2007-05-23 R. Bacher

Background: Distributed data-intensive systems are increasingly designed to be only eventually consistent. Persistent data is no longer processed with serialized and transactional access, exposing applications to a range of potential…

软件工程 · 计算机科学 2021-08-10 Susanne Braun , Stefan Deßloch , Eberhard Wolff , Frank Elberzhager , Andreas Jedlitschka

In this paper we argue that the data management community should devote far more effort to building data integration (DI) systems, in order to truly advance the field. Toward this goal, we make three contributions. First, we draw on our…

We describe a framework to support the implementation of web-based systems intended to manipulate data stored in relational databases. Since the conceptual model of a relational database is often specified as an entity-relationship (ER)…

编程语言 · 计算机科学 2020-02-19 Michael Hanus , Sven Koschnicke

The continuously increasing degree of automation in many areas (e.g. manufacturing engineering, public infrastructure) lead to the construction of cyber-physical systems and cyber-physical networks. To both, time and energy are the most…

网络与互联网体系结构 · 计算机科学 2019-05-29 Stefan Reif , Andreas Schmidt , Timo Hönig , Thorsten Herfet , Wolfgang Schröder-Preikschat

This article introduces a model-driven engineering (MDE) integrated development environment (IDE) for Data-Intensive Cloud Applications (DIA) with iterative quality enhancements. As part of the H2020 DICE project (ICT-9-2014, id 644869), a…

软件工程 · 计算机科学 2017-09-20 Marc Gil , Christophe Joubert , Ismael Torres

We present our approach for deploying and managing distributed component-based applications. A Desired State Description (DSD), written in a high-level declarative language, specifies requirements for a distributed application. Our…

分布式、并行与集群计算 · 计算机科学 2010-06-18 Andrew McCarthy , Alan Dearle , Graham Kirby

Machine learning (ML) teams often work on a project just to realize the performance of the model is not good enough. Indeed, the success of ML-enabled systems involves aligning data with business problems, translating them into ML tasks,…

软件工程 · 计算机科学 2022-06-22 Hugo Villamizar , Marcos Kalinowski , Helio Lopes

Spatiotemporal data play a key role for mobility-based applications and are their produced volume is growing continuously, among others, due to the increased availability of IoT devices. When working with spatiotemporal data, developers…

数据库 · 计算机科学 2025-10-23 Tim C. Rese , David Bermbach

The article addresses the problem of storing data in extreme environmental conditions with limited computing resources and memory. There is a requirement to create portable, fault-tolerant, modular database management systems (DBMS) that…

数据库 · 计算机科学 2025-05-23 Nikolay Fot , Alexander Vinarsky

We propose LazyLedger, a design for distributed ledgers where the blockchain is optimised for solely ordering and guaranteeing the availability of transaction data. Responsibility for executing and validating transactions is shifted to only…

密码学与安全 · 计算机科学 2019-06-11 Mustafa Al-Bassam

Machine learning (ML)-accelerated discovery requires large amounts of high-fidelity data to reveal predictive structure-property relationships. For many properties of interest in materials discovery, the challenging nature and high cost of…

化学物理 · 物理学 2021-11-04 Aditya Nandy , Chenru Duan , Heather J. Kulik

Reliable and fast builds are essential for rapid turnaround during development and testing. Popular existing build systems rely on correct manual specification of build dependencies, which can lead to invalid build outputs and…

软件工程 · 计算机科学 2012-03-14 Derrick Coetzee , Anand Bhaskar , George Necula

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…

硬件体系结构 · 计算机科学 2011-11-09 Wayne Lyons

This is Part II of a three article series on using databases for Finite Element Analysis (FEA). It discusses (1) db design, (2) data loading, (3) typical use cases during grid building, (4) typical use cases during simulation (get and put),…

数据库 · 计算机科学 2007-05-23 Gerd Heber , Jim Gray

Entity information network is used to describe structural relationships between entities. Taking advantage of its extension and heterogeneity, entity information network is more and more widely applied to relationship modeling. Recent…

信息检索 · 计算机科学 2017-10-11 Liang Yin , Li-Chen Shi , Jun-Yan Zhao , Song-Yang Du , Wen-Bo Xie , Duan-Bing Chen

Large databases are often organized by hand-labeled metadata, or criteria, which are expensive to collect. We can use unsupervised learning to model database variation, but these models are often high dimensional, complex to parameterize,…

计算机视觉与模式识别 · 计算机科学 2017-06-14 James Tompkin , Kwang In Kim , Hanspeter Pfister , Christian Theobalt