Search Results - "Theory of computation Design and analysis of algorithms Algorithm design techniques"

GENESYS: A novel evolutionary program synthesis tool with continuous optimization by Mandal, Shantanu, Anderson, Todd A, Turek, Javier, Gottschlich, Justin, Muzahid, Abdullah

“…Automatic software generation based on some specification is known as program synthesis. Most existing approaches formulate program synthesis as a search…”
Get full text

ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation by Jiang, Xue, Dong, Yihong, Tao, Yongding, Liu, Huanyu, Jin, Zhi, Li, Ge

“…Large language models (LLMs) have achieved impressive performance in code generation recently, offering programmers revolutionary assistance in software…”
Get full text

GAssert: A Fully Automated Tool to Improve Assertion Oracles by Terragni, Valerio, Jahangirova, Gunel, Tonella, Paolo, Pezze, Mauro

“…This demo presents the implementation and usage details of GASSERT, the first tool to automatically improve assertion oracles. Assertion oracles are executable…”
Get full text

Privacy protection via appliance scheduling in smart homes by Jie Wu, Jinglan Liu, Hu, Xiaobo Sharon, Yiyu Shi

“…Smart grid, managed by intelligent devices, have demonstrated great potentials to help residential customers to optimally schedule and manage the appliances'…”
Get full text

Leveraging Hybrid Classical-Quantum Methods for Efficient Load Rebalancing in HPC by Zawalska, Justyna, Chung, Minh, Rycerz, Katarzyna, Schulz, Laura, Schulz, Martin, Kranzlmuller, Dieter

“…Load imbalance is a challenge for parallel applications in High Performance Computing (HPC). It is caused by processes having different execution times or load…”
Get full text

A practical guide for using statistical tests to assess randomized algorithms in software engineering by Arcuri, Andrea, Briand, Lionel

“…Randomized algorithms have been used to successfully address many different types of software engineering problems. This type of algorithms employ a degree of…”
Get full text

Optimal Join Algorithms Meet Top- k by Tziavelis, Nikolaos, Gatterbauer, Wolfgang, Riedewald, Mirek

“…have been studied intensively in the database community and they are an important means to reduce query cost when only the "best" or "most interesting" results…”
Get more information

LEGION: Best-First Concolic Testing by Liu, Dongge, Ernst, Gidon, Murray, Toby, Rubinstein, Benjamin I.P.

“…Concolic execution and fuzzing are two complementary coverage-based testing techniques. How to achieve the best of both remains an open challenge. To address…”
Get full text

On the automation of fixing software bugs by Arcuri, Andrea

“…Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing…”
Get full text

FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation by Lin, Jinkun, Cai, Shaowei, He, Bing, Fu, Yingjie, Luo, Chuan, Lin, Qingwei

“…Combinatorial interaction testing (CIT) is a popular approach to detecting faults in highly configurable software systems. The core task of CIT is to generate…”
Get full text

Formal methods for semi-autonomous driving by Seshia, Sanjit A., Sadigh, Dorsa, Sastry, S. Shankar

“…We give an overview of the main challenges in the specification, design, and verification of human cyber-physical systems, with a special focus on…”
Get full text

An Algorithm for Multi-robot Planning: SGInfiniteVI by Hamila, Mohamed Amine, Strugeon, Emmanuelle Grislin-le, Mandiau, Rene, Mouaddib, Abdel-Illah

“…In this paper we introduce an efficient path planning algorithm called SGInfiniteVI so the resulting path solution facilitates for robots the accomplishment of…”
Get full text

Bio-sequence database scanning on a GPU by Liu, Weiguo, Schmidt, Bertil, Voss, Gerrit, Schroder, Andre, Muller-Wittig, Wolfgang

“…Protein sequences with unknown functionality are often compared to a set of known sequences to detect functional similarities. Efficient dynamic programming…”
Get full text

Efficient Selection of Vector Instructions Using Dynamic Programming by Barik, Rajkishore, Jisheng Zhao, Sarkar, Vivek

“…Accelerating program performance via SIMD vector units is very common in modern processors, as evidenced by the use of SSE, MMX, VSE, and VSX SIMD instructions…”
Get full text

The challenge of interoperability: Model-based integration for automotive control software by Huafeng Yu, Joshi, Prachi, Talpin, Jean-Pierre, Shukla, Sandeep, Shiraishi, Shinichi

“…Model-Based Engineering (MBE) is a promising approach to cope with the challenges of designing the next-generation automotive systems. The increasing…”
Get full text

Joint automatic control of the powertrain and auxiliary systems to enhance the electromobility in hybrid electric vehicles by Yanzhi Wang, Xue Lin, Pedram, Massoud, Naehyuck Chang

“…Autonomous driving has become a major goal of automobile manufacturers and an important driver for the vehicular technology. Hybrid electric vehicles (HEVs),…”
Get full text

Improving locality of nonserial polyadic dynamic programming by Tan, Guangming, Sun, Ninghui, Bu, Dongbo

“…Dynamic programming (DP) is a commonly used technique for solving a wide variety of discrete optimization problems, which have different variants of dynamic…”
Get full text

Assignment scheduling capability for unmanned aerial vehicles: a discrete event simulation with optimization in the loop approach to solving a scheduling problem by Ahner, Darryl K., Buss, Arnold H., Ruck, John

“…Many military planning problems are difficult to solve using pure mathematical programming techniques. One such problem is scheduling unmanned aerial vehicles…”
Get full text

Quantum Circuit Compilers Using Gate Commutation Rules by Itoko, Toshinari, Raymond, Rudy, Imamichi, Takashi, Matsuo, Atsushi, Cross, Andrew W.

“…The use of noisy intermediate-scale quantum computers (NISQCs), which consist of dozens of noisy qubits with limited coupling constraints, has been increasing…”
Get full text

Blocking unsafe behaviors in control systems through static and dynamic policy enforcement by McLaughlin, Stephen

“…One of the most universally accepted practices in computer security is the use of security policy enforcement. Under a policy enforcement regime, users and…”
Get full text