Výsledky vyhľadávania - Computing methodologies → Model verification and validation

VISLIX: An XAI Framework for Validating Vision Models with Slice Discovery and Analysis Autor Yan, Xinyuan, Xuan, Xiwei, Ono, Jorge Piazentin, Guo, Jiajing, Mohanty, Vikram, Kumar, Shekar Arvind, Gou, Liang, Wang, Bei, Ren, Liu

“… Despite its popularity and effectiveness, data slicing for vision model validation faces several challenges…”
Získať plný text

Exploiting learning and scenario-based specification languages for the verification and validation of highly automated driving Autor Damm, Werner, Galbas, Roland

“…We propose a series of methods based on learning key structural properties from traffic data-basis and on statistical model checking, ultimately leading to the construction of a scenario catalogue…”
Získať plný text

EI-MOR: A Hybrid Exponential Integrator and Model Order Reduction Approach for Transient Power/Ground Network Analysis Autor Wang, Cong, Yang, Dongen, Chen, Quan

“… To address this issue, in this work we first elucidate with mathematical proof that EI, when used together with the rational Krylov subspace, is equivalent to performing a moment-matching model order reduction (MOR…”
Získať plný text

Evaluating Terminology Translation in Machine Translation Systems via Metamorphic Testing Autor Xu, Yihui, Li, Yanhui, Wang, Jun, Zhang, Xiaofang

“…Machine translation has become an integral part of daily life, with terminology translation playing a crucial role in ensuring the accuracy of translation…”
Získať plný text

Compositing for small cameras Autor Klein, Georg, Murray, David

“… This paper describes a compositing method which models the artefacts produced by a small low-cost camera, and adds these effects to an ideal pinhole image produced by conventional rendering methods…”
Získať plný text

Elaborating Security Requirements by Construction of Intentional Anti-Models Autor van Lamsweerde, Axel

“…Caring for security at requirements engineering time is amessage that has finally received some attention recently.However, it is not yet very clear how to…”
Získať plný text

JouleTrack: a web based tool for software energy profiling Autor Sinha, Amit, Chandrakasan, Anantha P.

“…A software energy estimation methodology is presented that avoids explicit characterization of instruction energy consumption and pre-dicts energy consumption to within 3…”
Získať plný text

Efficient large-scale power grid analysis based on preconditioned krylov-subspace iterative methods Autor Chen, Tsung-Hao, Chen, Charlie Chung-Ping

“…In this paper, we propose preconditioned Krylov-subspace iterative methods to perform efficient DC and transient simulations for large-scale linear circuits…”
Získať plný text

A Comprehensive Memory Modeling Tool and Its Application to the Design and Analysis of Future Memory Hierarchies Autor Thoziyoor, Shyamkumar, Ahn, Jung Ho, Monchiero, Matteo, Brockman, Jay B., Jouppi, Norman P.

“… CACTI-D enables modeling of the complete memory hierarchy with consistent models all the way from SRAM based L1 caches through main memory DRAMs on DIMMs…”
Získať plný text

A data-driven generative model for GPS sensors for autonomous driving Autor Karlsson, Erik, Mohammadiha, Nasser

“… The main goal of this paper is to develop a solution to model GPS error that only requires information which is available in the vehicle without having access to detailed…”
Získať plný text

3 channel dependency-based power model for mobile AMOLED displays Autor Seongwoo Hong, Suk-Won Kim, Young-Jin Kim

“… To this end, an accurate power model for this type of display is needed. The prior work available in the literature did not consider the dependencies between the red, green, and blue (RGB…”
Získať plný text

Theme: An Approach for Aspect-Oriented Analysis and Design Autor Baniassad, Elisa, Clarke, Siobhan

“…Aspects are behaviours that are tangled and scatteredacross a system. In requirements documentation, aspectsmanifest themselves as descriptions of behaviours…”
Získať plný text

Bi-Criteria Models for All-Uses Test Suite Reduction Autor Black, Jennifer, Melachrinoudis, Emanuel, Kaeli, David

“… Usingthe all-uses interprocedural data flow testing criterion, twobinary integer linear programming models were evaluated,one a single-objective model, the other a weighted-sums bicriteriamodel…”
Získať plný text

Simulation in software engineering training Autor Drappa, Anke, Ludewig, Jochen

“… In this paper, the background and goals of the SESAM project are presented. A new simulation model, the so called QA model, is introduced…”
Získať plný text

Flexible Hardware Acceleration for Instruction-Grain Program Monitoring Autor Chen, Shimin, Kozuch, Michael, Strigkos, Theodoros, Falsafi, Babak, Gibbons, Phillip B., Mowry, Todd C., Ramachandran, Vijaya, Ruwase, Olatunji, Ryan, Michael, Vlachos, Evangelos

“…Instruction-grain program monitoring tools, which check and analyze executing programs at the granularity of individual instructions, are invaluable for…”
Získať plný text

The Fused Multiply-Add and Global Atmospheric Models: A Distributional Investigation into a Surprising Correctness Scenario Autor Price-Broncucia, Teo, Baker, Allison H., Duda, Michael

“…In a series of related works developing an ensemble consistency testing approach for multiple popular global climate models (GCMs…”
Získať plný text

Using tagging to identify and organize concerns during pre-requirements analysis Autor Ossher, Harold, Amid, David, Anaby-Tavor, Ateret, Bellamy, Rachel, Callery, Matt, Desmond, Michael, De Vries, Jackie, Fisher, Amit, Krasikov, Sophia, Simmonds, Ian, Swart, Cal

“…Before requirements analysis takes place in a business context, business analysis is usually performed. Important concerns emerge during this analysis that…”
Získať plný text

Model-independent differences Autor Konemann, Patrick

“…Computing differences (diffs) and merging different versions is well-known for text files, but for models it is a very young field - especially patches for models are still matter of research…”
Získať plný text

Estimating footprints of model operations Autor Jeanneret, Cédric, Glinz, Martin, Baudry, Benoit

“…When performed on a model, a set of operations (e.g., queries or model transformations…”
Získať plný text

Toward inverse generative social science using multi-objective genetic programming Autor Vu, Tuong Manh, Probst, Charlotte, Epstein, Joshua M, Brennan, Alan, Strong, Mark, Purshouse, Robin C

“…Generative mechanism-based models of social systems, such as those represented by agent-based simulations, require that intra-agent equations (or rules) be specified…”
Zistit podrobnosti o prístupe