Thesis (D. Ed.)--Ball State University, 2008. / Title from PDF t.p. (viewed on Nov. 09, 2009). Includes bibliographical references (p. 116-118).

Report (M.S.)--Virginia Polytechnic Institute and State University, 1994. / Abstract. Includes bibliographical references (leaf 36). Also available via the Internet.

This thesis describes continuing development of new programming language C Plus conceived in earlier Bachelor’s Thesis oriented on enhancing C language with high level constructs with no additional cost. During development, several important languages were compared and C Plus along with its grammar were expanded, advantages of additions were discussed and compared with solutions in other languages. Described enhancements were implemented in the compiler.

This thesis focuses on design of small testing machine for measuring tensile strength of materials. Appropriate hardware for driving the motor with serial communication will be used. Main drive is a stepper motor with microstepping. Instructions for motor is provided by microcontroler which will be comunicating with aplication in computer. This aplication will have all user functions nessesary for using this device.

This master’s thesis is focused on description of e-learning by electronic form of teaching as a way of modern education. In theoretical part various forms, possibilities and basic structures of electronic education systems are described. It presents thorough analyses of positives and negatives of e-learning, both, from a technical perspective as well as from social point of view. In the second part of this thesis, the reader becomes familiar with e-learning system AI Tools used by UAMT FEEC VUT in Brno to support the teaching of basics of artificial intelligence. Furthermore, the work deals with the creation of three plug-in modules for this computer programme. These modules are programmed in C# and pursue matters of informed and uninformed state space search, and issues of forward and backward chaining used in expert systems. In conclusion, the results of theoretical and practical work are evaluated

Thesis (M.S.)--West Virginia University, 2005. / Title from document title page. Document formatted into pages; contains xiv, 189 p. : ill. (some col.). Vita. Includes abstract. Includes bibliographical references (p. 157-160).

Cette thèse présente une extension du compilateur CompCert permettant de fournir des garanties formelles de préservation sémantique à des programmes auxquels CompCert n'en donne pas. CompCert est un compilateur pour le langage C vers différentes architectures qui fournit, en plus d'un exécutable compilé, des garanties formelles concernant le comportement du programme assembleur généré. En particulier, tout programme C ayant une sémantique définie selon le standard C est compilé en un programme assembleur équivalent, c'est-à-dire qui a la même sémantique. En revanche, ce théorème n'assure aucune garantie lorsque le programme source n'a pas de sémantique définie : on parle en C de comportement indéfini. Toutefois, des programmes C issus de réels projets largement utilisés contiennent des comportements indéfinis. Cette thèse détaille dans un premier temps un certain nombre d'exemples de programmes C qui déclenchent des comportements indéfinis. Nous argumentons que ces programmes devraient tout de même bénéficier du théorème de préservation sémantique de CompCert, d'abord parce qu'ils apparaissent dans de vrais projets et parce que leur utilisation des comportements indéfinis semble légitime. Dans ce but, nous proposons d'abord un modèle mémoire pour CompCert qui définit l'arithmétique arbitraire de pointeurs et la manipulation de données non initialisées, à l'aide d'un formalisme de valeurs symboliques qui capturent la sémantique d'opérations non définies dans le standard. Nous adaptons l'intégralité du modèle mémoire de CompCert avec ces valeurs symboliques, puis nous adaptons les sémantiques formelles de chacun des langages intermédiaires de CompCert. Nous montrons que ces sémantiques symboliques sont un raffinement des sémantiques existantes dans CompCert, et nous montrons par ailleurs que ces sémantiques capturent effectivement le comportement des programmes sus-cités. Enfin, afin d'obtenir des garanties similaires à celles que CompCert fournit, nous devons adapter les preuves de préservation sémantique à notre nouveau modèle. Pour ce faire, nous généralisons d'importantes techniques de preuves comme les injections mémoire, ce qui nous permet de transporter les preuves de CompCert sur nos nouvelles sémantiques. Nous obtenons ainsi un théorème de préservation sémantique qui traite plus de programmes C. / This thesis presents an extension of the CompCert compiler that aims at providing formal guarantees about the compilation of more programs than CompCert does. The CompCert compiler compiles C code into assembly code for various architectures and provides formal guarantees about the behaviour of the compiled assembly program. It states that whenever the C program has a defined semantics, the generated assembly program behaves similarly. However, the theorem does not provide any guarantee when the source program has undefined semantics, or, in C parlance, when it exhibits undefined behaviour, even though those behaviours actually happen in real-world code. This thesis exhibits a number of C idioms, that occur in real-life code and whose behaviour is undefined according to the C standard. Because they happen in real programs, our goal is to enhance the CompCert verified compiler so that it also provides formal guarantees for those programs. To that end, we propose a memory model for CompCert that makes pointer arithmetic and uninitialised data manipulation defined, introducing a notion of symbolic values that capture the meaning of otherwise undefined idioms. We adapt the whole memory model of CompCert with this new formalism and adapt the semantics of all the intermediate languages. We prove that our enhanced semantics subsumes that of CompCert. Moreover, we show that these symbolic semantics capture the behaviour of the previously undefined C idioms. The proof of semantic preservation from CompCert needs to be reworked to cope with our model. We therefore generalize important proof techniques such as memory injections, which enable us to port the whole proof of CompCert to our new memory model, therefore providing formal guarantees for more programs.

The work is solving the design and implementation of application for presentation measured data and control of A2000 device trought web interface. For connecting to internet is used a module LanReach by company Connectone. Measured values are displayed on the website or send via e-mail messages and saved on FTP server.

Thesis (M.Sc. (Computer Science)) - Rhodes University, 2008.

This thesis is devoted to detect motion and it is focused on energy consumption. The introduction involves possible ways for acceleration measuring and discusses The MEMS technology in accelerometers. It also describes components used in a low-power module and some suggestions leading to resolution of this issue. This thesis includes the module design as well, PCB design and software equipment. Finally, it evaluates the results and the solution accuracy.