29,526 Hits in 5.9 sec

Domain-specific languages for embedded systems portable software development

Vera Ivanova, Boris Sedov, Yuriy Sheynin, Alexey Syschikov
2014 Proceedings of 16th Conference of Open Innovations Association FRUCT  
In this paper we present a new method of Domain Specific Language development for a portable software development for embedded systems.  ...  In a combination with a method for domain specific languages development it allows rapid building of an infrastructure for selected domains programming.  ...  ACKNOWLEDGMENT The research leading to these results has received funding from the Ministry of Education and Science of the Russian Federation under agreement n°14.575.21.0021.  ... 
doi:10.1109/fruct.2014.7000923 dblp:conf/fruct/IvanovaSSS14 fatcat:f3z6u6xe4rb63ahpj4zmkeniby

From a Formalized Parallel Action Language to Its Efficient Code Generation

Ivan Llopard, Christian Fabre, Albert Cohen
2017 ACM Transactions on Embedded Computing Systems  
We propose a modeling language extended with parallel action semantics and hierarchical indexed-state machines suitable for computationally intensive applications.  ...  However, they face two importants challenges when it comes to model data-intensive applications: no unified approach that also accounts for data-parallel actions; and no effective code optimization and  ...  This action language is parallel and specialized for parallel updates of object associations.  ... 
doi:10.1145/2990195 fatcat:debgncbufjewrhnwx3tc25ew5m

Algebraic Compilation of Safety-Critical Java Bytecode [chapter]

James Baxter, Ana Cavalcanti
2017 Lecture Notes in Computer Science  
In this paper, we contribute a formal specification of a bytecode interpreter for SCJ and an algebraic compilation strategy from Java bytecode to C.  ...  For the target C code, we adopt the compilation approach for icecap, the only SCJVM that is open source and up-to-date with the SCJ standard.  ...  We also thank Andy Wellings for his advice on SCJ and Leo Freitas for his help with the use of Z/EVES and understanding of icecap.  ... 
doi:10.1007/978-3-319-66845-1_11 fatcat:7hpkoolo7fdrzjeziluczqorwm

Support for data parallelism in the CAL actor language

Essayas Gebrewahid, Mehmet Ali Arslan, Andréas Karlsson, Zain Ul-Abdin
2016 Proceedings of the 3rd Workshop on Programming Models for SIMD/Vector Processing - WPMVP '16  
Our compilation framework makes it possible to program architectures with SIMD support using high-level language and provides efficient code generation.  ...  In this paper, we present an extension to our CAL compilation framework (CAL2Many) that supports data parallelism in the CAL Actor Language.  ...  Acknowledgments This work has been supported by grants from The Foundation for Strategic Research and the Swedish national strategic research program ELLIIT.  ... 
doi:10.1145/2870650.2870656 dblp:conf/ppopp/GebrewahidAKZ16 fatcat:fyskpgkrhbeiznq2arenqtywtm

Design and compilation of an object-oriented macroprogramming language for wireless sensor networks

Felix Jonathan Oppermann, Kay Romer, Luca Mottola, Gian Pietro Picco, Andrea Gaglione
2014 39th Annual IEEE Conference on Local Computer Networks Workshops  
We designed and implemented a compiler that translates MPL language into executable C code, which spares the overhead of a virtual machine.  ...  We modeled the syntax after Java, to make it more palatable to inexperienced embedded programmers. Compared to Java, we modified the language to enable efficient execution on WSN devices.  ...  ACKNOWLEDGMENT Special thanks go to Niclas Finne for his support of the implementation of the MPL language run-time and compiler and to Bengt-Ove Holländer for his significant assistance with the implementation  ... 
doi:10.1109/lcnw.2014.6927705 dblp:conf/lcn/OppermannRMPG14 fatcat:jwra4ifwjfbbrhhgsnnqgoboqa

Separate compilation for synchronous programs

Jens Brandt, Klaus Schneider
2009 Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems - SCOPES '09  
Second, we describe a compilation procedure for a typical imperative synchronous language to generate this intermediate format.  ...  This paper presents a compilation procedure allowing to separately compile modules of a synchronous language.  ...  Therefore, synchronous languages are well-suited for the design of safety-critical embedded systems that consist of application-specific hardware and software.  ... 
doi:10.1145/1543820.1543822 fatcat:dyjtesubrvgppmcjt63wb4y5zi

Saxo–rt: Interpreting Esterel Semantic on a Sequential Execution Structure

Etienne Closse, Michel Poize, Jacques Pulou, Patrick Venier, Daniel Weil
2002 Electronical Notes in Theoretical Computer Science  
The Saxo-rt compiler implements a original method for compiling the concurrent synchronous language Esterel into sequential C code.  ...  The method is optimized for embedded systems with very tight memory and real-time constraints and shows significant performance improvement on industrial size examples.  ...  the input parallel language.  ... 
doi:10.1016/s1571-0661(05)80443-8 fatcat:3holkykqhfbclhmq2ru7u3vzsa

Composition and Reuse with Compiled Domain-Specific Languages [chapter]

Arvind K. Sujeeth, Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Victoria Popic, Michael Wu, Aleksandar Prokopec, Vojin Jovanovic, Martin Odersky, Kunle Olukotun
2013 Lecture Notes in Computer Science  
However, developing DSLs is difficult, and using multiple DSLs together in a single application is even harder because existing compiled solutions do not compose together.  ...  We demonstrate new techniques to compose compiled DSLs embedded in a common backend together in a single program and show that generic optimizations can be applied across the different DSL sections.  ...  We are grateful to the anonymous reviewers for their detailed suggestions, to Nada Amin for her assistance with the Scala-Virtualized compiler, and to Peter Kessler and Zach DeVito for reviewing previous  ... 
doi:10.1007/978-3-642-39038-8_3 fatcat:i7dx3t7xjze7rls2cl2dmke7ue

