Suchergebnisse - Computing methodologies → Model verification and validation

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

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

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

Evaluating Terminology Translation in Machine Translation Systems via Metamorphic Testing von 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 …”
Volltext

Compositing for small cameras von 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 …”
Volltext

Elaborating Security Requirements by Construction of Intentional Anti-Models von 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 …”
Volltext

JouleTrack: a web based tool for software energy profiling von 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 …”
Volltext

Efficient large-scale power grid analysis based on preconditioned krylov-subspace iterative methods von 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 …”
Volltext

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

A data-driven generative model for GPS sensors for autonomous driving von 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 …”
Volltext

3 channel dependency-based power model for mobile AMOLED displays von 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 …”
Volltext

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

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

Bi-Criteria Models for All-Uses Test Suite Reduction von 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 …”
Volltext

Simulation in software engineering training von 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 …”
Volltext

Flexible Hardware Acceleration for Instruction-Grain Program Monitoring von 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 …”
Volltext

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

Using tagging to identify and organize concerns during pre-requirements analysis von 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 …”
Volltext

Model-independent differences von 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 …”
Volltext

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

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

Toward inverse generative social science using multi-objective genetic programming von 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 …”
Weitere Angaben