Search Results - Computing methodologies → Model verification and validation

VISLIX: An XAI Framework for Validating Vision Models with Slice Discovery and Analysis by 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…”
Get full text

Exploiting learning and scenario-based specification languages for the verification and validation of highly automated driving by 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…”
Get full text

EI-MOR: A Hybrid Exponential Integrator and Model Order Reduction Approach for Transient Power/Ground Network Analysis by 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…”
Get full text

Evaluating Terminology Translation in Machine Translation Systems via Metamorphic Testing by 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…”
Get full text

Compositing for small cameras by 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…”
Get full text

Elaborating Security Requirements by Construction of Intentional Anti-Models by 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…”
Get full text

JouleTrack: a web based tool for software energy profiling by 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…”
Get full text

Efficient large-scale power grid analysis based on preconditioned krylov-subspace iterative methods by 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…”
Get full text

A Comprehensive Memory Modeling Tool and Its Application to the Design and Analysis of Future Memory Hierarchies by 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…”
Get full text

A data-driven generative model for GPS sensors for autonomous driving by 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…”
Get full text

3 channel dependency-based power model for mobile AMOLED displays by 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…”
Get full text

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

“…Aspects are behaviours that are tangled and scatteredacross a system. In requirements documentation, aspectsmanifest themselves as descriptions of behaviours…”
Get full text

Bi-Criteria Models for All-Uses Test Suite Reduction by 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…”
Get full text

Simulation in software engineering training by 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…”
Get full text

Flexible Hardware Acceleration for Instruction-Grain Program Monitoring by 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…”
Get full text

The Fused Multiply-Add and Global Atmospheric Models: A Distributional Investigation into a Surprising Correctness Scenario by 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…”
Get full text

Using tagging to identify and organize concerns during pre-requirements analysis by 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…”
Get full text

Model-independent differences by 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…”
Get full text

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

“…When performed on a model, a set of operations (e.g., queries or model transformations…”
Get full text

Toward inverse generative social science using multi-objective genetic programming by 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…”
Get more information