Spelling suggestions: "subject:"[een] COMPUTER SYSTEMS"" "subject:"[enn] COMPUTER SYSTEMS""
91 |
Performance of a system with multiprogramming virtual machinesYoung, Robert Andrew January 2011 (has links)
Digitized by Kansas Correctional Industries
|
92 |
Design of user friendly interactive interfacesYork, John Frank January 2010 (has links)
Typescript (photocopy). / Digitized by Kansas Correctional Industries
|
93 |
Compositional verification of component-based heterogeneous systems / Yan Jin.Jin, Yan January 2004 (has links)
"January 2004" / Bibliography: leaves 183-198. / xv, 198 leaves : ill. ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / As no single specification or verification method is able to solve all classes of problems, especially with industrial-sized applications, a diversity of modelling languages and analysis techniques specialised and optimized for various domains is needed, along with the ability to use them in combination. The work presented in this thesis has concentrated on developing techniques to support the use of a combination of modelling languages, especially visual languages, for system specification. Also, in order to tackle the main obstacles of model checking and make it more accessible to and usable by practising engineers, this work has focused on providing lightweight but effective methods and tools to alleviate the state space explosion problem in model checking. / Thesis (Ph.D.)--University of Adelaide, School of Computer Science, 2004
|
94 |
Computer animation via optical video disc /Bender, Walter. January 1900 (has links)
Thesis (M.S.V.S.)--Massachusetts Institute of Technology, Dept. of Architecture, 1981. / Includes bibliographical references (leaves 43-45).
|
95 |
Systems-on-a-chip testing using an embedded microprocessorHwang, Sungbae. January 2002 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2002. / Vita. Includes bibliographical references. Available also from UMI Company.
|
96 |
Improving the performance of live migration of virtual machinesDeshpande, Umesh D. January 2009 (has links)
Thesis (M.S.)--State University of New York at Binghamton, Thomas J. Watson School of Engineering and Applied Science, Department of Computer Science, 2009. / Includes bibliographical references.
|
97 |
Dynamic memory management for embedded real-time multiprocessor system-on-a-chipShalan, Mohamed A. January 2003 (has links) (PDF)
Thesis (Ph. D.)--Electrical and Computer Engineering, Georgia Institute of Technology, 2004. / Vincent Mooney, Committee Chair; John Barry, Committee Member; James Hamblen, Committee Member; Karsten Schwan, Committee Member; Linda Wills, Committee Member. Includes bibliography.
|
98 |
Adaptive fault diagnosis in interactive electronic technical manuals (IETMs)Kraidli, Rabih F. January 1900 (has links)
Thesis (M.S.)--West Virginia University, 2003. / Title from document title page. Document formatted into pages; contains vi, 126 p. : ill. (some col.). Vita. Includes abstract. Includes bibliographical references (p. 100-102).
|
99 |
Classify and rank Daikon invariants on embedded systems /Zhu, Chunlin. January 2009 (has links)
Includes bibliographical references (p. 69-77).
|
100 |
AN ARCHITECTURE FOR DIALOGUE MANAGEMENT SUPPORT IN INFORMATION SYSTEMS (FRAMEWORK, MODELING DYNAMIC, METHODOLOGY).KUO, FENG-YANG. January 1985 (has links)
The management of man-computer dialogues involves policies, procedures, and methodologies that enable users and designers to control, monitor, and enhance the user-computer interface. Effective dialogue management can be facilitated by a computer-aided work-bench of dialogue management tools that integrate pertinent environmental attributes into executable dialogue forms. Consequently, a methodology for generating dialogue designs is required. This research presents a framework for modeling user-computer interactions, or dialogues. The approach taken herein focuses on analysis of task, user, and information technology attributes. This analytical framework isolates dialogue entities and entity groupings. Together, these entities and their groupings suggest a language for information presentation and elicitation in the user-computer dialogue process. As a result, alternative dialogue models can be specified independent of hardware and software technologies. Furthermore, these models can be evaluated to ensure completeness, consistency, and integrity. Under this framework, various dialogue management functions can be integrated into a generalized dialogue management environment. Such an environment facilitates the transformation of task, user, and information technology attributes into executable dialogue definitions. The architecture of this environment is characterized by functionally layered and modularized software tools for dialogue management. The implementation of the proposed methodologies and the dialogue management architecture results in a set of dialogue management design facilities. These facilities foster effective management of dialogues within organizations and lead to a better understanding of the dialogue process.
|
Page generated in 0.0502 seconds