Results 21 to 30 of about 2,043,855 (291)

An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation [PDF]

, 2007
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version of spi2Java has been enhanced in order to enable interoperability of the ...
Pironti, Alfredo, Sisto, Riccardo
core   +1 more source

An analysis of tools for automatic software development and automatic code generation

Revista Facultad de Ingeniería Universidad de Antioquia, 2015
Software development is an important area in software engineering, which is why a wide range of techniques, methods, and approaches has emerged to facilitate software development automation.
Giner Alor-Hernández, Viviana Yarel Rosales-Morales, Jorge Luis García-Alcaráz, Ramón Zatarain-Cabada, María Lucía Barrón-Estrada   +4 more
doaj   +1 more source

Towards Generating Unit Test Codes Using Generative Adversarial Networks

Jurnal RESTI (Rekayasa Sistem dan Teknologi Informasi), 2022
Unit testing is one of the critical software development steps to ensure the software’s quality. Unit testing is often neglected despite its importance since it requires a significant amount of time and effort from the software developers to write them ...
Muhammad Johan Alibasa, Rizka Widyarini Purwanto, Yudi Priyadi, Rosa Reska Riskiana   +3 more
doaj   +1 more source

SALSA-TEXT : self attentive latent space based adversarial text generation

, 2018
Inspired by the success of self attention mechanism and Transformer architecture in sequence transduction and image generation applications, we propose novel self attention-based architectures to improve the performance of adversarial latent code- based ...
Gagnon-Marchand, Jules, Haidar, Md. Akmal, Rezagholizadeh, Mehdi, Sadeghi, Hamed   +3 more
core   +1 more source

GB code: A grain boundary generation code [PDF]

Journal of Open Source Software, 2018
Grain boundaries (GBs) are crystalline borders between single crystals in materials microstructure. They play an important role in mechanical, chemical or electronic response of materials and are therefore essential to materials science and physics.
R. Hadian, B. Grabowski, J. Neugebauer
openaire   +4 more sources

Analysis of the Code Quality of Code Automatic Generation Tool Github Copilot [PDF]

Jisuanji kexue
Github Copilot is a generative AI-based code auto-generation tool launched by Github and OpenAI in 2022.One of its core functions is to generate corresponding implementation code based on natural language annotations describing functions.This expansion ...
WANG Dongyu, MO Ran, ZHAN Wenjing, JIANG Yingjie
doaj   +1 more source

Semantic model-driven development of web service architectures. [PDF]

, 2008
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven development is a recent approach to developing software systems based on the idea
Pahl, Claus
core   +2 more sources

Auto-Selection of an Optimal Sparse Matrix Format in the Neuro-Simulator ANNarchy

Frontiers in Neuroinformatics, 2022
Modern neuro-simulators provide efficient implementations of simulation kernels on various parallel hardware (multi-core CPUs, distributed CPUs, GPUs), thereby supporting the simulation of increasingly large and complex biologically realistic networks ...
Helge Ülo Dinkelbach, Badr-Eddine Bouhlal, Julien Vitay, Fred H. Hamker   +3 more
doaj   +1 more source

Implementing Multi-Periodic Critical Systems: from Design to Code Generation [PDF]

, 2009
This article presents a complete scheme for the development of Critical Embedded Systems with Multiple Real-Time Constraints. The system is programmed with a language that extends the synchronous approach with high-level real-time primitives.
Claire Pagetti, David Lesens, Frédéric Boniol, Julien Forget, Manuela Bujorianu, Michael Fisher   +5 more
core   +3 more sources

Generalized concatenated quantum codes [PDF]

Physical Review A, 2009
We introduce the concept of generalized concatenated quantum codes. This generalized concatenation method provides a systematical way for constructing good quantum codes, both stabilizer codes and nonadditive codes. Using this method, we construct families of new single-error-correcting nonadditive quantum codes, in both binary and nonbinary cases ...
Grassl, Markus, Shor, Peter W., Smith, Graeme, Smolin, John, Zeng, Bei   +4 more
openaire   +3 more sources