Výsledky vyhledávání - Embedded Programming Language

Upřesnit hledání
  1. 1

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

    ISSN: 0956-7968, 1469-7653
    Vydáno: Cambridge Cambridge University Press 01.07.2014
    Vydáno v 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…”
    Získat plný text
    Journal Article
  2. 2

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

    Vydáno: 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…”
    Získat plný text
    Konferenční příspěvek
  3. 3

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

    ISSN: 0018-9219, 1558-2256
    Vydáno: New York, NY IEEE 01.01.2003
    Vydáno v 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…”
    Získat plný text
    Journal Article
  4. 4

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

    ISSN: 2312-4121, 2411-2976
    Vydáno: National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute” 28.12.2018
    “…Background. C or C ++ languages are most commonly used for programming of embedded systems…”
    Získat plný text
    Journal Article
  5. 5

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

    ISSN: 2771-5752
    Vydáno: 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…”
    Získat plný text
    Konferenční příspěvek
  6. 6

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

    ISSN: 0278-6648, 1558-1772
    Vydáno: New York IEEE 01.04.2002
    Vydáno v IEEE potentials (01.04.2002)
    “…A programming language specifically designed for embedded systems must be designed to create extremely reliable source code…”
    Získat plný text
    Journal Article
  7. 7
  8. 8

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

    ISSN: 1943-6106
    Vydáno: 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…”
    Získat plný text
    Konferenční příspěvek
  9. 9

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

    Vydáno: 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…”
    Získat plný text
    Konferenční příspěvek
  10. 10

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

    ISSN: 1424-8220, 1424-8220
    Vydáno: Switzerland MDPI AG 26.12.2020
    Vydáno v 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…”
    Získat plný text
    Journal Article
  11. 11

    Verified low-level programming embedded in F Autor 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
    Vydáno: ACM 01.09.2017
    “…We present Low*, a language for low-level programming and verification, and its application to high-assurance optimized cryptographic libraries. Low…”
    Získat plný text
    Journal Article
  12. 12

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

    ISBN: 9780496688746, 049668874X
    Vydáno: 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…”
    Získat plný text
    Dissertation
  13. 13

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

    ISBN: 1467397172, 9781467397179
    Vydáno: 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…”
    Získat plný text
    Konferenční příspěvek
  14. 14

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

    ISSN: 1424-8220, 1424-8220
    Vydáno: Basel MDPI AG 01.11.2020
    Vydáno v Sensors (Basel, Switzerland) (01.11.2020)
    “… To reduce the need of such expertise, we have developed a programming language, called MeLa…”
    Získat plný text
    Journal Article
  15. 15

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

    ISBN: 9780124159174, 9780124159419, 0124159419, 0124159176
    Vydáno: United States Elsevier Inc 2013
    Získat plný text
    Kapitola Reference
  16. 16

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

    ISBN: 1788629302, 9781788629300
    Vydáno: 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…”
    Získat plný text
    E-kniha
  17. 17

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

    ISBN: 9781849199704, 1849199701
    Vydáno: 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…”
    Získat plný text
    Konferenční příspěvek
  18. 18
  19. 19

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

    ISSN: 0038-0644, 1097-024X
    Vydáno: Chichester, UK John Wiley & Sons, Ltd 01.12.2007
    Vydáno v 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…”
    Získat plný text
    Journal Article
  20. 20

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

    Vydáno: IEEE 01.09.2013
    “… (Domain-Specific Embedded Language) that would add parallelism to an imperative language…”
    Získat plný text
    Konferenční příspěvek