Resultados de búsqueda - Configurable programs

On Verifying Temporal Properties of Configurable Software por Dimovski, Aleksandar S

Citation/Abstract

Adapting Multi-objectivized Software Configuration Tuning por Chen, Tao

Citation/Abstract
Full text outside of ProQuest

Unlocking the Secrets of Software Configuration Landscapes-Ruggedness, Accessibility, Escapability, and Transferability por Huang, Mingyu

Citation/Abstract
Full text outside of ProQuest

Predicting Configuration Performance in Multiple Environments with Sequential Meta-learning por Gong, Jingzhi

Citation/Abstract
Full text outside of ProQuest

CADA: Configurable Architecture Design Automation Framework por Ling, Chenkai

Citation/Abstract
Full Text - PDF

Exploring Performance Trade-offs in JHipster por Guégain, Edouard

Citation/Abstract
Full text outside of ProQuest

Deep Configuration Performance Learning: A Systematic Survey and Taxonomy por Gong, Jingzhi

Citation/Abstract
Full text outside of ProQuest

IncomeSCM: From tabular data set to time-series simulator and causal estimation benchmark por Johansson, Fredrik D

Citation/Abstract
Full text outside of ProQuest

Navigating Expertise in Configurable Software Systems through the Maze of Variability por Milano, Karolina

Citation/Abstract
Full text outside of ProQuest

SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation por Caulfield, Adam

Citation/Abstract
Full text outside of ProQuest

Predicting Software Performance with Divide-and-Learn por Gong, Jingzhi

Citation/Abstract
Full text outside of ProQuest

Rethinking Performance Analysis for Configurable Software Systems: A Case Study from a Fitness Landscape Perspective por Huang, Mingyu

Citation/Abstract
Full text outside of ProQuest

Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times por Yıldıran, Necip Fazıl

Citation/Abstract
Full text outside of ProQuest

Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs por Shan, Shiwen

Citation/Abstract
Full text outside of ProQuest

Program Feature-Based Fuzzing Benchmarking por Miao, Miao

Citation/Abstract

Verified Configuration of Programmable Networks por Campbell, Eric Hayden

Citation/Abstract
Full Text - PDF

CPAchecker: A Tool for Configurable Software Verification por Beyer, Dirk

Citation/Abstract
Full text outside of ProQuest

Understanding Users' Mental Models of Flexibly Configurable Multi-Robot Systems por Bejarano, Alexandra

Citation/Abstract
Full Text - PDF

An efficient method to simulate wildfire propagation using irregular grids por Hackett, Conor

Citation/Abstract
Full Text
Full Text - PDF

Configurable kinetics of polarization switching via ion migration in ferroionic CuInP2S6

Citation/Abstract
Full Text - PDF