The University of Texas at Tyler Libraries

Your search returned 4 results.

|
1.
Mechanisms for Reliable Distributed Real-Time Operating Systems : The Alpha Kernel

by Northcutt, J. Duane | Rheinboldt, W | Siewiorek, D.

Material type: Text Text; Format: electronic available online remote Publisher: Burlington : Elsevier Science, 2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.76.O63 N67 2014.
Place hold Log in to add tags
2.
Mechanisms for Reliable Distributed Real-Time Operating Systems : The Alpha Kernel.

by Northcutt, J. Duane | Rheinboldt, W | Siewiorek, D.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Saint Louis : Elsevier Science & Technology, 2014Copyright date: ©1987Online access: Click here to view book Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.76.O63 -- .N67 1978.
Place hold Log in to add tags
3.
Soft real-time systems : predictability vs. efficiency / Giorgio Buttazzo ... [et al.].

by Buttazzo, Giorgio C, 1960-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York : Springer, 2005Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.54 .S56 2005.
Place hold Log in to add tags
4.
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems / [author, Heinrich Rust].

by Rust, Heinrich.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2005Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.54 .R87 2005.
Place hold Log in to add tags