Suchergebnisse - Embedded Programming Language

  1. 1

    The Kansas University rewrite engine: A Haskell-Embedded Strategic Programming Language with Custom Closed Universes von SCULTHORPE, NEIL, FRISBY, NICOLAS, GILL, ANDY

    ISSN: 0956-7968, 1469-7653
    Veröffentlicht: Cambridge Cambridge University Press 01.07.2014
    Veröffentlicht in Journal of functional programming (01.07.2014)
    “… The Kansas University Rewrite Engine (KURE) is a typed strategic programming language, implemented as a Haskell-embedded domain-specific language …”
    Volltext
    Journal Article
  2. 2

    BHDL: A Lucid, Expressive, and Embedded Programming Language and System for PCB Designs von Li, Hebi, He, Youbiao, Xiao, Qi, Tian, Jin, Bao, Forrest Sheng

    Veröffentlicht: IEEE 05.12.2021
    “… As an embedded Domain Specific Language (eDSL), BHDL allows users to leverage the full feature of the host language for customization and extension …”
    Volltext
    Tagungsbericht
  3. 3

    Giotto: a time-triggered language for embedded programming von Henzinger, T.A., Horowitz, B., Kirsch, C.M.

    ISSN: 0018-9219, 1558-2256
    Veröffentlicht: New York, NY IEEE 01.01.2003
    Veröffentlicht in Proceedings of the IEEE (01.01.2003)
    “… Giotto provides an abstract programmer's model for the implementation of embedded control systems with hard real-time constraints …”
    Volltext
    Journal Article
  4. 4

    THE PROGRAMMING LANGUAGE FOR EMBEDDED REAL-TIME DEVICES WITH REDUCING ERRORS AND WITHOUT REDUCING THE PERFORMANCE OF PROGRAMS von Shmalko, Oleksii, Rehida, Pavlo, Volokyta, Artem, Loutskii, Heorhii, Thinh, Vu Duc

    ISSN: 2312-4121, 2411-2976
    Veröffentlicht: National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute” 28.12.2018
    Veröffentlicht in Information and Telecommunication Sciences (28.12.2018)
    “… Background. C or C ++ languages are most commonly used for programming of embedded systems …”
    Volltext
    Journal Article
  5. 5

    Measuring the Execution Time of Programs from different Android Embedded Programming Languages von Filho, Ricardo Miranda, Bonfim, Ricardo, Pessoa, Larissa, Barreto, Raimundo, de Freitas, Rosiane

    ISSN: 2771-5752
    Veröffentlicht: IEEE 12.08.2024
    “… This study conducts a comparative analysis of the performance of different programming languages on Android embedded systems, focusing on execution time …”
    Volltext
    Tagungsbericht
  6. 6

    A survey of embedded systems programming languages von Maurer, S.S.

    ISSN: 0278-6648, 1558-1772
    Veröffentlicht: New York IEEE 01.04.2002
    Veröffentlicht in IEEE potentials (01.04.2002)
    “… A programming language specifically designed for embedded systems must be designed to create extremely reliable source code …”
    Volltext
    Journal Article
  7. 7
  8. 8

    ALLI/O Diagram: An Action-based Visual Programming Language for Embedded System von Narkthong, Nuntipat, Jariyavajee, Chattriya, Xu, Xiaolin

    ISSN: 1943-6106
    Veröffentlicht: IEEE 02.09.2024
    “… This paper introduces ALLI/O Diagram, an action-based visual programming language for embedded system programming used by the ALLI/O IDE …”
    Volltext
    Tagungsbericht
  9. 9

    Real-Time GPIO Performance of Modern Programming Languages for Embedded Linux Application Development von Radai, Ronald, Kovacshazy, Tamas

    Veröffentlicht: IEEE 19.05.2025
    “… access semantics using relevant programming models, languages and GPIO access kernel support solutions. The investigation is done on the TI AM62x System on Chip …”
    Volltext
    Tagungsbericht
  10. 10

    Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices von Gaglio, Salvatore, Lo Re, Giuseppe, Martorella, Gloria, Peri, Daniele

    ISSN: 1424-8220, 1424-8220
    Veröffentlicht: Switzerland MDPI AG 26.12.2020
    Veröffentlicht in Sensors (Basel, Switzerland) (26.12.2020)
    “… We propose a methodology to verify applications developed following programming patterns inspired by natural language that interact with physical environments and run on resource-constrained interconnected devices …”
    Volltext
    Journal Article
  11. 11

    Verified low-level programming embedded in F von Protzenko, Jonathan, Zinzindohoué, Jean-Karim, Rastogi, Aseem, Ramananandro, Tahina, Wang, Peng, Zanella-Béguelin, Santiago, Delignat-Lavaud, Antoine, Hriţcu, Cătălin, Bhargavan, Karthikeyan, Fournet, Cédric, Swamy, Nikhil

    ISSN: 2475-1421, 2475-1421
    Veröffentlicht: ACM 01.09.2017
    Veröffentlicht in Proceedings of ACM on programming languages (01.09.2017)
    “… We present Low*, a language for low-level programming and verification, and its application to high-assurance optimized cryptographic libraries. Low …”
    Volltext
    Journal Article
  12. 12

    Giotto: A time -triggered language for embedded programming von Horowitz, Benjamin

    ISBN: 9780496688746, 049668874X
    Veröffentlicht: ProQuest Dissertations & Theses 01.01.2003
    “… The ease with which Giotto expresses the existing software provides evidence that Giotto is an appropriate programming language for control systems …”
    Volltext
    Dissertation
  13. 13

    A programming language for embedded processor networks von Mayer-Lindenberg, Fritz

    ISBN: 1467397172, 9781467397179
    Veröffentlicht: IEEE 01.10.2016
    “… A simple language for numeric computations on heterogeneous networks of programmable processors is described, in particular networks implemented in an ASIC, an FPGA or an SoC integrating hardwired processors and an FPGA …”
    Volltext
    Tagungsbericht
  14. 14

    MeLa: A Programming Language for a New Multidisciplinary Oceanographic Float von Bonnieux, Sébastien, Cazau, Dorian, Mosser, Sébastien, Blay-Fornarino, Mireille, Hello, Yann, Nolet, Guust

    ISSN: 1424-8220, 1424-8220
    Veröffentlicht: Basel MDPI AG 01.11.2020
    Veröffentlicht in Sensors (Basel, Switzerland) (01.11.2020)
    “… To reduce the need of such expertise, we have developed a programming language, called MeLa …”
    Volltext
    Journal Article
  15. 15

    Appendix 2 - On the C++ Programming Language for Embedded Software, Systems, and Platforms

    ISBN: 9780124159174, 9780124159419, 0124159419, 0124159176
    Veröffentlicht: United States Elsevier Inc 2013
    Veröffentlicht in Software Engineering for Embedded Systems (2013)
    Volltext
    Buchkapitel Reference
  16. 16

    Hands-On Embedded Programming with C++17: Create Versatile and Robust Embedded Solutions for MCUs and RTOSes with Modern C++ von Posch, Maya

    ISBN: 1788629302, 9781788629300
    Veröffentlicht: Birmingham Packt Publishing, Limited 2019
    “… C++ is a great choice for embedded development, most notably, because it does not add any bloat, extends maintainability, and offers many advantages over different programming languages …”
    Volltext
    E-Book
  17. 17

    Blueprint for an embedded systems programming language von Soulier, P, Depeng Li

    ISBN: 9781849199704, 1849199701
    Veröffentlicht: Stevenage, UK IET 2014
    “… Embedded systems have become ubiquitous and are found in numerous application domains such as sensor networks, medical devices, and smart appliances …”
    Volltext
    Tagungsbericht
  18. 18
  19. 19

    Rapidly implementing languages to compile as C++ without crafting a compiler von Savidis, Anthony

    ISSN: 0038-0644, 1097-024X
    Veröffentlicht: Chichester, UK John Wiley & Sons, Ltd 01.12.2007
    Veröffentlicht in Software, practice & experience (01.12.2007)
    “… We present a heuristic implementation method for programming languages that is appropriate when the following requirements or conditions are met …”
    Volltext
    Journal Article
  20. 20

    A Domain-Specific Embedded Language for Programming Parallel Architectures von McGuiness, Jason, Egan, Colin

    Veröffentlicht: IEEE 01.09.2013
    “… (Domain-Specific Embedded Language) that would add parallelism to an imperative language …”
    Volltext
    Tagungsbericht