English
Related papers

Related papers: Detector Construction Management and Quality Contr…

200 papers

Widespread adoption of autonomous cars will require greater confidence in their safety than is currently possible. Certified control is a new safety architecture whose goal is two-fold: to achieve a very high level of safety, and to provide…

Integrated sensing and communication (ISAC) is a key feature of future cellular systems, enabling applications such as intruder detection, monitoring, and tracking using the same infrastructure. However, its potential for structural health…

Information Theory · Computer Science 2025-07-04 Jie Yang , Chao-Kai Wen , Xiao Li , Shi Jin

In this work, system monitoring and analysis are discussed in terms of their significance and benefits for operations and research in the field of high-performance computing (HPC). HPC systems deliver unique insights to computational…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-07-10 Florina M. Ciorba

Log analysis and monitoring are essential aspects in software maintenance and identifying defects. In particular, the temporal nature and vast size of log data leads to an interesting and important research question: How can logs be…

Software Engineering · Computer Science 2024-03-14 Rares Dolga , Ran Zmigrod , Rui Silva , Salwa Alamir , Sameena Shah

Crystalline interfaces are of highly importance in many practical applications. To conduct effective simulation and analysis for coincident site lattice (CSL) interfaces, effective programmes are of high demand in building their CSL…

Materials Science · Physics 2022-11-29 Yaoshu Xie , Kiyou Shibata , Teruyasu Mizoguchi

Construction frequently appears at the bottom of productivity charts with decreasing indexes of productivity over the years. Lack of innovation and delayed adoption, informal processes or insufficient rigor and consistency in process…

Human-Computer Interaction · Computer Science 2018-07-16 Ricardo Antunes , Mani Poshdar

Although there exist very accurate hardware systems for measuring traffic on the internet, their widespread use for analysis tasks is limited by their high cost. On the other hand, less expensive, software-based systems exist that are…

Networking and Internet Architecture · Computer Science 2009-07-31 Sean McPherson , Antonio Ortega

While the tracking detectors of the ATLAS and CMS experiments have shown excellent performance in Run 1 of LHC data taking, and are expected to continue to do so during LHC operation at design luminosity, both experiments will have to…

This paper presents the use of the CRISTAL software in the N4U project. CRISTAL was used to create a set of provenance aware analysis tools for the Neuroscience domain. This paper advocates that the approach taken in N4U to build the…

Databases · Computer Science 2016-01-20 Jetendr Shamdasani , Richard McClatchey , Andrew Branson , Zsolt Kovacs

Testing is a relevant activity for the development life-cycle of Safety Critical Embedded systems. In particular, much effort is spent for analysis and classification of test logs from SCADA subsystems, especially when failures occur. The…

Software Engineering · Computer Science 2014-05-14 Alessio Venticinque , Nicola Mazzocca , Salvatore Venticinque , Massimo Ficco

Collaborative Cyber-Physical Systems (CCPS) are systems that contain tightly coupled physical and cyber components, massively interconnected subsystems, and collaborate to achieve a common goal. The safety of a single Cyber-Physical System…

Software Engineering · Computer Science 2023-03-13 Manzoor Hussain , Nazakat Ali , Jang-Eui Hong

Developers perform online sensemaking on a daily basis, such as researching and choosing libraries and APIs. Prior research has introduced tools that help developers capture information from various sources and organize it into structures…

Software Engineering · Computer Science 2022-02-07 Michael Xieyang Liu , Aniket Kittur , Brad A. Myers

Data-driven methodologies for designing new materials are developing apace, yet advances for organic crystals have been infrequent. For organic crystals, the need to predict solid-state electronic properties from molecular structure alone…

Materials Science · Physics 2022-04-22 Daniel M. Packwood , Yu Kaneko , Daiji Ikeda , Mitsuru Ohno

The structure of component and connector (C&C) models, which are used in many application domains of software engineering, consists of components at different containment levels, their typed input and output ports, and the connectors…

Software Engineering · Computer Science 2014-06-30 Shahar Maoz , Jan Oliver Ringert , Bernhard Rumpe

Insufficient steel quality in mass production can cause extremely costly damage to tooling, production downtimes and low quality products. Automatic, fast and cheap strategies to estimate essential material properties for quality control,…

Machine Learning · Computer Science 2022-06-14 Michiel Straat , Kevin Koster , Nick Goet , Kerstin Bunte

With a total area of 210 squaremeters and about 15000 single silicon modules the silicon strip tracker of the CMS experiment at the LHC will be the largest silicon strip detector ever built. While the performance of the individual…

Instrumentation and Detectors · Physics 2019-08-14 Katja Klein

Background: Custom static analysis rules, i.e., rules specific for one or more applications, have been successfully applied to perform corrective and preventive software maintenance. Pattern-Driven Maintenance (PDM) is a method designed to…

Software Engineering · Computer Science 2021-11-19 Diogo Silveira Mendonça , Marcos Kalinowski

Over time, software systems suffer gradual quality decay and therefore costs can rise if organizations fail to take proactive countermeasures. Quality control is the first step to avoiding this cost trap. Continuous quality assessments help…

Software Engineering · Computer Science 2016-11-29 Florian Deissenboeck , Stefan Wagner , Markus Pizka , Benjamin Hummel , Elmar Juergens , Benedikt Mas y Parareda

Identifying vulnerabilities in source code is crucial, especially in critical software components. Existing methods such as static analysis, dynamic analysis, formal verification, and recently Large Language Models are widely used to detect…

In testing of software and Internet of Things (IoT) systems, one of necessary type of tests has to verify the consistency of data that are processed and stored in the system. The Data Cycle Test technique can effectively do such tests. The…

Software Engineering · Computer Science 2020-11-24 Miroslav Bures , Vaclav Rechtberger