51 |
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.
|
52 |
Developing a generic network planning interfaceWessels, Tertius Dewet. January 2007 (has links)
Thesis (M.Sc. (Computer Science))--University of Preotoria, 2000. / Summary in Afrikaans and English.
|
53 |
Secure, efficient, and manageable virtual machine systems /Sirer, Emin Gün, January 2002 (has links)
Thesis (Ph. D.)--University of Washington, 2002. / Vita. Includes bibliographical references (leaves 125-143).
|
54 |
Design and test of the cross-format schema protocol (XFSP) for networked virtual environments /Serin, Ekrem. January 2003 (has links) (PDF)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, March 2003. / Thesis advisor(s): Don Brutzman, Joseph Sullivan, Curt Blais. Includes bibliographical references (p. 127-131). Also available online.
|
55 |
Efficient model checking for timing diagramsAmla, Nina 28 August 2008 (has links)
Not available / text
|
56 |
Sensor fusion control system for computer integrated manufacturingKumile, CM, Bright, G 05 1900 (has links)
Manufacturing companies of today face unpredictable, high frequency market
changes driven by global competition. To stay competitive, these companies must
have the characteristics of cost-effective rapid response to the market needs. As an engineering discipline, mechatronics strives to integrate mechanical, electronic, and computer systems optimally in order to create high precision products and manufacturing processes. This paper presents a methodology of increasing flexibility and reusability of a generic computer integrated manufacturing (CIM) cell-control
system using simulation and modelling of mechatronic sensory system (MSS)
concepts. The utilisation of sensors within the CIM cell is highlighted specifically for data acquisition, analysis, and multi-sensor data fusion. Thus the designed reference architecture provides comprehensive insight for the functions and methodologies of a generic shop-floor control system (SFCS), which consequently enables the rapid
deployment of a flexible system.
|
57 |
Mechanical verification of reactive systemsManolios, Panagiotis 25 May 2011 (has links)
Not available / text
|
58 |
The design of a time sharing computer system using Iverson notationReiner, Robert Elmer, 1942- January 1970 (has links)
No description available.
|
59 |
Multiple user regions for the McGill-RAX time-sharing system : justifications and methods of implementation. / McGill-RAX time-sharing systemMiller, Roy. January 1971 (has links)
No description available.
|
60 |
Support for multi-viewed interfacesSmith, Ian 05 1900 (has links)
No description available.
|
Page generated in 0.0677 seconds