Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1993. / Vita. Abstract. Includes bibliographical references (leaves 108-110). Also available via the Internet.

Thesis (M.S.)--Kutztown University of Pennsylvania, 1993. / Source: Masters Abstracts International, Volume: 45-06, page: 3185. Abstract precedes thesis title page as [2] preliminary leaves. Typescript. Includes bibliographical references (leaves 90-94).

Thesis (Ph. D.)--University of Missouri-Columbia, 1998. / Typescript. Vita. Includes bibliographical references (leaves 118-126). Also available on the Internet.

Thesis (Ph. D.)--University of Missouri-Columbia, 1998. / Typescript. Vita. Includes bibliographical references (leaves 118-126). Also available on the Internet.

Thesis (MTech (Chemical Engineering)) -- Cape Peninsula University of Technology, 2009. / Includes bibliographical references (leaves 81-83). Also available online.

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

Although both are computer-based, computer science and computer information systems programs of study are markedly different. Therefore, it is not unreasonable to speculate that success factor differences may exist between them, and to seek an objective means of making such a determination based on a student's traits. The purpose of this study was therefore two-fold--to determine whether differences do in fact exist between successful computer science majors and successful computer information systems majors, and if such was affirmed, to determine a classification rule for such assignment. Based on an aggregate of demographic, pre-college academic, and learning style factors, the groups were found to differ significantly on the following variables (listed in decreasing likelihood of significance, for those with p $<$.05): sex, abstract conceptualization and concrete-abstract continuum measures, SAT - Mathematics, interest ranking for science, active experimentation measure, interest ranking for foreign language, and concrete experience measure. Computer science majors were found to consist of significantly more males than females, and to have significantly higher abstract conceptualization, concrete-abstract continuum, SAT - mathematics, and interest ranking for science measures than computer information systems majors, while computer information systems majors were found to have significantly higher active experimentation, interest ranking for foreign language and concrete experience measures. A classification rule, based on a subset of these factors, was derived and found to classify correctly at a 76.6% rate. These results have potential as a research-based component of an advising function for students interested in pursuing a computer science or computer information systems program of study.

Les réseaux de capteurs communicants sont fortement contraints en ressources: calcul, mémoire et énergie. Dans ce contexte, une attention particulière doit être portée lors de la conception des application, des protocoles de communication et du système d'exploitation qui vont être exécutés sur les plateformes. Le but de cette thèse a été d'adapter les modèles de logiciels utilisés classiquement pour la programmation d'applications au domaine des réseaux de capteurs et de proposer des méthodes et outils permettant de construire une version adaptée du logiciel devant s'exécuter sur les cibles à partir d'un modèle de l'application. Une des composantes qui consomment le plus d'énergie d'un micro-capteur c'est son interface radio. Le comportement d'une couche MAC peut être exprimé comme un automate temporisé avec des états fixes (qui correspondent à des états spécifiques du dispositif physique) ou des états libres (dont le choix de mappage est laissé au programmeur). Le comportement d'un périphérique radio peut lui-même être exprimé comme un automate temporisé composé d'états transitoires (avec durée fixe de l'état) et non transitoires (avec une durée illimitée mais avec une contrainte de temps minimal à passer dans l'état). Le problème de mapper un état software libre de durée fixe sur un chemin dans l'automate du dispositif physique en minimisant l'énergie est prouvé NP-complète. Une heuristique permettant de mapper les états libres d'un automate correspondant à un protocole software sur des états ou chemins entre les états d'un dispositif physique est proposée. L'approche amène à des gains théoriques de 60% pour B-MAC- une couche MAC classique. Pour les 2 catégories de système d'exploitation dédiés à ce type d'applications (modèle à événements et modèle à threads), des squelettes de code sont générés. Adapté a Mantis OS, le squelette de code pour B-MAC confirme en simulation sur la plateforme Worldsens les gains théoriques. Des experimentations sur la plateforme réelle Senslab ont prouvé que l'optimisation en terme d'energie ne modifie pas les performances fonctionnelles du protocole.

Avec l'essor des nouvelles technologies d'intégration sur silicium submicroniques, la consommation de puissance dans les systèmes sur puce multiprocesseur (MPSoC) est devenue un facteur primordial au niveau du flot de conception. La prise en considération de ce facteur clé dés les premières phases de conception, joue un rôle primordial puisqu'elle permet d'augmenter la fiabilité des composants et de réduire le temps d'arrivée sur le marché du produit final. Dans cette thèse, nous proposons une méthodologie efficace pour l'estimation de la consommation de puissance des plateformes MPSoC. Cette méthodologie repose sur une combinaison d'une analyse fonctionnelle de la puissance (FLPA) pour l'obtention des modèles de consommation et d'une technique de simulation au niveau transactionnel (TLM) pour calculer la puissance de l'ensemble du système. Fondamentalement, FLPA est proposée pour modéliser le comportement des processeurs en terme de consommation afin d'obtenir des modèles paramétrés de haut niveau. Dans ce travail, FLPA est étendue pour mettre en place des modèles de puissance génériques pour les différentes parties du système (mémoire, logique reconfigurable, etc.). En outre, un environnement de simulation a été développé au niveau transactionnel afin d'évaluer avec précision les activités utilisées dans les modèles de consommation. La combinaison de ces deux parties conduit à une estimation de la puissance hybride qui donne un meilleur compromis entre la précision et la vitesse. La méthodologie proposée a plusieurs avantages: elle estime la consommation du système embarqué dans tous ses éléments et conduit à des estimations précises sans matériel coûteux et complexe. La méthodologie proposée est évolutive pour explorer des architectures complexes embarquées. Notre outil d'estimation de puissance au niveau du système PETS (Power Estimation Tool at System-level) est développé sur la base de la méthodologie proposée. L'efficacité de notre outil PETS en termes de précision et rapidité est validée par des architectures embarquées monoprocesseur et multiprocesseur conçues autour des plateformes OMAP (3530 et 5912) et FPGA Pro Xilinx Virtex II.

Dans cette thèse, nous proposons d'étudier le débogage interactif d'applications pour les systèmes embarqués MPSoC (Multi-Processor System on Chip). Une étude de l'art a montrée que la conception et le développement de ces applications reposent de plus en plus souvent sur des modèles de programmation et des frameworks de développement. Ces environnements définissent les bonnes pratiques, tant au niveau algorithmique qu'au niveau des techniques de programmation. Ils améliorent ainsi le cycle de développement des applications destinées aux processeurs MPSoC. L'utilisation de modèles de programmation ne garantit cependant pas que les codes pourront etre exécutés sans erreur, en particulier dans le cas de la programmation dynamique, oú ils offrent très peu d'aide à la vérification. Notre contribution pour résoudre ces challenges consiste en une nouvelle approche pour le débogage interactif, appelée Programming Model-Centric Debugging, ainsi qu'une implémentation d'un prototype de débogueur. Le débogage centré sur les modèles rapproche le débogage interactif du niveau d'abstraction fourni par les modèles de programmation, en capturant et interprétant les événements générés pendant l'exécution de l'application. Nous avons appliqué cette approche sur trois modèles de programmation, basés sur les composants logiciels, le dataflow et la programmation d'accélérateur par kernels. Ensuite, nous détaillons comment nous avons développé notre prototype de débogueur, basé sur GDB, pour la programmation de la plate-forme STHORM de STMicroelectronics. Nous montrons aussi comment aborder le débogage basé sur les modèles avec quatre études de cas~: un code de réalité augmentée construit à l'aide de composants, une implémentation dataflow d'un décodeur vidéo H.264 and deux applications de calcul scientifique.