96 Hits in 1.3 sec

Type-Driven Automated Program Transformations and Cost Modelling for Optimising Streaming Programs on FPGAs

Wim Vanderbauwhede, Syed Waqar Nabi, Cristian Urlea
2018 International journal of parallel programming  
In this paper we present a novel approach to program optimisation based on compiler-based type-driven program transformations and a fast and accurate cost/performance model for the target architecture.  ...  Fig. 6 The Altera-OCL-TyBEC hybrid solution.  ...  Like Altera-OCL, Maxeler allows integration of custom HDL code into their HLS framework. The CPU implementation (cpu) is compiled with gfortran -Ofast.  ... 
doi:10.1007/s10766-018-0572-z fatcat:gqqcbzbqabg2vhrqcftgoo67qq

Translating ATL Model Transformations to Algebraic Graph Transformations [chapter]

Elie Richa, Etienne Borde, Laurent Pautet
2015 Lecture Notes in Computer Science  
They formalize and automate design decisions (e.g. optimisations), implementation strategies (e.g. code generation) or translations/synchronization between different model representations.  ...  Simulink CodeGen is a simplified version of an industrial Simulink to C code generator 5 .  ...  Though part of our translation is based on the one in [3] which is formally proven to be correct, our OCL subset is significantly wider preventing any direct claim of correctness of the complete translation  ... 
doi:10.1007/978-3-319-21155-8_14 fatcat:oflsnivhrvcwleidzx6tjcm3eu

transML: A Family of Languages to Model Model Transformations [chapter]

Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos
2010 Lecture Notes in Computer Science  
Moreover, following an MDE approach, we provide tools to partially automate the progressive refine-ment of models between the different phases and the generation of code for specific transformation implementation  ...  In order to check whether a certain set of rule diagrams fits a particular execution platform, we have created an OCL code generator (label "8") that, given a platform model (ETL in our case), synthesizes  ...  OCL constraints.  ... 
doi:10.1007/978-3-642-16145-2_8 fatcat:n522v43qrjgadjtox5vbd4vf2i

Specification-driven model transformation testing

Esther Guerra, Mathias Soeken
2013 Journal of Software and Systems Modeling  
Most approaches to the generation of input models ensure a certain coverage of the source meta-model or the transformation implementation code, whereas oracle functions are frequently defined using query  ...  The scheme of the generated OCL code is shown in Listing 3.  ...  The terms i1, i2 and i3 represent the OCL code generated from the corresponding invariant in the specification (i1 = ocl(I1), i2 = ocl(I2), i3 = ocl(I3)). 1 < not >?  ... 
doi:10.1007/s10270-013-0369-x fatcat:oia3pa3m75h6ze5v2hxv573pqa

Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels [chapter]

Hao Wu
2017 Lecture Notes in Computer Science  
Determining the consistency of a metamodel is a task of generating a metamodel instance that not only meets structural constraints but also constraints written in Object Constraint Language (OCL).  ...  This generator is approximately 2100 lines of Java code.  ...  Our implementation is approximately 7000 lines of Java code. Evaluation Forming Benchmark.  ... 
doi:10.1007/978-3-319-61482-3_11 fatcat:tm6m44o52nc2ffxd2busf6rmey

Backwards reasoning for model transformations: Method and applications

Robert Clarisó, Jordi Cabot, Esther Guerra, Juan de Lara
2016 Journal of Systems and Software  
The reasoning is based on a method that, given an OCL expression and a transformation rule, calculates a constraint that is satisfiable before the rule application if and only if the original OCL expression  ...  The OCL advancement procedure has been implemented in Java and distributed as an open source Eclipse plugin with the source code freely available in GitHub 3 .  ...  The work of [28] translates a limited subset of OCL to graph constraints, which could be used by these other works to synthesize local pre-conditions for rules.  ... 
doi:10.1016/j.jss.2015.08.017 fatcat:lx5pddzlivf5npplctrbjl74kq

Synthesis of behavioral models from scenarios

S. Uchitel, J. Kramer, J. Magee
2003 IEEE Transactions on Software Engineering  
What assumptions are made when synthesizing behavior models from multiple scenarios?  ...  The FSP code for the ATM component is at the top.  ...  However, before outputting the final FSP code, we apply some simple procedures for eliminating local processes with identical behavior.  ... 
doi:10.1109/tse.2003.1178048 fatcat:iotil6tlircnlel4cwxpydzrmq

Applied Metamodelling: A Foundation for Language Driven Development (Third Edition) [article]

Tony Clark, Paul Sammut, James Willans
2015 arXiv   pre-print
For example, the following platform properties may be taken into account: • Optimisation: improving one or more aspects of the efficiency of the resultant platform specific code, e.g. efficiency of memory  ...  As an example, the following mapping describes how some sub-expressions of OCL can be mapped into Java code.  ...  The operation uses the grammar defined above to synthesize a pair Seq{id-env} containing the event id and an environment of option-group variable bindings.  ... 
arXiv:1505.00149v1 fatcat:q5roihbyubes3bq2zxpkmlvcsa

