Results 21 to 30 of about 2,037,717 (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
Embedded Systems Development Tools: A MODUS-oriented Market Overview
Business Systems Research, 2014 Background: The embedded systems technology has perhaps been the most dominating technology in high-tech industries, in the past decade. The industry has correctly identified the potential of this technology and has put its efforts into exploring its ...
Loupis Michalis
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 +5 more
core +3 more sources
MAGNETOHYDRODYNAMIC EQUATIONS (MHD) GENERATION CODE
Revista de Matemática: Teoría y Aplicaciones, 2017 A program to generate codes in Fortran and C of the full magnetohydrodynamic equations is shown. The program uses the free computer algebra system software REDUCE. This software has a package called EXCALC, which is an exterior calculus program.
Francisco Frutos Alfaro +1 more
doaj +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 +4 more
doaj +1 more source
Automated Code Generation for Lattice Quantum Chromodynamics and beyond [PDF]
, 2013 We present here our ongoing work on a Domain Specific Language which aims to simplify Monte-Carlo simulations and measurements in the domain of Lattice Quantum Chromodynamics.
Barthou, Denis +8 more
core +4 more sources
Analysis of the Code Quality of Code Automatic Generation Tool Github Copilot [PDF]
Jisuanji kexueGithub 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
Code Generation for Efficient Query Processing in Managed Runtimes [PDF]
, 2014 In this paper we examine opportunities arising from the conver-gence of two trends in data management: in-memory database sys-tems (IMDBs), which have received renewed attention following the availability of affordable, very large main memory systems ...
Bierman, Gavin M. +2 more
core +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 +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