ysora/stripenn-data-code: Data generation [PDF]
, 2022 <p>Code for data generation in stripenn paper.</p ...
Sora Yoon (윤소라)
core +1 more source
Event-B code generation: type extension with theories [PDF]
, 2012 The Event-B method is a formal modelling approach; our interest is the final step, of generating code for concurrent programs, from Event-B. Our Tasking Event-B tool integrates Event-B to facilitate code generation. The theory plug-in allows mathematical
Edmunds, Andrew +9 more
core +1 more source
Optimisations for quadrature representations of finite element tensors through automated code generation [PDF]
, 2009 We examine aspects of the computation of finite element matrices and vectors that are made possible by automated code generation. Given a variational form in a syntax that resembles standard mathematical notation, the low-level computer code for building
core +2 more sources
AI-Driven Automation for Transforming the Future of Software Development [PDF]
Iranian Journal of Information Processing & ManagementBackground: Artificial Intelligence (AI) has recently emerged as a transformative innovation within the software industry, disrupting conventional approaches to application development by automating tasks, refining code, and enhancing resource efficiency.
Laith S. Ismail +4 more
doaj +1 more source
Code generation = A* + BURS [PDF]
, 1996 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. The search algorithm uses a cost heuristic that is derived from the termrewrite system to direct the search.
Albert Nymeyer +3 more
openaire +2 more sources
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 +3 more
core +1 more source
DynaSim: A MATLAB Toolbox for Neural Modeling and Simulation
Frontiers in Neuroinformatics, 2018 DynaSim is an open-source MATLAB/GNU Octave toolbox for rapid prototyping of neural models and batch simulation management. It is designed to speed up and simplify the process of generating, sharing, and exploring network models of neurons with one or ...
Jason S. Sherfey +7 more
doaj +1 more source
Generalized AG Codes as Evaluation Codes [PDF]
, 2013 We extend the construction of GAG codes to the case of evaluation codes. We estimate the minimum distance of these extended evaluation codes and we describe the connection to the one-point GAG codes.
Calderini, Marco, Sala, Massimiliano
openaire +3 more sources
A grating-based OCDMA coding:decoding system incorporating a nonlinear optical loop mirror for improved code recognition and noise reduction [PDF]
, 2002 We demonstrate an elementary grating-based optical code division multiple access (OCDMA) code generation and recognition system incorporating a nonlinear optical loop mirror (NOLM) within the receiver.
Teh, P.C. +4 more
core +1 more source
Code Generation from UML Model: State of the Art and Practical Implications
Applied Computer Systems, 2013 The paper draws attention to the problem of code generation under advanced software development. In their previous publications the authors already discussed several issues associated with the inconsistency between the generated software components and ...
Bajovs Andrejs +2 more
doaj +1 more source