• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1641
  • 211
  • 132
  • 106
  • 19
  • 18
  • 9
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 6
  • 3
  • Tagged with
  • 2335
  • 2335
  • 953
  • 453
  • 441
  • 285
  • 274
  • 244
  • 240
  • 227
  • 219
  • 203
  • 201
  • 201
  • 184
  • 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.
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 interface

Wessels, 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 diagrams

Amla, Nina 28 August 2008 (has links)
Not available / text
56

Sensor fusion control system for computer integrated manufacturing

Kumile, 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 systems

Manolios, Panagiotis 25 May 2011 (has links)
Not available / text
58

The design of a time sharing computer system using Iverson notation

Reiner, 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 system

Miller, Roy. January 1971 (has links)
No description available.
60

Support for multi-viewed interfaces

Smith, Ian 05 1900 (has links)
No description available.

Page generated in 0.079 seconds