Spelling suggestions: "subject:"computers eomputer software"" "subject:"computers aomputer software""
1 |
Software tool for reliability estimationJhunjhunwala, Manish. January 2001 (has links)
Thesis (M.S.)--West Virginia University, 2001. / Title from document title page. Document formatted into pages; contains x, 125 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 72-74).
|
2 |
Estimating reliability impact of biometric devices in large scale applicationsMahadevan, Karthikeyan. January 2003 (has links)
Thesis (M.S.)--West Virginia University, 2003. / Title from document title page. Document formatted into pages; contains vii, 66 p. : ill. (some col.). Vita. Includes abstract. Includes bibliographical references (p. 62-64).
|
3 |
Formal specification and verification of a JVM and its bytecode verifierLiu, Hanbing, January 1900 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2006. / Vita. Includes bibliographical references.
|
4 |
Static verification of concurrent system designZhu, Xun, January 1900 (has links)
Thesis (M.Sc.). / Written for the School of Computer Science. Title from title page of PDF (viewed 2008/05/30). Includes bibliographical references.
|
5 |
Hot swapping and state persistence a framework for state transfer /Reynaga A., Gerardo, January 1900 (has links)
Thesis (M.C.S.)--Carleton University, 2004. / Includes bibliographical references (p. 128-132). Also available in electronic format on the Internet.
|
Page generated in 0.0566 seconds