Results 21 to 30 of about 2,090,361 (288)
Semantic code search via equational reasoning [PDF]
This artifact contains information needed to evaluate all claims in the paper. Specifically, it contains a Docker image and most sources, with: Yogo Test scripts configured to run Yogo on its benchmarks It further contains logs of previous runs of Yogo on the benchmarks, and scripts to analyze the results.
Premtoon, Varot +2 more
openaire +1 more source
Code Generation = A* + BURS [PDF]
A system called BURS that is based on term rewrite systems and a search algorithm A* are combined to produce a code generator that generates optimal code. The theory underlying BURS is re-developed, formalised and explained in this work.
Alblas, H. +4 more
core +6 more sources
Boosting Code Search with Structural Code Annotation
Code search is a process that takes a given query as input and retrieves relevant code snippets from a code base. The relationship between query and code is commonly built on code annotation, which is extracted from code comments or other documents.
Xianglong Kong +3 more
openaire +1 more source
CodeDSI: Differentiable Code Search
6 pages, 2 ...
Nadeem, Usama, Ziems, Noah, Wu, Shaoen
openaire +2 more sources
Code Search Based on Alteration Intent
Code search is to retrieve the method according to the user needs. Many people think of the query as the only one to reflect the user needs. So they start with the query and find the synonyms, semantically similar to the query terms, for query expansion.
Huaiguang Wu, Yang Yang
doaj +1 more source
Code search techniques return relevant code fragments given a user query. They typically work in a passive mode: given a user query, a static list of code fragments sorted by the relevance scores decided by a code search technique is returned to the user. A user will go through the sorted list of returned code fragments from top to bottom.
Wang, Shaowei +2 more
openaire +3 more sources
Cell search procedure is an essential and critical process in an early stage when the user equipment (UE) is powered on. It mainly comprises symbol and frame timing synchronization, frequency offset compensation, and base station (BS) identification ...
Jia-Le Yin +3 more
doaj +1 more source
Adaptable software tools for searching objects-analogues tasks in NO-CODE concept [PDF]
The paper is devoted to the problem of methodological and software support for the search of object analogues, performed when solving the problems of modelling and designing the development of oil and gas fields. The article shows that there is no single
Prozorova G.V.
doaj +1 more source
Simplifying Deep-Learning-Based Model for Code Search
To accelerate software development, developers frequently search and reuse existing code snippets from a large-scale codebase, e.g., GitHub. Over the years, researchers proposed many information retrieval (IR) based models for code search, which match ...
Hassan, Ahmed E. +5 more
core +1 more source
Low Complexity Golden Code Analytical and Deep Learning-Based Sphere-Decoders for High-Density M-QAM
In this paper, we develop low complexity Golden code sphere-decoding (SD) algorithms for high-density M-ary quadrature amplitude modulation (M-QAM). We define the high-density M-QAM as having modulation orders ( $M$ ) of at least 64, i.e.
Bhekisizwe Mthethwa, Hongjun Xu
doaj +1 more source

