Books on the topic 'Real-Time Computing System'

service), SpringerLink (Online, ed. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Boston, MA: Springer US, 2011.

Buttazzo, Giorgio C. Hard Real-Time Computing Systems. Boston, MA: Springer US, 2011. http://dx.doi.org/10.1007/978-1-4614-0676-1.

Buttazzo, Giorgio C. Hard Real-Time Computing Systems. Boston, MA: Springer US, 2005. http://dx.doi.org/10.1007/0-387-27578-9.

Chen, Jing, and Seongsoo Hong, eds. Real-Time and Embedded Computing Systems and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b97784.

Hard real-time computing systems: Predictable scheduling algorithms and applications. Boston: Kluwer Academic Publishers, 1997.

Hard real-time computing systems: Predictable scheduling algorithms and applications. 2nd ed. New York: Springer, 2004.

Tilborg, André M. Foundations of Real-Time Computing: Scheduling and Resource Management. Boston, MA: Springer US, 1991.

Poledna, Stefan. Fault-tolerant real-time systems: The problem of replica determinism. Boston: Kluwer Academic Publishers, 1996.

Poledna, Stefan. Fault-tolerant Real-time Systems: The Problem of Replica Determinism {Kluwer International Series in Engineering and Computer Science ; Real-time Systems SECS 345}. Dordrecht: Springer, 1995.

Malek, Miroslaw. Responsive Computing: A Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994). Boston, MA: Springer US, 1994.

M, Sacha Krzysztof, ed. Real-time systems: Implementation of industrial computerised process automation. Singapore: World Scientific, 1992.

International, Workshop on Real-Time Computing Systems and Applications (2nd 1995 Tokyo Japan). Proceedings: Second International Workshop on Real-Time Computing Systems and Applications, October 25-27, 1995, Tokyo, Japan. Los Alamitos, Calif: IEEE Computer Society Press, 1995.

International Workshop on Real-Time Computing Systems and Applications (3rd 1996 Seoul, Korea). Third International Workshop on Real-Time Computing Systems and Applications: Proceedings, October 30-November 1, 1996, Seoul, Korea. Los Alamitos, Calif: IEEE Computer Society Press, 1996.

International Conference on Real-Time Computing Systems and Applications (7th 2000 Cheju Island, Korea). Seventh International Conference on Real-Time Computing Systems and Applications: Proceedings : 12-14 December, 2000, Cheju Island, South Korea. Los Alamitos, Calif: IEEE Computer Society Press, 2000.

International, Workshop on Real-Time Computing Systems and Applications (4th 1997 Taipei Taiwan). Fourth International Workshop on Real-Time Computing Systems and Applications: Proceedings, October 27-29, 1997, Academia Sinica, Taipei, Taiwan, ROC. Los Alamitos, Calif: IEEE Computer Society Press, 1997.

M, Joseph, ed. Formal techniques in real-time and fault-tolerant systems: 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000. Berlin: Springer, 2000.

International Conference on Real-Time and Embedded Computing Systems and Applications (9th 2003 Tʻai-nan shih, Taiwan). Real-time and embedded computing systems and applications: 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers. Berlin: Springer-Verlag, 2005.

International Conference on Real-Time and Embedded Computing Systems and Applications (9th 2003 Tʻai-nan shih, Taiwan). Real-time and embedded computing systems and applications: 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers. Berlin: Springer-Verlag, 2004.

P, Ravn Anders, and Rischel Hans, eds. Formal techniques in real-time and fault-tolerant systems: 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings. Berlin: Springer, 1998.

Souleyrette, Reginald R. High speed computing to facilitate real time analysis of transportation planning alternatives: Final report. Ames, Iowa: Midwest Transportation Center, Iowa State University, 1995.

Werner, Damm, and Olderog E. -R, eds. Formal techniques in real-time and fault-tolerant systems: 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings. Berlin: Springer, 2002.

Briand, Loïc P. Meeting deadlines in hard real-time systems: The rate monotonic approach. Los Alamitos, Calif: IEEE Computer Society, 1999.

IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (14th 2008 Kao-hsiung shih, Taiwan). RTCSA 2008: 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications : proceedings : 25-27 August, 2008, Kaohsiung, Taiwan. Los Alamitos, Calif: IEEE Computer Society, 2008.

