Výsledky vyhľadávania - Theory of computation → Algorithm design techniques

GENESYS: A novel evolutionary program synthesis tool with continuous optimization Autor 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…”
Získať plný text

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

“… Internally, GASSERT implements a novel co-evolutionary algorithm that explores the space of possible assertions guided by two fitness functions that reward assertions with fewer false positives, fewer false negatives, and smaller size…”
Získať plný text

ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation Autor 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…”
Získať plný text

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

“… While some optimality results exist, e.g., the famous Threshold Algorithm, they hold only in a fairly limited model of computation that does not account for the cost incurred by large intermediate results and hence is not aligned…”
Zistit podrobnosti o prístupe

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

“… Combined with the effects of fake guideline electricity price, this paper focuses an on-line appliance scheduling design to protect customers' privacy in a cost-effective way, while taking…”
Získať plný text

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

“…Randomized algorithms have been used to successfully address many different types of software engineering problems…”
Získať plný text

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

“…Concolic execution and fuzzing are two complementary coverage-based testing techniques…”
Získať plný text

Leveraging Hybrid Classical-Quantum Methods for Efficient Load Rebalancing in HPC Autor 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…”
Získať plný text

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

“… We observe that the high time consumption of existing meta-heuristic algorithms is mainly due to the procedure of score computation…”
Získať plný text

On the automation of fixing software bugs Autor Arcuri, Andrea

“… Techniques to help the software developers for locating bugs exist though, and they take name of Automated Debugging…”
Získať plný text

Formal methods for semi-autonomous driving Autor 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 semi-autonomous vehicles…”
Získať plný text

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

“… We propose a formulation and two algorithms exploiting gate commutation rules to obtain a better circuit compiler…”
Získať plný text

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

“… In this paper, we present the design and implementation of an auto-vectorization framework in the back-end of a dynamic compiler that not only generates optimized vector code but is also well…”
Získať plný text

Any-k: Anytime Top-k Tree Pattern Retrieval in Labeled Graphs Autor Yang, Xiaofeng, Nicholson, Patrick K, Ajwani, Deepak, Riedewald, Mirek, Gatterbauer, Wolfgang, Sala, Alessandra

“…Many problems in areas as diverse as recommendation systems, social network analysis, semantic search, and distributed root cause analysis can be modeled as…”
Zistit podrobnosti o prístupe

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

“… highly productive design approaches. However, heterogeneity, interoperability, and the lack of formal semantic underpinning in modeling, integration, validation and optimization make design automation a big challenge, which becomes…”
Získať plný text

Joint automatic control of the powertrain and auxiliary systems to enhance the electromobility in hybrid electric vehicles Autor 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),…”
Získať plný text

Blocking unsafe behaviors in control systems through static and dynamic policy enforcement Autor 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…”
Získať plný text

A reduced-precision streaming SpMV architecture for Personalized PageRank on FPGA Autor Parravicini, Alberto, Sgherzi, Francesco, Santambrogio, Marco D.

“… to the Personalized PageR-ank algorithm, a common building block of recommender systems in e-commerce websites and social networks…”
Získať plný text

ETAHM: an energy-aware task allocation algorithm for heterogeneous multiprocessor Autor Chang, Po-Chun, Wu, I-Wei, Shann, Jyh-Jiun, Chung, Chung-Ping

“…In demand of more computing power and less energy use, multiprocessor with power management facility emerges in embedded system design recently…”
Získať plný text

Effective Lower Bounding Techniques for Pseudo-Boolean Optimization Autor Manquinho, Vasco M., Marques-Silva, Joao

“…Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA…”
Získať plný text