𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Optimization of the NPTL thread library in Linux for hard real-time systems

✍ Scribed by A. V. Fedorov

Book ID
110191019
Publisher
SP MAIK Nauka/Interperiodica
Year
2011
Tongue
English
Weight
92 KB
Volume
37
Category
Article
ISSN
0361-7688

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Translation and Optimization in the Veri
Translation and Optimization in the Verification of Real-Time Systems
✍ Ernst-RΓΌdiger Olderog πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 48 KB

Compilation or translation is not only an issue at the level of program but also at the level of specification. This talk considers the design of real-time software for Programmable Logic Controllers (PLCs) and discusses questions of correctness and optimization for translations between different se