Real-Time Systems

By Mathai Joseph, M. Joseph

This text provides an account of real-time systems: program structures for real-time timing analysis using scheduling theory and specification and verification in different frameworks. The presenta...

A Multiprocessor Operating System

By Mathai Joseph, N. Natarajan, V. R. Prasad, M. Joseph, Joseph, Mathai, Prasad, V. R., Natarajan, N.

xvii, 477 p. : 24 cm Bibliography: p. 465-467 Includes indexes

Foundations Of Software Technology And Theoretical Computer Science

By M., Joseph, Mathai Joseph, Conference On Foundations Of Software Technology And Theoretical Compu...

Edited By Mathai Joseph And Rudrapatna Shyamasundar. Includes Bibliographies.

Formal Techniques In Real-Time And Fault Tolerant Systems: Proceedings Of A Symposium Warwick, Uk, September 22-23, 1988

By Nam-Ho Kim, K. K. Choi, Mathai Joseph, M. Joseph, WJ Cullyer (Auth.), M. Joseph (Eds.)

This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety...

Software Engineering Approaches For Offshore And Outsourced Development: 4th International Conference, Seafood 2010, St. Petersburg, Russia, June 17-18, 2010, Proceedings

By Martin, Meyer, Joseph, Mathai Joseph, BERTRAND, Bertrand Meyer, Martin Nordio, Mathai, Nordio

Formal Techniques In Real-Time And Fault-Tolerant Systems: Proceedings Of A Symposium, Warwick, UK, September 22-23, 1988

By Mathai Joseph, M. Joseph, WJ Cullyer (Auth.), M. Joseph (Eds.)

This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety...

Software Engineering Approaches For Offshore And Outsourced Development: Second International Conference, Seafood 2008, Zurich, Switzerland, July 2-3, ... Notes In Business Information Processing)

By Mathai Joseph, Bertrand Meyer, Kay Berkling, Martin Nordio, SEAFOOD 2008 (2008 Zurich, Switzerland), Switzerland) Seafood 2008 (2008 : Zurich, SEAFOOD 2008

Formal Techniques In Real-Time And Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings (Lecture Notes In Computer Science (1926))

By Mathai Joseph, FTRTFT 2000, Mathai Joseph (Editor)

The six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tions to a far higher degree of maturity, and from...

Dead To Reason

By Mathai Joseph, Joseph, Mathai

Mumbai, 1995: Rani Diwanjee was murdered in her house. A student she was tutoring was found with a bloody knife. Case closed? Inspector Suryaprakash would like to believe so but not Clovis Cleetus,...

Software Engineering Approaches For Offshore And Outsourced Development

By Mathai Joseph, Bertrand Meyer, SEAFOOD 2007, Bertrand Meyer; ‎Mathai Joseph

This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Software Engineering Approaches for Offshore and Outsourced Development, SEAFOOD 2007, Zurich...