English
Related papers

Related papers: Column Generation for Interaction Coverage in Comb…

200 papers

In this work, a graph partitioning problem in a fixed number of connected components is considered. Given an undirected graph with costs on the edges, the problem consists of partitioning the set of nodes into a fixed number of subsets with…

Optimization and Control · Mathematics 2024-11-12 Mishelle Cordero , Andrés Miniguano-Trujillo , Diego Recalde , Ramiro Torres , Polo Vaca

We consider joint caching, routing, and channel assignment for video delivery over coordinated small-cell cellular systems of the future Internet. We formulate the problem of maximizing the throughput of the system as a linear program in…

Networking and Internet Architecture · Computer Science 2016-05-31 Abdallah Khreishah , Jacob Chakareski , Ammar Gharaibeh

Unit testing is a critical part of software development process, ensuring the correctness of basic programming units in a program (e.g., a method). Search-based software testing (SBST) is an automated approach to generating test cases. SBST…

Software Engineering · Computer Science 2023-01-10 Zhichao Zhou , Yuming Zhou , Chunrong Fang , Zhenyu Chen , Yutian Tang

In recent years, the evolution of Telecom towards achieving intelligent, autonomous, and open networks has led to an increasingly complex Telecom Software system, supporting various heterogeneous deployment scenarios, with multi-standard…

Software Engineering · Computer Science 2024-04-16 Mohamad Nabeel , Doumitrou Daniil Nimara , Tahar Zanouda

Nowadays, deployment of distributed systems sets high requirements for procedures and tools for the complex testing of these systems - virtualization and cloud technologies make another level of system complexity. As a possible solution, it…

Software Engineering · Computer Science 2014-10-08 Andrey A. Shchurov

Mainstream software applications and tools are the configurable platforms with an enormous number of parameters along with their values. Certain settings and possible interactions between these parameters may harden (or soften) the security…

Software Engineering · Computer Science 2020-06-17 Shuvalaxmi Dass , Akbar Siami Namin

Telecommunication networks frequently face technological advancements and need to upgrade their infrastructure. Adapting legacy networks to the latest technology requires synchronized technicians responsible for migrating the equipment. The…

Optimization and Control · Mathematics 2023-05-11 Maryam Daryalal , Hamed Pouya

This paper introduces a bi-discriminator GAN for synthesizing tabular datasets containing continuous, binary, and discrete columns. Our proposed approach employs an adapted preprocessing scheme and a novel conditional term for the generator…

Register allocation (mapping variables to processor registers or memory) and instruction scheduling (reordering instructions to increase instruction-level parallelism) are essential tasks for generating efficient assembly code in a…

Programming Languages · Computer Science 2019-06-10 Roberto Castañeda Lozano , Christian Schulte

Open-ended text generation has become a prominent task in natural language processing due to the rise of powerful (large) language models. However, evaluating the quality of these models and the employed decoding strategies remains…

Computation and Language · Computer Science 2025-06-18 Esteban Garces Arias , Hannah Blocher , Julian Rodemann , Meimingwei Li , Christian Heumann , Matthias Aßenmacher

Sequential assembly with geometric primitives has drawn attention in robotics and 3D vision since it yields a practical blueprint to construct a target shape. However, due to its combinatorial property, a greedy method falls short of…

Computer Vision and Pattern Recognition · Computer Science 2020-11-26 Jungtaek Kim , Hyunsoo Chung , Jinhwi Lee , Minsu Cho , Jaesik Park

Combinatorial testing has been suggested as an effective method of creating test cases at a lower cost. However, industrially applicable tools for modeling and combinatorial test generation are still scarce. As a direct effect,…

Software Engineering · Computer Science 2018-06-12 Sara Ericsson , Eduard Enoiu

Generation of sample data for testing SQL queries has been an important task for many years, with applications such as testing of SQL queries used for data analytics and in application software, as well as student SQL queries. More…

Databases · Computer Science 2024-09-30 Sunanda Somwase , Parismita Das , S. Sudarshan

The problem of column subset selection has recently attracted a large body of research, with feature selection serving as one obvious and important application. Among the techniques that have been applied to solve this problem, the greedy…

Data Structures and Algorithms · Computer Science 2021-11-16 Jason Altschuler , Aditya Bhaskara , Gang Fu , Vahab Mirrokni , Afshin Rostamizadeh , Morteza Zadimoghaddam

Pen testing is the problem of selecting high-capacity resources when the only way to measure the capacity of a resource expends its capacity. We have a set of $n$ pens with unknown amounts of ink and our goal is to select a feasible subset…

Computer Science and Game Theory · Computer Science 2024-12-05 Aadityan Ganesh , Jason Hartline

A common practice in large language model (LLM) usage for complex analytical tasks such as code generation, is to sample a solution for the entire task within the model's context window. Previous works have shown that subtask decomposition…

Artificial Intelligence · Computer Science 2025-02-03 Yotam Wolf , Binyamin Rothberg , Dorin Shteyman , Amnon Shashua

In this paper, we provide a column generation-based approach for solving the airport flight-to-gate assignment problem, where the goal is to minimize the on-ground portion of arrival delays by optimally assigning each scheduled flight to a…

Optimization and Control · Mathematics 2021-05-07 Yijiang Li , John-Paul Clarke , Santanu Dey

Generative modeling has recently seen many exciting developments with the advent of deep generative architectures such as Variational Auto-Encoders (VAE) or Generative Adversarial Networks (GAN). The ability to draw synthetic i.i.d.…

Machine Learning · Computer Science 2021-02-19 Johan Leduc , Nicolas Grislain

Nowadays, ensuring the quality becomes challenging for most modern software systems when constraints are given for the combinations of configurations. Combinatorial interaction strategies can systematically reduce the number of test cases…

Software Engineering · Computer Science 2019-09-17 Imad H. Hasan , Bestoun S. Ahmed , Moayad Y. Potrus , Kamal Z. Zamli

Deployment of distributed systems sets high requirements for procedures and tools for the complex testing of these systems. This work introduces a formal four-layered model for test generation mission on the basis of the component-based…

Software Engineering · Computer Science 2014-10-08 Andrey A. Shchurov , Radek Marik
‹ Prev 1 4 5 6 7 8 10 Next ›