D Corradini, A Zampieri, M Pasqua… - Software Testing …, 2022 - Wiley Online Library
… , the matching algorithm adopts a relaxedapproach that … In this section, we discuss the experimentalresults obtained during … in a series of heuristics to automate input datageneration. …
… geometric multigrid with Jacobi relaxation gives neither mesh… both properties: use a relaxationmethod that solves simul… same relaxation, which we refer to as a vertex-star iteration, …
… data and task-irrelevant experimentaldata (see Methods for … genetic programming to iteratively evolve more performant … Finally, for tasks containing relaxed structures, we also test …
… the queue at each iteration, added to … approach in the experimentalresults previously reported. More recently, Lauer (2020) has introduced lifted heuristics based on the unary relaxation…
… For constrained generation, we combine automated … relaxation yt: During our beach vacation... fb: Include keywords; maintain coherence yt+1: .. beach vacation was filled with relaxation …
M Bauer, H Köstler, U Rüde - Journal of Computational Science, 2021 - Elsevier
… formalism of multi-relaxation-time methods. It includes the BGK operator and the popular two-relaxation-time method as special cases. With this approach lbmpy is able to generate all …
R Seidel, CKU Becker, S Bock… - Quantum Science …, 2023 - iopscience.iop.org
… . This optimal number of iterations yields the best measurement results. Thus, performing … Our approach is torelax the constraint of all outputs having the same phase. This does not …
… is torelax the desire to have p(x) ∝ R(x) and to use non-… Experimentalresults In Fig. 3 we show the empirical distribution of … Our empirical work situates itself in the context of automated …
… Our approach embeds black-box testing into an iterative … If spurious, the testresults are used to refine the surrogate … , most notably in automated code generation and early testing and …