- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 10 of 15 (0.119 seconds)Spelling suggestions: "subject:"computer systems computer software"" "subject:"computer systems eomputer software""
| 1 |
Efficient model checking for timing diagrams /Amla, Nina. January 2001 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2001. / Vita. Includes bibliographical references (leaves 133-143). Available also in a digital version from Dissertation Abstracts.
|
| 2 |
Efficient model checking for timing diagramsAmla, Nina. January 2001 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2001. / Vita. Includes bibliographical references. Available also from UMI Company.
|
| 3 |
Machine code verification using the Bogor framework /Edelman, Joseph R. January 2008 (has links) (PDF)
Thesis (M.S.)--Brigham Young University. Dept. of Computer Science, 2008. / Includes bibliographical references (p. 38-39).
|
| 4 |
Software frameworks and embedded control systems /Pasetti, Alessandro. January 1900 (has links)
Thesis (doctoral) - Universität, Konstanz, 2001. / Includes bibliographical references (p. [285]-290) and index. Also available online.
|
| 5 |
An investigation into the value of embedded softwareLynch, Valerie Barbara January 2014 (has links)
No description available.
|
| 6 |
Software change management processes in the development of embedded software /Mäkäräinen, Minna. January 2000 (has links) (PDF)
Thesis (doctoral)--University of Oulu, 2000. / Includes bibliographical references. Also available on the World Wide Web.
|
| 7 |
Software frameworks and embedded control systems /Pasetti, Alessandro. January 1900 (has links)
Thesis (doctoral) - Universität, Konstanz, 2001. / Includes bibliographical references (p. [285]-290) and index. Also in electronic version made available by Springer.
|
| 8 |
Human-automation collaboration : decision support for lunar and planetary exploration /Márquez, Jessica J. January 2007 (has links) (PDF)
Thesis (Ph. D in Philosophy (Human-Systems Engineering))--Massachusetts Institute of Technology, Department of Aeronautics and Astronautics, February 2007. / "February 2007." Thesis advisor: Mary L. Cummings. Performed by Massachusetts Institute of Technology, Humans & Automation Laboratory, Cambridge, Mass. "Submitted to the Department of Aeronautics and Astronautics on February 1, 2007 in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Human-Systems Engineering."--P. 3. Includes bibliographical references (p. 219-225). Also available online from the Massachusetts Institute of Technology (MIT) Humans and Automation Lab (HAL) Web site.
|
| 9 |
Grid-enabled software conferencing for the SIP-RTI runtime infrastructure /Ren, Jin Kai. January 1900 (has links)
Thesis (M.C.S.) - Carleton University, 2007. / Includes bibliographical references (p. 74-77). Also available in electronic format on the Internet.
|
| 10 |
A toolkit for designing user interfaces /Dunlap, Susan L. January 1990 (has links) (PDF)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, March 1990. / Thesis Advisor(s): Zyda, Michael J. Second Reader: Bradbury, Leigh W. "March 1990." Description based on signature page as viewed on August 25, 2009. DTIC Descriptor(s): Interfaces, Silicon, Graphics, Iris, Work Stations, Generators, Writing, Coding, User Needs. DTIC Identifier(s): Software engineering, interfaces, computer graphics, theses. Author(s) subject terms: Interface, graphics. Includes bibliographical references (p. 66). Also available online.
|
Page generated in 0.123 seconds