OSEK

Results: 33



#Item
1Model Checking Multitask Applications for OSEK Compliant Real Time Operating Systems Mark L. McKelvin, Jr. and Gerard Holzmann Jet Propulsion Laboratory, Laboratory for Reliable Software California Institute of Technolog

Model Checking Multitask Applications for OSEK Compliant Real Time Operating Systems Mark L. McKelvin, Jr. and Gerard Holzmann Jet Propulsion Laboratory, Laboratory for Reliable Software California Institute of Technolog

Add to Reading List

Source URL: spinroot.com

- Date: 2013-08-11 14:51:27
    2Back to the Roots: Implementing the RTOS as a Specialized State Machine Christian Dietrich, Martin Hoffmann, Daniel Lohmann Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-Alexander

    Back to the Roots: Implementing the RTOS as a Specialized State Machine Christian Dietrich, Martin Hoffmann, Daniel Lohmann Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-Alexander

    Add to Reading List

    Source URL: www.mpi-sws.org

    Language: English - Date: 2016-07-14 16:23:27
    3OSPERT 2015 Keynote Talk Software Architectures for Advanced Driver Assistance Systems (ADAS) Robert Leibinger Elektrobit Automotive GmbH In recent years, the demand for electronic control units (ECUs) has been rapidly g

    OSPERT 2015 Keynote Talk Software Architectures for Advanced Driver Assistance Systems (ADAS) Robert Leibinger Elektrobit Automotive GmbH In recent years, the demand for electronic control units (ECUs) has been rapidly g

    Add to Reading List

    Source URL: www.mpi-sws.org

    Language: English - Date: 2016-07-14 16:23:27
    4Die jungen Feuerwehrleute aus Osek, hier beim Bierkastenstapeln, holten sich die Bronzemedaille. Foto: Peter Hertel  Die Nachbarn sind nicht zu schlagen

    Die jungen Feuerwehrleute aus Osek, hier beim Bierkastenstapeln, holten sich die Bronzemedaille. Foto: Peter Hertel Die Nachbarn sind nicht zu schlagen

    Add to Reading List

    Source URL: www.euroregion-erzgebirge.de

    Language: German - Date: 2011-09-16 08:33:48
      5KESO An Open-Source Multi-JVM for Deeply Embedded Systems Isabella Thomm, Michael Stilkerich, Christian Wawersich, Wolfgang Schröder-Preikschat

      KESO An Open-Source Multi-JVM for Deeply Embedded Systems Isabella Thomm, Michael Stilkerich, Christian Wawersich, Wolfgang Schröder-Preikschat

      Add to Reading List

      Source URL: d3s.mff.cuni.cz

      Language: English - Date: 2010-08-17 06:40:02
      6Herzliche Einladung zum Konzert des Kinderchores „Korálek“ und seines Vorchores „Perlička“.  Kloster Osek – 14. Oktober 16 Uhr

      Herzliche Einladung zum Konzert des Kinderchores „Korálek“ und seines Vorchores „Perlička“. Kloster Osek – 14. Oktober 16 Uhr

      Add to Reading List

      Source URL: www.euroregion-erzgebirge.de

      - Date: 2012-10-11 02:58:16
        7„Ostern auf dem Klostergut“ am., im ITC Osek – Verkaufsausstellung (Ostereierverzieren, Rutenflechten, Handwerkskunst, Osterspezialitäten – DDM Osek und Arkadie Teplice stellen sich mit ihren Ku

        „Ostern auf dem Klostergut“ am., im ITC Osek – Verkaufsausstellung (Ostereierverzieren, Rutenflechten, Handwerkskunst, Osterspezialitäten – DDM Osek und Arkadie Teplice stellen sich mit ihren Ku

        Add to Reading List

        Source URL: www.euroregion-erzgebirge.de

        - Date: 2013-03-22 08:59:04
          8Die Ausstellung findet in der Galerie des Touristen-Informationszentrums in den Räumen des Oseker Klosters mit Unterstützung der Stadt Osek statt.  Die Vernissage findet am Sonntag,

          Die Ausstellung findet in der Galerie des Touristen-Informationszentrums in den Räumen des Oseker Klosters mit Unterstützung der Stadt Osek statt. Die Vernissage findet am Sonntag,

          Add to Reading List

          Source URL: www.euroregion-erzgebirge.de

          - Date: 2013-01-28 10:13:18
            9JÍZDNÍ ŘÁD 2014 – 2015  platí od 14. června 2015 u 020 (Praha -) Velký Osek - Hradec Králové - Choceň km SŽDC, státní organizace / ČD, a.s.

            JÍZDNÍ ŘÁD 2014 – 2015 platí od 14. června 2015 u 020 (Praha -) Velký Osek - Hradec Králové - Choceň km SŽDC, státní organizace / ČD, a.s.

            Add to Reading List

            Source URL: www.szdc.cz

            Language: Czech
              10

              Lauterbach und Evidence bieten eine optimierte OSEK/VDX Toolkette Höhenkirchen-Siegertsbrunn, Juni 2014 – Lauterbach, führender Hersteller von Mikrocontroller-Entwicklungswerkzeugen, und Evidence, leitend in Open Sou

              Add to Reading List

              Source URL: www.lauterbach.com

              Language: German - Date: 2014-06-04 03:40:24