code generator
Certifying an Automated Code Generator Using Formal Tools: Preliminary experiments in the GeneAuto project.
... Automated Code Generator which took place in the GeneAuto ...certified code generator guarantees that the correctness properties already proved on the model source code will still hold ...
11
AVIV : a retargetable code generator for embedded processors
... 4. The Aviv code generator receives the ISDL description of the target ASIP and the software component of the input application as input. It generates binary code t[r] ...
231
Gene-Auto: an Automatic Code Generator for a safe subset of Simulink/Stateflow and Scicos
... A code generator employing the model-driven engineering approach can give savings in the development time from two interrelated ...generated code can be suppressed. This is acceptable only if the ...
11
Leveraging metamorphic testing to automatically detect inconsistencies in code generator families
... 4.3. Application of our approach to other case studies To evaluate the effectiveness of our approach, we apply the same methodology to another case study (i.e., another code generator family), ThingML. As ...
26
Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems
... of code generators in a twofold fashion: for Java programmers on the one hand a dedicated API is ...code generator. Figure 4(b) shows an excerpt from the modeled Prism code generator ...
19
MACROTEX : a LATEX code generator in MACSYMA
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
28
Générateur de code multi-temps et optimisation de code multi-objectifs
... du code pour les GPU CUDA, deGoal génère dans la représentation intermédiaire PTX et donne la main à la bibliothèque CUDA pour la génération du noyau ...du code binaire est non ...
141
Explosion suppression with hybrid gas generator system
... The experimental results showed that an explosion in a compartment by a fuel spray would be a serious threat to any occupant in the compartment and would cause major damage to equipment. However, the deflagration-type ...
9
A design by example Regular Structure Generator
... After the compaction is completed, it is possible to build a new sample layout for the new technology and electrical constraints, from the new cell definitions of[r] ...
122
Line generator using binary rate multiplier techniques
... L’accès à ce site Web et l’utilisation de son contenu sont assujettis aux conditions présentées dans le site LISEZ CES CONDITIONS ATTENTIVEMENT AVANT D’UTILISER CE SITE WEB. Report (Nati[r] ...
23
Transient Thermoelectric Generator: An Active Load Story
... thermoelectric generator with a low internal resistance, and the very low electrical impedance at a certain frequency may be the reason why the conversion efficiency is much greater than the DC-operated ...tested ...
7
Stand-alone water current generator for OEB
... current generator to be used for different model tests in the Offshore Engineering Basin (OEB), such as, wave-current interaction, suppress of the wave heights of an incoming wave fields, ...
44
The asymmetrical spine : a generator of design
... If one considers European streets which generate a large level of pedes- trian activity, particularly successful commercial streets, in almost every case, such a street h[r] ...
58
An Optimization Method for Magnetic Field Generator
... CEA/LETI/DSYS Tel: 33 (0) 4 76 82 63 65, Email: cauffet@leg.ensieg.inpg.fr Abstract: We propose an optimization method to design an elongated three-axes magnetic field generator with given criteria specified over ...
9
Kinetostatic design of an innovative Schoenflies-motion generator
... onflies-Motion Generator (SMG), is capable of a special class of motions, namely, those produced with serial robots termed SCARA, an acronym for Selective-Compliance Assembly Robot ...
24
On the Variability Secrets of an Online Video Generator
... solution. Our conclusion – and the main lesson learned – is that defensive mechanisms should be considered and devel- oped to prevent such large-scale extraction of configurations. Future work. The main limitation of our ...
8
A stochastic daily weather generator for skewed data
... [ 22 ] Wind speed and precipitation are variables known to be difficult to model. To study the improvement brought by the introduction of multiple weather states, thirty additional simulations of 20 year length are also ...
16
PAGODE : a back-end generator for RISC machines
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
78
Du code aux modèles, des modèles au code: enseigner les langages dédiés (DSL)
... Enseigner les DSL: Codes & Modèles Laure Gonnord et Sébastien Mosser 4 Conclusion L'expérience d'enseignement décrite dans ce papier permet de démontrer une mise en oeuvre sur une courte durée d'un enseignement ...
5
A Certified Multi-prover Verification Condition Generator
... 1 Introduction Among the various classes of approaches to static verification of programs, the so-called deductive verification approach amounts to verifying that a program satisfies a given behavioral specification by ...
23