Automated generation of an efficient MPEG-4 Reconfigurable Video Coding decoder implementation

Ruirui Gu, Jonathan Piat, Mickael Raulet, Jorn W. Janneck, Shuvra S. Bhattacharyya
2010 2010 Conference on Design and Architectures for Signal and Image Processing (DASIP)  
This design flow starts with the use of coarsegrain dataflow representations based on the CAL language, which is a complete language for dataflow programming of embedded systems.  ...  Our approach integrates previously developed techniques for detecting synchronous dataflow (SDF) regions within larger CAL networks, and exploiting the static structure of such regions using analysis tools  ...  There are also a number of high level languages targeting embedded systems. For example, StreamIt [16] is a programming language for high-performance streaming applications.  ... 
doi:10.1109/dasip.2010.5706274 dblp:conf/dasip/GuPRJB10 fatcat:dc2ui2ya3nh7rauukzi3rnnjme

Verifying Parallel Dataflow Transformations with Model Checking and its Application to FPGAs

Robert Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew Wallace
2019 Journal of systems architecture  
Software languages for which parallel transformation tools exist include Haskell [4] , Erlang [5] and C ++ [6] . Refactoring Embedded Systems Code.  ...  Dataflow languages are widely used for programming real-time embedded systems. They offer high level abstraction above hardware, and are amenable to program analysis and optimisation.  ...  ), and the Scottish Funding Council for a SICSA Postdoctoral and Early Career Researcher Exchanges grant.  ... 
doi:10.1016/j.sysarc.2019.101657 fatcat:rvjjt7yr5jgdhepbvqy5tfkljy


George Hadjiyiannis, Silvina Hanono, Srinivas Devadas
1997 Proceedings of the 34th annual conference on Design automation conference - DAC '97  
We present the Instruction Set Description Language, ISDL, a machine description language used to describe target architectures to a retargetable compiler.  ...  We have written a tool that, given an ISDL description of a processor, automatically generates an assembler for it. Ongoing work includes the development of an automatic code-generator generator.  ...  The machine description language is a critical component in the design flow and is the focus of this paper.  ... 
doi:10.1145/266021.266108 dblp:conf/dac/HadjiyiannisHD97 fatcat:pm4nhmoadrhezezgahy3ywor7q

Profile driven dataflow optimisation of mean shift visual tracking

Deepayan Bhowmik, Andrew Wallace, Robert Stewart, Xinyuan Qian, Greg Michaelson
2014 2014 IEEE Global Conference on Signal and Information Processing (GlobalSIP)  
Abstract-Profile guided optimisation is a common technique used by compilers and runtime systems to shorten execution runtimes and to optimise locality aware scheduling and memory access on heterogeneous  ...  We have implemented mean shift, a computer vision tracking algorithm, in the RVC-CAL dataflow language and use both dynamic runtime and static dataflow profiling mechanisms to identify and eliminate bottlenecks  ...  applications) and the Scottish Informatics and Computer Science Alliance sponsored internship through Scottish Resource Centre for Women.  ... 
doi:10.1109/globalsip.2014.7032066 dblp:conf/globalsip/BhowmikWSQM14 fatcat:u6ghnigfgnhqra2nabon3oumpy

Teaching cyber-physical systems

Kerstin Bauer, Klaus Schneider
2013 Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education - WESE '12  
Hybrid Systems embedded systems are application-specific computer systems that are integrated in physical systems cyber-physical systems are systems whose physical parts are tightly integrated with its  ...  embedded systems and/or information systems =⇒ cyber-physical system behaviors often include both continuous and discrete behaviors =⇒ hybrid systems =⇒ design of cyber-physical systems requires modeling  ...  drv(yn) <− tn; } until(σ); a flow statement describes a part of a continuous transition it lists the differential equations and a condition σ that defines the end of the continuous transition several flow  ... 
doi:10.1145/2530544.2530547 dblp:conf/esweek/Bauer012 fatcat:xjp6scgwcngkfkoks7spvvjaaq


João M.P. Cardoso, Tiago Carvalho, José G.F. Coutinho, Wayne Luk, Ricardo Nobre, Pedro Diniz, Zlatko Petrov
2012 Proceedings of the 11th annual international conference on Aspect-oriented Software Development - AOSD '12  
The development of applications for high-performance embedded systems is typically a long and error-prone process.  ...  We describe a novel AOP language, LARA, which allows the specification of compilation strategies to enable efficient generation of software code and hardware cores for alternative target architectures.  ...  The authors are grateful to the members of the REFLECT project for their support.  ... 
doi:10.1145/2162049.2162071 dblp:conf/aosd/CardosoCCLNDP12 fatcat:behse542qfdbjo64u4nk7hjz6e

Design Flow for GPU and Multicore Execution of Dynamic Dataflow Programs

J. Boutellier, T. Nyländen
2017 Journal of Signal Processing Systems  
Through the proposed design flow the programmer can describe an application in the RVC-CAL language and map it to multi-and many-core platforms, as well as GPUs, for efficient execution.  ...  This paper proposes a novel design flow for mapping RVC-CAL dataflow programs to parallel and heterogeneous execution platforms.  ...  The authors thank anonymous reviewers for their constructive comments. This work was funded by the Academy of Finland project UNICODE.  ... 
doi:10.1007/s11265-017-1260-8 fatcat:kuxrz5kkujhhhoros4bglbhihq
« Previous Showing results 1 — 15 out of 29,526 results