Results 21 to 30 of about 461,576 (313)
Automatic Acquisition of Annotated Training Corpora for Test-Code Generation
Information, 2019 Open software repositories make large amounts of source code publicly available. Potentially, this source code could be used as training data to develop new, machine learning-based programming tools.
Magdalena Kacmajor, John D. Kelleher
doaj +1 more source
PN2Maude: An automatic tool to generate Maude specification for Petri net models [PDF]
Computer Science Journal of Moldova, 2023 Currently, Model-Driven Engineering (MDE) plays a key role in the software development process as it aims to handle their increasing complexity and focuses on the automatic generation of code and/or specifications from system models.
Ammar Boucherit +3 more
doaj +1 more source
A Semi-Automatic Data–Scraping Method for the Public Transport Domain
IEEE Access, 2019 The growing amount of data on the Internet has led to a situation in which it is essential to process these data to generate new services with the specific aim of improving people's daily living conditions.
Belen Vela +3 more
doaj +1 more source
A Generic Annotation Inference Algorithm for the Safety Certification of Automatically Generated Code [PDF]
, 2006 Code generators for realistic application domains are not directly verifiable in practice. In the certifiable code generation approach the generator is extended to generate logical annotations (i.e., pre- and postconditions and loop invariants) along ...
Fischer, Bernd +3 more
core +1 more source
Generalized Silver Codes [PDF]
IEEE Transactions on Information Theory, 2011 For an $n_t$ transmit, $n_r$ receive antenna system ($n_t \times n_r$ system), a {\it{full-rate}} space time block code (STBC) transmits $n_{min} = min(n_t,n_r)$ complex symbols per channel use. The well known Golden code is an example of a full-rate, full-diversity STBC for 2 transmit antennas.
Srinath, Pavan K, Rajan, Sundar B
openaire +2 more sources
CoRR, 2023 A shorter version of this paper was presented in ITW ...
Ermes Franch +2 more
openaire +2 more sources
Tool support for semi-automatic modularization of existing code bases [PDF]
, 2009 Many component based systems and frameworks require the integration of external codes, for example, providing numerical functionalities. These numerical codes can be either sequential or parallelized, written in languages such as C, Fortran, Python, or ...
Seider, Doreen +5 more
core +1 more source
Model-Based Firmware Generation for Acquisition Systems Using Heterogeneous Hardware
Automation, 2022 High-performance sensing and control systems have an important role in Industry 4.0. However, with the current solutions, the development effort is high and requires specialized skills in electronic engineering.
Rens Baeyens +3 more
doaj +1 more source
Generalized Weights of Convolutional Codes
IEEE Transactions on Information Theory, 2023 In 1997 Rosenthal and York defined generalized Hamming weights for convolutional codes, by regarding a convolutional code as an infinite dimensional linear code endowed with the Hamming metric. In this paper, we propose a new definition of generalized weights of convolutional codes, that takes into account the underlying module structure of the code ...
Elisa Gorla, Flavio Salizzoni
openaire +2 more sources
Rapid Requirements Elicitation of Enterprise Applications Based on Executable Mockups
Applied Sciences, 2021 Software development begins with the requirements. Misunderstandings with customers in this early phase of development result in wasted development time.
Milorad Filipović +3 more
doaj +1 more source