Synonyms were used for: Betriebssystem
Search without synonyms: keywords:(Betriebssystem)

1–20 of 233 hits
|

    Limits of Correctness in Computers

    Smith, Brian Cantwell | Springer Verlag | 1993
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 5. Orbital plane change with aerocruise

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Head Up Display. Requirements on an Avionic System

    Bengtsson, Kim | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 4. Fuel optimal control for noncoplanar orbital transfer

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 6. Optimal guidance for orbital transfer

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 3. Fuel optimal control for coplanar orbital transfer

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 2. Atmospheric entry problem

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 1. Introduction

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Real-Time Rule Based Control of Robot Motion

    Ciliz, M. Kemal | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Real Time Aspects of Manned Space Flight Avionics Computing

    Anderman, Alfred | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    A realistic simulation for Highway Traffic by the use of Cellular Automata

    Free access
    Campari, Enrico G. / Levi, Giuseppe | Springer Verlag | 2002
    Keywords: Software Engineering/Programming and Operating Systems

    Modelling Traffic Flow at a Multilane Intersection

    Wang, Ruili / Ruskin, Heather J. | Springer Verlag | 2003
    Keywords: Software Engineering/Programming and Operating Systems

    OFF-LINE PLACEMENT OF TASKS ONTO RECONFIGURABLE HARDWARE CONSIDERING GEOMETRICAL TASK VARIANTS

    Free access
    Danne, Klaus / Stühmeier, Sven | Springer Verlag | 2005
    Keywords: Operating Systems , Software Engineering/Programming and Operating Systems

    AUTOMATIC GENERATION OF COMMUNICATION ARCHITECTURES

    Free access
    Shin, Dongwan / Gerstlauer, Andreas / Dömer, Rainer et al. | Springer Verlag | 2005
    Keywords: Operating Systems , Software Engineering/Programming and Operating Systems

    EMBEDDED HARD REAL-TIME SOFTWARE SYNTHESIS CONSIDERING DISPATCHER OVERHEADS

    Free access
    Barreto, Raimundo / Tavares, Eduardo / Maciel, Paulo et al. | Springer Verlag | 2005
    Keywords: Operating Systems , Software Engineering/Programming and Operating Systems

    A FORMAL METHODOLOGY TO TEST COMPLEX EMBEDDED SYSTEMS: APPLICATION TO INTERACTIVE DRIVING SYSTEM

    Free access
    Núñez, Manuel / Pelayo, Fernando L. / Rodríguez, Ismael | Springer Verlag | 2005
    Keywords: Operating Systems , Software Engineering/Programming and Operating Systems

    SPECIFICATION-BASED TESTING OF REAL-TIME EMBEDDED SYSTEMS

    Free access
    Núñez, Manuel / Rodríguez, Ismael | Springer Verlag | 2005
    Keywords: Operating Systems , Software Engineering/Programming and Operating Systems

    AN APPLICATION-ORIENTED APPROACH FOR THE GENERATION OF SOC-BASED EMBEDDED SYSTEMS

    Free access
    Polpeta, Fauze V. / Fröhlich, Antônio A. | Springer Verlag | 2005
    Keywords: Operating Systems , Software Engineering/Programming and Operating Systems

    AN ENERGY-AWARE EXPLORATION APPROACH BASED ON OPEN SOFTWARE ENVIRONMENT

    Free access
    Silva-Filho, A. G. / Eskinazi, R. / Nascimento, P. S. B. et al. | Springer Verlag | 2005
    Keywords: Operating Systems , Software Engineering/Programming and Operating Systems

    ABSTRACT COMMUNICATION MODELING

    A Case Study Using the CAN Automotive Bus
    Free access
    Schirner, Gunar / Dömer, Rainer | Springer Verlag | 2005
    Keywords: Operating Systems , Software Engineering/Programming and Operating Systems