✦ LIBER ✦

Static Security Optimization for Real-Time Systems

✍ Scribed by Lin, Man; Xu, Li; Yang, Laurence T.; Qin, Xiao; Zheng, Nenggan; Wu, Zhaohui; Qiu, Meikang

Book ID: 120626541
Publisher: Institute of Electrical and Electronics Engineers
Year: 2009
Tongue: English
Weight: 961 KB
Volume: 5
Category: Article
ISSN: 1551-3203
DOI: 10.1109/TII.2009.2014055

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-Time Decoupled Equivalent Models fo

Real-Time Decoupled Equivalent Models for Static Security Analysis

✍ Prasad, G. Durga; Hanmandlu, M.; Saha, Tapan K. 📂 Article 📅 1986 🏛 IEEE 🌐 English ⚖ 898 KB

Statically safe speculative execution fo

Statically safe speculative execution for real-time systems

✍ Younis, M.F.; Marlowe, T.J.; Stoyen, A.D.; Tsai, G. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 508 KB

DSP for Embedded and Real-Time Systems |

DSP for Embedded and Real-Time Systems || DSP Optimization – Memory Optimization

✍ Oshana, Robert 📂 Article 📅 2012 🏛 Elsevier 🌐 English ⚖ 532 KB

This Expert Guide gives you the techniques and technologies in digital signal processing (DSP) to optimally design and implement your embedded system. Written by experts with a solutions focus, this encyclopedic reference gives you an indispensable aid to tackling the day-to-day problems you face in

Similarity-based load adjustment for sta

✍ Tei-Wei Kuo; Shao-Juen Ho 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 547 KB

Real-Time Systems || Optimization of Rul

Real-Time Systems || Optimization of Rule-Based Systems

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 286 KB 👁 2 views

Real-time dynamic optimization of batch

Real-time dynamic optimization of batch systems

✍ Nathaniel Peters; Martin Guay; Darryl DeHaan 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 528 KB

In this paper a methodology for designing and implementing a real-time optimizing controller for batch processes is proposed. The controller is used to optimize a user-defined cost function subject to a parameterization of the input trajectories, a nominal model of the process and general state and