Search Results - Embedded Programming Language
-
1
Authors: et al.
Subject Terms: MIMOS, Kahn process networks, compilation, real-time operating system, embedded systems, Computer Science, Datavetenskap
File Description: print
-
2
Authors: et al.
Source: 2021 58th ACM/IEEE Design Automation Conference (DAC). :355-360
-
3
Authors:
Contributors:
Source: Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology.
Subject Terms: embedded systems, real-time systems, programming language design, testing, dynamic verification, OCaml, graph rewriting, interaction nets, Datavetenskap med inriktning mot inbyggda system, Computer Science with specialization in Embedded Systems
File Description: electronic
-
4
Authors:
Source: Journal of Information Processing. 2021, 29:685
-
5
Authors: Sarkar, Abhiroop, 1991
Source: Octopi: Säker Programering för Sakernas Internet.
Subject Terms: Embedded Systems, Timing, Concurrency, Functional Programming, Virtual Machine, Language Runtime
File Description: electronic
-
6
Authors: Type, Samantha
Subject Terms: 005, Computer software & programming
-
7
Contributors: Sergey, Ilya
Subject Terms: automata theory, computer programming, computer systems, databases, distributed computer systems, distributed systems, embedded systems, formal languages, formal logic, linguistics, ontologies, parallel processing systems, program compilers, programming languages, semantics, software design, software engineering, software quality, verification, Programming and scripting languages: general, Computer science, Algorithms and data structures, Network hardware, Computer programming / software engineering
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
8
Authors: et al.
Source: Journal of Artificial Societies & Social Simulation. Jan2024, Vol. 27 Issue 1, p1-17. 17p. 1 Color Photograph, 3 Black and White Photographs, 1 Chart, 3 Graphs.
Subject Terms: Markov processes, Programming languages, Decision making, Language & languages
-
9
Authors: Viktor Vafeiadis
Resource Type: eBook.
Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses
PDF Full Text ePub Full Text -
10
Authors: et al.
Contributors: et al.
Subject Terms: Dependable systems, C code, SFC, Safe controllers, Real time embedded systems
File Description: application/pdf
Availability: https://hdl.handle.net/1822/16298
-
11
Contributors: Müller, Peter
Subject Terms: Programming Languages, Compilers, Interpreters, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Information Systems and Communication Service, Natural Language Processing (NLP), Theory of Computation, artificial intelligence, computer networks, computer programming, computer security, distributed computer systems, embedded systems, formal languages, formal logic, linguistics, mathematics, model checking, object-oriented programming, parallel processing systems, program compilers, semantics, software architecture, software design, software engineering, software quality, verification and validation, Programming & scripting languages: general, Compilers & interpreters, Computer networking & communications, Algorithms & data structures, Natural language & machine translation, Computer science, Mathematical theory of computation, Programming and scripting languages: general, Computer networking and communications, Algorithms and data structures, Natural language and machine translation
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
12
Authors: Igor Viarheichyk
Resource Type: eBook.
Subjects: Robust control, Computer security--Software, Embedded computer systems--Programming, C++ (Computer program language)
Categories: COMPUTERS / Languages / C++, COMPUTERS / Hardware / Chips & Processors, COMPUTERS / Hardware / Printers, Scanners & External Accessories
-
13
Authors: Abdoulaye Gamatié
Resource Type: eBook.
Subjects: Programming languages (Electronic computers), Programming languages (Electronic computers)--Problems, exercises, etc, Embedded computer systems--Programming, Embedded computer systems--Programming--Problems, exercises, etc, Computer-aided design, Systems engineering
Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Design, Graphics & Media / CAD-CAM
-
14
Authors: Sarkar, Abhiroop, 1991
Subject Terms: trusted execution environment, real time, functional programming, runtime, information flow control, microcontrollers, functional reactive programming
File Description: electronic
-
15
Authors: Maya Posch
Resource Type: eBook.
Categories: COMPUTERS / Languages / C++, COMPUTERS / Programming / Parallel, COMPUTERS / Hardware / General
-
16
Authors: et al.
Source: Lecture Notes in Computer Science. :393-409
Subject Terms: Adoption In Practice, C4 Model, Software Architecture Modeling, C (programming Language), Computer Software Maintenance, Embedded Software, Engineers, Software Architecture, Software Design, Architecture Modeling, Embedded Software Development, Experience Report, Lightweight Architecture, Modeling Approach, New Approaches, Software Architecture Model, Software Intensive Systems, Codes (symbols), Embedded Systems
File Description: print
-
17
Authors:
Contributors:
-
18
Authors:
Source: Conference Record of the Annual ACM Symposium on Principles of Programming Languages. :21-30
Subject Terms: General purpose GPU programming, Arrays, Embedded domain specific language, Data parallelism, Haskell
Access URL: https://research.chalmers.se/publication/156270
-
19
Authors: et al.
Source: Systems & Computers in Japan. 9/1/2005, Vol. 36 Issue 10, p72-81. 10p.
-
20
Authors: Nicholas H. Tollervey
Resource Type: eBook.
Categories: COMPUTERS / Languages / Python, COMPUTERS / Hardware / General, EDUCATION / Teaching / Subjects / Science & Technology, JUVENILE NONFICTION / Technology / Electricity & Electronics, TECHNOLOGY & ENGINEERING / Electronics / General, TECHNOLOGY & ENGINEERING / Robotics, TECHNOLOGY & ENGINEERING / Sensors
Nájsť tento článok vo Web of Science 
Full Text Finder