Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thomas Thomsen
Connecting Simulink to OSEK: Automatic Code Generation for Real-Time Operating Systems With TargetLink
Related publications
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Generation of Scheduling and Communication Code in Real-Time Parallel Programs
Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems - LCTES '95
Real-Time Attributes in Operating Systems
Achieving Real-Time in Distributed Computing
Real-Time Operating Systems: Problems and Novel Solutions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Distributed-Code Generation From Hybrid Systems Models for Time-Delayed Multirate Systems
Automatic Performance Visualization of Distributed Real-Time Systems
Application-Specific Service Technologies for Commodity Operating Systems in Real-Time Environments
Transactions on Embedded Computing Systems
Hardware
Architecture
Software
Automated Invariant Generation for the Verification of Real-Time Systems
An Automatic Code Generator for Nonuniform Random Variate Generation
Mathematics and Computers in Simulation
Numerical Analysis
Applied Mathematics
Simulation
Computer Science
Modeling
Theoretical Computer Science