IFAC Workshop (5th 1986 Sarlat, France). Safety of computer control systems 1986 (Safecomp '86): Trends in safe real time computer systems : proceedings of the Fifth IFAC Workshop, Sarlat, France, 14-17 October 1986. Oxford [Oxfordshire]: Published for the International Federation of Automatic Control by Pergamon Press, 1986.

J, Quirk W., and International Federation of Automatic Control., eds. Safety of Computer Control Systems 1986 (SAFECOMP' 86): Trends in safe real time computer systems : proceedings of the fifth IFAC workshop, Sarlat, France, 14-17 October 1986. Oxford: Published for the International Federation of Automatic Control by Pergamon, 1986.

Euromicro Workshop on Real-Time Systems (9th 1997 Toledo, Spain). Ninth Euromicro Workshop on Real Time Systems: Proceedings : June 11-13, 1997, Toledo, Spain. Los Alamitos, CA: IEEE Computer Society, 1997.

Butler, Ricky W. Formal design and verification of a reliable computing platform for real-time control: Phase 3 results. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1994.

IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (3rd 2005 Seattle, Wash.). Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems: SEUS 2005 : proceedings : 16-17 May 2005, Seattle, Washington. Edited by Narasimhan Priya and International Symposium on Object-Oriented Real-Time Distributed Computing (8th : 2005 : Seattle, Wash.). Los Alamitos, Calif: IEEE Computer Society, 2005.

Y, Lakhnech, Yovine Sergio, LINK (Online service), and FTRTFT 2004 (2004 : Grenoble, France), eds. Formal techniques, modelling and analysis of timed and fault-tolerant systems: Joint international conferences on formal modeling and analysis of timed systems, FORMATS 2004, and formal techniques in real-time and fault -tolerant systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings. Berlin: Springer, 2004.

FORMATS 2004 (2004 Grenoble, France). Formal techniques, modelling and analysis of timed and fault-tolerant systems: Joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings. Berlin: Springer, 2004.

IEEE, Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (4th 2006 Gyeongju Korea). The fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems: SEUS 2006 and The second International Workshop on Collaborative Computing, Integration and Assurance : WCCIA 2006 : proceedings : 27-28 April 2006, Gyeongju, Korea. Los Alamitos, Calif: IEEE Computer Society, 2006.

Grigor'ev, Anatoliy, Evgeniy Isaev, and Pavel Tarasov. Transfer, storage and processing of large volumes of scientific data. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1073525.

Koob, Gary M., and Clifford G. Lau. Foundations of Dependable Computing: System Implementation. Springer, 2013.

(Editor), Charles Rattray, ed. Theories and Experiences for Real-Time System Development (Amast Series in Computing, Vol 2). World Scientific Publishing Company, 1995.

(Editor), Gary M. Koob, and Clifford G. Lau (Editor), eds. Foundations of Dependable Computing: System Implementation (The International Series in Engineering and Computer Science). Springer, 1994.

Hard real-time computing systems. Boston, MA: Springer US, 1997. http://dx.doi.org/10.1007/b102312.

Handbook of Real-Time Computing. Springer London, Limited, 2022.

Tian, Yu-Chu, and David Charles Levy. Handbook of Real-Time Computing. Springer, 2022.

Mark, Wood, United States. Defense Advanced Research Projects Agency., and United States. National Aeronautics and Space Administration., eds. Making real-time reactive systems reliable. Ithaca, N.Y: Cornell University, Dept. of Computer Science, 1990.

Mark, Wood, United States. Defense Advanced Research Projects Agency., and United States. National Aeronautics and Space Administration., eds. Making real-time reactive systems reliable. Ithaca, N.Y: Cornell University, Dept. of Computer Science, 1990.

(Editor), Aurel Cornell, and Dan Ionescu (Editor), eds. Real-Time Systems: Modeling, Design, and Applications (Amast Series in Computing) (Amast Series in Computing). World Scientific Publishing Company, 2007.

IEEE Computer Society. Real Time Computing Systems & Applications Third International Workshop. Institute of Electrical & Electronics Enginee, 1996.

Zhang, Rong, Junhua Fang, and Aoying Zhou. Load Balance for Distributed Real-Time Computing Systems. World Scientific Publishing Co Pte Ltd, 2020.

1936-, Randell Brian, ed. Predictably dependable computing systems. Berlin: Springer, 1995.

B, Randell, and ESPRIT, eds. Predictably dependable computing systems. Berlin: Springer, 1995.

Institute Of Electrical and Electronics Engineers. 2nd International Workshop on Real-Time Computing Systems and Applications. Institute of Electrical & Electronics Enginee, 1995.

Seung, Choi Gwan, and United States. National Aeronautics and Space Administration., eds. Summary: experimental validation of real-time fault-tolerant systems: Final report. [Washington, DC: National Aeronautics and Space Administration, 1992.

1947-, Vytopil J., ed. Formal techniques in real-time and fault-tolerant systems. Boston: Kluwer Academic Publishers, 1993.

Society, IEEE Computer. Sixth International Conference on Real-Time Computing Systems and Applications. IEEE Computer Society Press, 1999.

Buttazzo, Giorgio C. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Springer, 2011.