Synonyms were used for:
Betriebssystem
Search without synonyms:
keywords:(Betriebssystem)
Limits of Correctness in Computers
Chapter 5. Orbital plane change with aerocruise
Chapter 3. Fuel optimal control for coplanar orbital transfer
Chapter 2. Atmospheric entry problem
Head Up Display. Requirements on an Avionic System
Chapter 4. Fuel optimal control for noncoplanar orbital transfer
Chapter 6. Optimal guidance for orbital transfer
Real-Time Rule Based Control of Robot Motion
Real Time Aspects of Manned Space Flight Avionics Computing
A realistic simulation for Highway Traffic by the use of Cellular Automata
Modelling Traffic Flow at a Multilane Intersection
OFF-LINE PLACEMENT OF TASKS ONTO RECONFIGURABLE HARDWARE CONSIDERING GEOMETRICAL TASK VARIANTS
AUTOMATIC GENERATION OF COMMUNICATION ARCHITECTURES
EMBEDDED HARD REAL-TIME SOFTWARE SYNTHESIS CONSIDERING DISPATCHER OVERHEADS
AN APPLICATION-ORIENTED APPROACH FOR THE GENERATION OF SOC-BASED EMBEDDED SYSTEMS
SPECIFICATION-BASED TESTING OF REAL-TIME EMBEDDED SYSTEMS
A FORMAL METHODOLOGY TO TEST COMPLEX EMBEDDED SYSTEMS: APPLICATION TO INTERACTIVE DRIVING SYSTEM
ABSTRACT COMMUNICATION MODELING
AN ENERGY-AWARE EXPLORATION APPROACH BASED ON OPEN SOFTWARE ENVIRONMENT
ENHANCING INTERACTION SUPPORT IN THE CORBA COMPONENT MODEL
MECHATRONICS DESIGN AND VERIFICATION
OBJECT ORIENTATION PROBLEMS WHEN APPLIED TO THE EMBEDDED SYSTEMS DOMAIN
PARTITIONING METRICS FOR IMPROVED PERFORMANCE AND ECONOMY OF DISTRIBUTED EMBEDDED SYSTEMS
TEMPORAL GRAPH PLACEMENT ON MESH-BASED COARSE GRAIN RECONFIGURABLE SYSTEMS USING THE SPECTRAL METHOD
ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS
A JITTER-FREE OPERATIONAL ENVIRONMENT FOR DEPENDABLE EMBEDDED SYSTEMS
AN EMBEDDED SW DESIGN EXPLORATION APPROACH BASED ON UML ESTIMATION TOOLS
ENERGY MANAGEMENT FOR THE TELEPRESENCE SYSTEM TSR
COMPONENT CASE STUDY OF A SELF-OPTIMIZING RCOS/RTOS SYSTEM
INTEGRATION OF TWO COMPLEMENTARY TIME-TRIGGERED TECHNOLOGIES: TMO AND TTP
ADAPTABLE SWITCH BOXES AS ON-CHIP ROUTING NODES FOR NETWORKS-ON-CHIP
TOC-BISR: A SELF-REPAIR SCHEME FOR MEMORIES IN EMBEDDED SYSTEMS
FUNCTIONAL VERIFICATION FOR UML - BASED MODEL DRIVEN DESIGN OF EMBEDDED SYSTEMS
SOFTWARE AND DRIVER SYNTHESIS FROM TRANSACTION LEVEL MODELS
TOWARDS A REAL-TIME COMMUNICATION NETWORK FOR AUTONOMOUS RAIL VEHICLES
TOWARDS RUN-TIME PARTITIONING OF A REAL TIME OPERATING SYSTEM FOR RECONFIGURABLE SYSTEMS ON CHIP
FROM MODEL TO REQUIREMENTS: PATTERN-BASED ANALYSIS IN DISTRIBUTED DEVELOPMENT OF EMBEDDED SYSTEMS
INTEGRATION OF EMBEDDED SOFTWARE WITH CORPORATE INFORMATION SYSTEMS
DISTRIBUTED CONTROL STRUCTURE OF THE NBP TEST TRACK WITH LINEAR MOTOR DRIVEN VEHICLES
DOMAIN-CROSSING SOFTWARE PRODUCT LINES IN EMBEDDED, AUTOMOTIVE SYSTEMS
ASSESSING THE USE OF RT-JAVA IN AUTOMOTIVE TIME-TRIGGERED APPLICATIONS
An Instrumentation-Based Approach to Controller Model Validation
Towards Verification of Model Transformations Via Goal-Directed Certification
Generating Sound and Resource-Aware Code from Hybrid Systems Models
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Modeling with the Timing Definition Language (TDL)
Towards Model-Driven Development of Hard Real-Time Systems
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control