English
Related papers

Related papers: The TESLA Requirements Database

200 papers

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…

Software Engineering · Computer Science 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.…

Databases · Computer Science 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…

Distributed, Parallel, and Cluster Computing · Computer Science 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…

High Energy Physics - Phenomenology · Physics 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…

Software Engineering · Computer Science 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)…

Programming Languages · Computer Science 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…

Networking and Internet Architecture · Computer Science 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…

Software Engineering · Computer Science 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…

Distributed, Parallel, and Cluster Computing · Computer Science 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,…

Software Engineering · Computer Science 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…

Databases · Computer Science 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…

Databases · Computer Science 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…

Cryptography and Security · Computer Science 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…

Chemical Physics · Physics 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…

Software Engineering · Computer Science 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…

Hardware Architecture · Computer Science 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),…

Databases · Computer Science 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…

Information Retrieval · Computer Science 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,…

Computer Vision and Pattern Recognition · Computer Science 2017-06-14 James Tompkin , Kwang In Kim , Hanspeter Pfister , Christian Theobalt