Using type transformations to generate program variants for FPGA design space exploration

Syed Waqar Nabi, Wim Vanderbauwhede
2015 2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig)  
Our prototype compiler generates Verilog code for FPGA synthesis from a given IR description.  ...  Our aim is to create a parallelising compiler for high-performance scientific code on heterogeneous platforms, with a focus on Field-Programmable Gate Arrays (FPGAs).  ...  We then simulated and synthesized the equivalent HDL code. Table I shows their comparison.  ... 
doi:10.1109/reconfig.2015.7393365 dblp:conf/reconfig/NabiV15 fatcat:zl4thdo4ubgcxpr3ehzikgprji

Consistency Checking of Financial Derivatives Transactions [chapter]

Daniel Dui, Wolfgang Emmerich, Christian Nentwich, Bryan Thal
2003 Lecture Notes in Computer Science  
We have also compared xlinkit rules with OMG's Object Constraint Language (OCL) [23] . OCL was defined to declare constraints in UML diagrams or MOF meta models.  ...  OCL was not defined with an aim to be executable. In particular, it allows for infinite sets, which prevent efficient execution.  ... 
doi:10.1007/3-540-36557-5_14 fatcat:nwzi5njwk5aylbn3iwdiflperm

MOCAS: A State-Based Component Model for Self-Adaptation

Cyril Ballagny, Nabil Hameurlain, Franck Barbier
2009 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems  
Cette approche nécessite une forte instrumentation du code (sur l'exemple donné dans [93] , 19 lignes de code correspondent au code fonctionnel, 26 au code de l'adaptation).  ...  L'expression ocl ownedPort->forAll(p|...) teste si tous les ports requis du composants sont liés.  ... 
doi:10.1109/saso.2009.11 dblp:conf/saso/BallagnyHB09 fatcat:oboftlr2p5hh3ftqcx2jvnxfwm

Automatic Pipelining and Vectorization of Scientific Code for FPGAs

Syed Waqar Nabi, Wim Vanderbauwhede
2019 International Journal of Reconfigurable Computing  
Manual translation of such legacy code into device-specific parallel code requires significant manual effort and is a major obstacle to wider FPGA adoption.  ...  Our results show up to 4.2× performance improvement over baseline OpenCL code.  ...  We then apply a number of rewrite rules for map and fold based functional programs (broadly speaking equivalent to loop fusion or fission) to optimise the code. e third step involves the backend of our  ... 
doi:10.1155/2019/7348013 fatcat:rl2egxabvrcxjjyshlzaxgjwce

Reverse Engineering of Model Transformations for Reusability [chapter]

Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara
2014 Lecture Notes in Computer Science  
Then, we use this information to build a concept, that is, an interface optimised and customised to facilitate the reuse of the transformation.  ...  The right may include either elements of the bound meta-model or OCL expressions defined over the meta-model.  ... 
doi:10.1007/978-3-319-08789-4_14 fatcat:q72wo7gbpja75fkzafvmjl3mje

Concise synthesis of artemisinin from a farnesyl diphosphate analogue

Xiaoping Tang, Melodi Demiray, Thomas Wirth, Rudolf K. Allemann
2018 Bioorganic & Medicinal Chemistry  
We thank Ms Agata Pacula from Uniwersytet Mikołaja Kopernika, Poland, for assistance in optimising the SeO 2 oxidation of compound 11.  ...  The gene coding for amorphadiene synthase (ADS) from Artemisia annua was obtained from gene bank (JF951730).  ...  The following step was a selenium dioxide-catalysed oxidation at C12 of 11. 16 The reaction conditions for the allylic oxidation were optimised, but the yield was still moderate due to the instability  ... 
doi:10.1016/j.bmc.2017.03.068 pmid:28404524 pmcid:PMC5930831 fatcat:dagqin5y6bfp5endg5e73inojm

A Model-Based Transformation Process to Validate and Implement High-Integrity Systems

Gilles Lasnier, Laurent Pautet, Jerome Hugues
2011 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing  
We detail the benefits of this process to enhance analysis and code generation. This work has been integrated to the AADL-tool support OSATE2.  ...  that all abstractions are semantically consistent, remains an issue, e.g. when performing model checking for assessing safety, and then for schedulability using timed automata, and then when generating code  ...  Such visibility is mandatory for precise schedulability analysis, or to perform model or code optimisations based on buffer usage like in [13] . 5) AADL Behavior Annex Restrictions: The restrictions  ... 
doi:10.1109/isorc.2011.18 dblp:conf/isorc/LasnierPH11 fatcat:2hcjp4jg4vavtcdr62ao5kz3ge
« Previous Showing results 1 — 15 out of 96 results