<--- Back to Details
First PageDocument Content
Software engineering / Computing / Software / Embedded system / Unit testing / Formal verification / Interrupt / Actor model / Operating system / Component-based software engineering / C / Real-time operating system
Date: 2016-08-09 05:22:44
Software engineering
Computing
Software
Embedded system
Unit testing
Formal verification
Interrupt
Actor model
Operating system
Component-based software engineering
C
Real-time operating system

Using C Language Extensions for Developing Embedded Software: A Case Study Markus Voelter Arie van Deursen

Add to Reading List

Source URL: mbeddr.com

Download Document from Source Website

File Size: 694,51 KB

Share Document on Facebook

Similar Documents

From Lone Dwarfs to Giant Superclusters: Rethinking Operating System Abstractions for the Cloud Nikos Vasilakis, Ben Karel, Jonathan M. Smith The University of Pennsylvania  1

From Lone Dwarfs to Giant Superclusters: Rethinking Operating System Abstractions for the Cloud Nikos Vasilakis, Ben Karel, Jonathan M. Smith The University of Pennsylvania 1

DocID: 1xVrO - View Document

CENTRIFUGE OS A Decentralized Operating System For The Financial Supply Chain www.centrifuge.io

CENTRIFUGE OS A Decentralized Operating System For The Financial Supply Chain www.centrifuge.io

DocID: 1xUZ1 - View Document

Abstract: The EOS.IO software introduces a new blockchain architecture designed to enable vertical and horizontal scaling of decentralized applications. This is achieved by creating an operating system-like construct upo

Abstract: The EOS.IO software introduces a new blockchain architecture designed to enable vertical and horizontal scaling of decentralized applications. This is achieved by creating an operating system-like construct upo

DocID: 1xULw - View Document

NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System Xi Victoria Lin*, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst Salesforce Research, University of Washington, Unive

NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System Xi Victoria Lin*, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst Salesforce Research, University of Washington, Unive

DocID: 1xUt2 - View Document

     The​ ​Operating​ ​System​ ​for​ ​DAOs    White​​Paper​​ ​V1.0  

    The​ ​Operating​ ​System​ ​for​ ​DAOs    White​​Paper​​ ​V1.0  

DocID: 1xUso - View Document