✦ LIBER ✦

Hardware-software timing coverification of concurrent embedded real-time systems

✍ Scribed by Hsiung, P.-A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hardware-Software Partitioning for Real-

✍ Xiaobo (Sharon) Hu; Joseph G. D’Ambrosio 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 316 KB

Hardware–Software Codesign of Automatic

✍ Cheng, O.; Abdulla, W.; Salcic, Z. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 648 KB

Design of real-time concurrent software

✍ M.I. Henderson; K.F. Gill 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 972 KB

Software concurrency in real time contro

✍ Ken H. Sears; Alan E. Middleditch 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 1013 KB

Maintenance of reliable real time system

✍ Inder M. Soi; K.K. Aggarwal 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 468 KB

SLOPES: Hardware–Software Cosynthesis of

✍ Li Shang; Robert P. Dick; Niraj K. Jha 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 745 KB