Дисертації з теми "Programed module"

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Programed module.

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 дисертацій для дослідження на тему "Programed module".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Hamed, Hamad Shejoon. "Module based on wavelet-transform for electromyography signals processing." Thesis, Boston, USA, 2020. http://openarchive.nure.ua/handle/document/11841.

Повний текст джерела
Анотація:
In developed software optimal EMG resolution component (sub-signal) was selected, and then the reconstruction of the useful information signal was done. Noise and unwanted EMG parts were eliminated throughout this process. Developed module consists of 5 main units for EMG processing based on wavelet-transform. The obtained results allow in the automated mode of developed module execute processing and analysis EMG signals for classification data.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Librers, Joseph. "A module declaration generator." Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9861.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Broukal, Jakub. "Výpočtové modelování laboratorního hořáku programem FLUENT." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2009. http://www.nusl.cz/ntk/nusl-228876.

Повний текст джерела
Анотація:
Tato diplomová práce je zaměřena na porovnání různých turbulentních a chemických modelů na příkladu volné metanové trysky ústící do vzduchu. Nejprve je uveden teoretický úvod k modelům, následován CFD (Ansys Fluent) simulacemi plamene pomocí vybraných modelů. Jako součást práce je provedeno a vyhodnoceno experimentální měření. V závěru jsou experimentální výsledky porovnány s nasimulovanými daty.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Chege, Stella E. W. "Assessing youth participation in decision-making processes in community development programmes: a case study of the Spes Bona High School Dream2be Peer Education Programme." Thesis, University of the Western Cape, 2011. http://etd.uwc.ac.za/index.php?module=etd&action=viewtitle&id=gen8Srv25Nme4_6109_1360933352.

Повний текст джерела
Анотація:

During this study, the challenges and best practices of youth participation in problem identification, planning, implementation, monitoring and evaluation of programmes were investigated and the effect of project outcomes on the youth and its implications for community development observed. The use of the qualitative research methodology to examine the extent to which the youth are involved in the decision-making processes was employed. In addition, a literature review that pertained to youth development and participatory community development was conducted. In particular, the participatory concept, and its relation to the inclusion of the youth at the decision-making table, was examined. By providing evidence from the empirical data, an argument is 
presented that there are internal rigidities that are a hindrance to the youth in expressing their voice in the decision-making platform. However, the conclusion can be drawn that in order to understand the process of participatory development, it is crucial for the youth, community development practitioners and other stakeholders to understand the socio-economic conditions surrounding the youth as these will ensure positive programme outcomes as well as subsequent sustainable youth development.
 

Стилі APA, Harvard, Vancouver, ISO та ін.
5

Kharrazen, Essaïd. "PSILISP, un modèle d'interprétation parallèle de programmes LISP." Paris 11, 1986. http://www.theses.fr/1986PA112385.

Повний текст джерела
Анотація:
PSILISP comprend la définition d’un langage dérivé de LISP et d’une implémentation de ce langage sur une architecture multiprocesseur de type MIMD à mémoire partagée. Les principales caractéristiques de ce langage sont : portée lexicale des identificateurs, appel des arguments par valeur, évaluation parallèle explicite des arguments d’une application, primitives sans effet de bord. PSILISP étend LISP par l’introduction des « applications parallèles ». Leur évaluation se traduit par une exploitation massive des processeurs pour le calcul en parallèle des arguments. PSILISP utilise la portée lexicale. Ce choix permet d’éviter les défauts sémantiques caractérisant la plupart des implémentations actuelles de LISP. De plus, l’implémentation des environnements qui en résulte, se prête mieux à la gestion du parallélisme. PSILISP apporte une solution au problème du Funarg ascendant par rétention des environnements. Il en résulte que les fonctions sont des objets à part entière. L’expérience PSILISP montre qu’il est possible d’accroitre considérablement la vitesse d’exécution des programmes LISP par l’exploitation du parallélisme
PSILISP comprises the definition of a language derived from LISP and its implementation on an MIMD parallel architecture with shared memory. The main features of PSILISP are: lexically scoped variables, call by value, explicit parallel evaluation of the arguments of an application, primitives with no side effects. PSILISP language extends LISP by the new “parallel application” construct. Its evaluation leads to intensive use of the processors for the parallel computation of the arguments. PSILISP uses lexically scoped variables. This choice avoids the semantical defects that are common to the usual implementations of LISP. Furthermore, the implementation in this case lends itself better to the management of parallel evaluation. PSILISP brings a solution to the Funarg problem by environment retention. Functions become thus members of first class citizens. The PSILISP experience demonstrates that the efficiency of LISP programs can be increased considerably by use of the parallelism
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Kerbrat, Alain. "Méthodes symboliques pour la vérification de processus communicants : étude et mise en oeuvre." Université Joseph Fourier (Grenoble), 1994. http://tel.archives-ouvertes.fr/tel-00005100.

Повний текст джерела
Анотація:
Ce travail porte sur la vérification formelle de programmes parallèles. Parmi les méthodes habituellement utilisées, nous nous intéressons aux méthodes basées sur la construction d'un modèle du programme à vérifier; la vérification proprement dite s'effectue sur ce modèle. Cette approche est limitée par l'explosion de la taille du modèle, dès que le programme traite est de complexité réaliste. Notre but est l'étude et la mise en œuvre de techniques permettant d'effectuer la vérification malgré cette explosion. Les techniques que nous présentons sont liées par une caractéristique commune : l'utilisation de méthodes symboliques de représentation du modèle. Nous étudions en premier lieu des techniques de réduction de modèles. Ces réductions s'opèrent par rapport à des relations d'équivalence basées sur la notion de bisimulation. Nous étudions en particulier un algorithme de minimisation de modèle pendant sa génération (Génération de Modèle Minimal). Dans une seconde partie, nous nous intéressons a deux techniques symboliques de représentation de modèles. Il s'agit d'une part de Graphes de Décision Binaires, qui permettent la manipulation efficace de formules booléennes, et d'autre part de systèmes d'inéquations linéaires, connus sous le nom de polyèdres convexes, pour la manipulation de variables entières. L'utilisation de ces techniques permet de représenter et manipuler des modèles de taille souvent prohibitive pour des méthodes énumératives classiques. Nous présentons la mise en œuvre de méthodes de comparaison et réduction de modèles aves les Graphes de Décision Binaires, avec en particulier l'algorithme de Génération de Modèle Minimal. L'application de l'outil correspondant à plusieurs exemples de programmes LOTOS a permis de montrer l'intérêt, mais aussi les limites de l'utilisation de cette représentation symbolique. Enfin, nous présentons une méthode d'analyse statique de protocoles, basée sur l'utilisation des polyèdres convexes. Cette analyse permet le calcul d'approximations supérieures d'invariants du programme et de vérifier la véracité de propriétés définies en termes de variables du programme.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Adamec, David. "HMI aplikace ve standardu S88 pro čistící stanici v potravinářském průmyslu." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2010. http://www.nusl.cz/ntk/nusl-218412.

Повний текст джерела
Анотація:
The main theme of this thesis is creating HMI applications for a program written in standard S88 with trying of function control system. The introductory section is devoted to the standard S88 with introduction of the main concepts and description of design control system. Other parts are devoted to the description of the CIP station, a program description and requirements for HMI and introduction of HMI performance. The last part deals with the testing functions of the control system in simulation.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Rice, Richard M. "Creating an Ada module description tool." Virtual Press, 1988. http://liblink.bsu.edu/uhtbin/catkey/539630.

Повний текст джерела
Анотація:
The purpose of this project was to develop, using Object Oriented Development (OOD), a software tool identified as the Ada Module Description Tool (AMDT). The AMDT provides an automated way to get a module level description of Ada code. A module level description will identify packages, subprograms, objects and type declarations and relationships. This software tool also has the ability to compare Ada source code with a module level description. The comparison shall identify any object, type, subprogram, or package declared in the module level description that does not match the provided source code.The AMDT is made up of two executable programs that run on a VAX/VMS system. The Module Description Generator (MDG) generates a module level description from a set of Ada source code files. The Module Description Checker (MDC) compares a module level description to the Ada source code. Ada is the required High Order Language for the Department Of Defense. The development methodology used was basically Object Oriented Development as described in the book Software Engineerinq With-AAA by Grady Booch and the Software Standards and Procedure Manual for Object Oriented Development (SSPM-M02.04 Draft).Booch's book is a description of Object Oriented Development methodology, while the SSPM is a set of instructions and standard format to implement the methodology. The total design of the AMDT is documented in five segments. The SSPM defines a segment as the code and documentation resulting from a pass through the OOD process. From a Software Quality Engineer's point of view the AMDT would save time in not having to check module descriptions by hand. From the Software Engineer's point of view, when the code is updated a new module description can be generated easily to keep the documentation current with the code. The AMDT tool as written does not find object declarations in the code. Fortunately the effect is minor because the module descriptions needs to be edited anyway. The module description generated by the MDG may have too much information in it. The designer wants only the types, objects, and operations that aid in the understandability of the design and how it is implemented. The only checks the MDC makes are to see if an identifier on the module description is in the code. It does not check to see if there are extra items in the code that should be required in the module description.
Department of Computer Science
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Chadwick, Sharlene, and chadwick@comcen com au. "An examination of the efficacy of Peer Support Australia’s anti-bullying module for primary schools’." Deakin University. School of Education, 2008. http://tux.lib.deakin.edu.au./adt-VDU/public/adt-VDU20090923.194004.

Повний текст джерела
Анотація:
Abstract This pilot study examined the efficacy of Peer Support Australia’s anti-bullying module for primary schools’. A quantitative questionnaire was used to survey 77 students from two primary schools (mean age 10.1 years) in the greater Sydney, Australia area. One school implemented the anti-bullying intervention module, Speaking Up, (intervention school) the other school did not (non-intervention school). Students completed a survey containing questions relating to bullying behaviours in their school. This questionnaire was developed from Peer Relations Assessment Questionnaire Students (PRAQ) devised by Rigby and Slee (1993). This study has provided further evidence to suggest intervention programs are effective in reducing bullying behaviours. It has quantified the assumptions made regarding the efficacy of Speaking Up as a module which reduces bullying behaviours which was the principal purpose of this study. The current study into the anti-bullying intervention module, Speaking Up, provided further evidence for the following: • students developed friendships across the year groups; • students were more inclusive of others; • students developed the skills to support target students; and • students developed the skills to report bullying behaviours. The anti-bullying intervention module, Speaking Up, was shown to: • reduce the incidence of bullying behaviours; • change attitudes towards bullying behaviours in the culture of the school; • provide greater awareness of the different types of bullying behaviours; • provide support for the longer term benefits of the intervention program. Peer Support Australia’s primary schools anti-bullying module, Speaking Up, is an effective intervention strategy supporting students to develop the skills, knowledge and attitudes necessary to make a positive contribution to the creation and maintenance of a safe school environment by reducing bullying behaviours. The findings of the current study make a contribution to research already undertaken in this area.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Vienney, Mathieu. "Construction de (phi,gamma)-modules en caractéristique p." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2012. http://tel.archives-ouvertes.fr/tel-00763785.

Повний текст джерела
Анотація:
Cette thèse est constituée de deux parties indépendantes, étudiant deux aspects de la théorie des (φ,Γ)-modules en caractéristique p. La première partie porte sur l'étude de la réduction modulo p des représentations cristallines irréductibles de dimension deux. Nous donnons, pour des poids k ≤ p², un calcul explicite de la réduction de V(k,a) pour a dans un disque fermé centré en zéro, généralisant ainsi des résultats déjà connus pour k ≤ 2p. En particulier, nous calculons le plus grand rayon possible pour ce disque, et montrons que dans certains cas, la réduction qui est constante à l'intérieur du disque change sur son bord. Dans la seconde partie, nous nous intéressons aux représentations d'un sous-groupe de Borel de GL[indice]2(Q[indice]p) sur un corps de caractéristique p, et en particulier à celles qui sont lisses, irréductibles et admettent un caractère central. Une méthode pour construire de telles représentations à partir de (φ,Γ)-modules irréductibles a été décrite par Colmez dans sa construction de la correspondance de Langlands p-adique. Après avoir donné un cadre un peu plus général dans lequel la construction de Colmez fonctionne encore, nous classifions les représentations irréductibles du Borel, prouvant que la construction précédente permet d'obtenir toutes les représentations de dimension infinie. Lorsque le corps des coefficients est fini, ou algébriquement clos, nous disposons d'une interprétation galoisienne des (φ,Γ)-modules irréductibles, et la classification précédente permet alors d'obtenir une correspondance entre ces représentations du Borel et des représentations galoisiennes modulaires.
Стилі APA, Harvard, Vancouver, ISO та ін.
11

Mwela, Chipo Misondzi. "Knowledge, attitude and practices of district health personnel about nutrition surveillance programme in Zambia." Thesis, University of the Western Cape, 2005. http://etd.uwc.ac.za/index.php?module=etd&amp.

Повний текст джерела
Анотація:
This study was aimed at identifying factors that are associated with the implementation of the nutrition surveillance programme in Zambia. The objective of the study was to determine the knowledge, attitude and practice of district level health personnel about nutrition surveillance.
Стилі APA, Harvard, Vancouver, ISO та ін.
12

Petzer, Shaun. "The feasibility and challenges of implementing the essential drugs programme into occupational health services." Thesis, University of the Western Cape, 2006. http://etd.uwc.ac.za/index.php?module=etd&amp.

Повний текст джерела
Анотація:

The Essential Drugs Programme (EDP) is one of the tools developed to achieve the objectives of the South African National Drug Policy. Occupational health (OH) services are largely in the private sector and usually provide an element of Primary Health Care in addition to Occupational Hygiene, Medicine and Nursing. The aim of this study was to determine the challenges of implementing the Essential Drugs Programme into Occupatinal Health settings in the Port Elizabeth and East London areas. A descriptive cross-sectional study was carried out. Respondents cited the evidence-based approach to management of clients as a motivating factor for adopting the EDP in Occupational Health clinics.

Стилі APA, Harvard, Vancouver, ISO та ін.
13

Sansaloni, Talens Javier. "Building a Production Module for a Telecommunications Company." Thesis, Norwegian University of Science and Technology, Department of Computer and Information Science, 2009. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-9049.

Повний текст джерела
Анотація:

Nowadays the computer science is extremely important in business; thanks to it you can automate tasks, streamline processes and obtain information. The best resource for the new companies is the information. I mean, today the information is very necessary with the new technologies. Employers who are responsible to decide in their companies, have begun to understand that the information helps their business and also can be one of the best critical factors that can show us if the company work is successfully or not. (1) In recent years organizations have recognized the importance of managing key resources such as the working hours and the raw materials. ERP applications are often used to standardize business processes and unify data; the importance of that software in the companies is growing every day. Although we also can say that in some cases the ERP software doesn´t solve some business problems because there are processes that aren´t standard or common. Moreover, if we would create a module for our company it has to be usable .The usability is very important because that and the automation will help to increase the performance of coordinators. This project is a study of a particular case of a telecommunications company in which it has found a problem with the production process; In This Project we will be able to solve each problem that will appear in various stages of construction our module. These steps include: a study about if there are problems in the selected area of business, whether buying or building a new module, heuristic techniques and methods to improve the usability, quality of build module using polls, usability guidelines, use case... The results have improved the production of the company and the system provides the necessary information to the coordinators but the coordinators want further improvement. The study of the usability helps users to be ready to use the software correctly.

Стилі APA, Harvard, Vancouver, ISO та ін.
14

Benjamin, Louis. "The development and evaluation of a metacognitive programme for young learners in the South African context." Thesis, University of the Western Cape, 2005. http://etd.uwc.ac.za/index.php?module=etd&amp.

Повний текст джерела
Анотація:
The Basic Concepts Mediated Learning Programme (BCMLP) was developed to enhance the cognitive and scholastic functioning of learners who experience barriers to learning in the early years of schooling in the South African context. The study aimed to initiate a process of evaluation of the efficacy of this metacognitive programme with Grade 2 learners from the &lsquo
Cape Flats&rsquo
, an historically disadvantaged community in Cape Town. The study was conducted simultaneously in two local education authorities by independent teams of fieldworkers in each of the education authorities. This quantitative, quasi-experimental, non-equivalent comparison group design study was implemented with learners who were equally assigned to an Experimental group (N=54) or Comparison group (N=55). English home-language and Bilingual (English and Afrikaans) learners made up a majority of the study sample. The study was conducted in English.

Extensive pre-test and post-test batteries consisting of cognitive (information-processing), cognitive modifiability (dynamic assessment), and scholastic tests were used to collect data. A number of structured interview schedules including post-intervention teacher rating scales were also used for the purpose of data gathering. The results from the parametric and non-parametric methods of data analysis selected, revealed a pattern of significant pre- to post-study cognitive and scholastic gains in scores for learners in both the Experimental and Comparison groups (p<
0.05). In addition, it was found that the study participants, irrespective of their designation to the Experimental or Comparison group became more modifiable and demonstrated enhanced information-processing abilities at the end of the study. Significantly greater gains were, however, attained by learners in the Experimental group in a majority of the areas assessed (7 out of 12) (p<
0.05). Learners in the Experimental group were also found to be more responsive to instruction and modifiable than learners in the Comparison group.

Learners who participated in the BCMLP were found to benefit with respect to their knowledge of basic concepts, cognitive and scholastic functioning. However, it was not possible to infer from the current study that findings were attributable to any one specific procedure (mediational teaching, concept teaching, vocabulary teaching and teaching to enhance information-processing) or process (Basic Concept Teaching Model) of this metacognitive programme. Furthermore, the study had a number of limitations and findings should be regarded with some caution until replication studies can be completed and the long-term effects of the study can be evaluated.

The study provides some evidence for the efficacy of short-term, small group intervention programmes implemented by Learning Support Teachers within disadvantaged communities. The study also provides some initial evidence for the efficacy of the BCMLP (a specially designed metacognitive programme). The BCMLP was found to be both appropriate and manageable for Learning Support Teachers to implement in the South African context.
Стилі APA, Harvard, Vancouver, ISO та ін.
15

Stupinský, Šimon. "Pokročilé metody pro syntézu pravděpodobnostních programů." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445587.

Повний текст джерела
Анотація:
Pravdepodobnostné programy zohrávajú rozhodujúcu úlohu v rôznych technických doménach, ako napríklad počítačové siete, vstavané systémy, stratégie riadenia spotreby energie alebo softvérové produčkné linky. PAYNT je nástroj na automatizovanú syntézu pravdepodobnostných programov vyhovujúcich zadaným špecifikáciam. V tejto práci rozširujeme tento nástroj predovšetkým o podporu optimálnej syntézy a syntézy viacerých špecifikácií. Ďalej sme navrhli a implementovali novú metódu, ktorá dokáže efektívne syntetizovať parametre so spojitým definičným oborom ovplyvňujúce pravdepodobnostné prechody popri syntéze topológie programov, t.j., podporu pre syntézu topológie aj parametrov súčasne. Demonštrujeme užitočnosť a výkonnosť nástroja PAYNT na širokej škále prípadových štúdií z rôznych aplikačných domén ktoré majú uplatnenie v reálnom svete. Pri náročných problémoch syntézy môže PAYNT výrazne znížiť dobu behu až z dní na minúty a zároveň zaistiť úplnosť procesu syntézy.
Стилі APA, Harvard, Vancouver, ISO та ін.
16

Al-Yamani, S. A. "An overview of programmed learning and computer-assisted learning, and implementation of a PL/CAL module." Thesis, University of Bath, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.379574.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
17

Pillay, Kenneth Derek Anthony. "A multiprocessor system for a fibre optic local network programmed in Modula-2." Thesis, University of Exeter, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.279816.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
18

Cohen, Albert. "Analyse et transformation de programmes: du modèle polyédrique aux langages formels." Phd thesis, Université de Versailles-Saint Quentin en Yvelines, 1999. http://tel.archives-ouvertes.fr/tel-00550829.

Повний текст джерела
Анотація:
Les microprocesseurs et les architectures parallèles d'aujourd'hui lancent de nouveaux défis aux techniques de compilation. En présence de parallélisme, les optimisations deviennent trop spécifiques et complexes pour être laissées au soin du programmeur. Les techniques de parallélisation automatique dépassent le cadre traditionnel des applications numériques et abordent de nouveaux modèles de programmes, tels que les nids de boucles non affines, les appels récursifs et les structures de données dynamiques. Des analyses précises sont au c{\oe}ur de la détection du parallélisme, elles rassemblent des informations à la compilation sur les propriétés des programmes à l'exécution. Ces informations valident des transformations utiles pour l'extraction du parallélisme et la génération de code parallèle. Cette thèse aborde principalement des analyses et des transformations avec une vision par instances, c'est-à-dire considérant les propriétés individuelles de chaque instance d'une instruction à l'exécution. Une nouvelle formalisation à l'aide de langages formels nous permet tout d'abord d'étudier une analyse de dépendances et de définitions visibles par instances pour programmes récursifs. L'application de cette analyse à l'expansion et la parallélisation de programmes récursifs dévoile des résultats encourageants. Les nids de boucles quelconques font l'objet de la deuxième partie de ce travail. Une nouvelle étude des techniques de parallélisation fondées sur l'expansion nous permet de proposer des solutions à des problèmes d'optimisation cruciaux.
Стилі APA, Harvard, Vancouver, ISO та ін.
19

Balmas, Françoise. "Contribution à la conceptualisation de programmes : modèle, implémentation, utilisation et évaluation." Paris 8, 1995. http://www.theses.fr/1995PA081071.

Повний текст джерела
Анотація:
Cette these propose un modele de caracterisation de l'activite des programmes. Tout programme est decrit selon l'ensemble des calculs qu'il effectue, ceux-ci etant classes en six categories admettant plusieurs variations. Actuellement, ce modele s'applique aux programmes integrant une seule boucle. La caracterisation d'un programme au travers du modele, ou schema, constitue l'explication globale de ce programme, celle-ci revelant sa structure algorithmique et permettant de le rattacher a un ensemble de stereotypes que les programmeurs experimentes connaissent bien. Le schema est egalement la specification abstraite d'un probleme a implementer, celle-ci etant alors representee sous une forme particulierement concise. La description conceptuelle est l'equivalent du programme resume par un schema dont elle est l'explication ou la specification complete. Sur la base des descriptions conceptuelles, trois systemes ont ete implementes: 1. Prisme calcule le schema et la description conceptuelle d'un programme ; il fournit donc une explication de ce programme qui aide a sa comprehension, 2. Signedit genere un programme a partir d'une description conceptuelle ; de ce fait, il introduit un style de programmation qui minimise les interventions du programmeur, 3. Acl est un langage de programmation qui propose d'utiliser les schemas comme primitives ; il integre ainsi des constructions de haut niveau d'abstraction qui favorisent le paradigme de la programmation conceptuelle. Ces systemes ont permis la validation du modele. En effet, pour environ cent cinquante programmes, le programme genere par signedit a partir de la description conceptuelle calculee par prisme est equivalent, en terme de calculs effectues, au programme original. Actuellement, ils sont intensivement utilises pour effectuer les experimentations necessaires a l'extension du modele, notamment vers un modele conceptualisant des programmes comportant plusieurs boucles.
Стилі APA, Harvard, Vancouver, ISO та ін.
20

Cohen, Albert Henri. "Analyse et transformation de programmes : du modèle polyédrique aux langages formels." Versailles-St Quentin en Yvelines, 1999. https://tel.archives-ouvertes.fr/tel-00550829.

Повний текст джерела
Анотація:
Les microprocesseurs et les architectures parallèles d'aujourd'hui lancent de nouveaux défis aux techniques de compilation. En présence de parallélisme, les optimisations deviennent trop spécifiques et complexes pour être laissées au soin du programmeur. Les techniques de parallélisation automatique dépassent le cadre traditionnel des applications numériques et abordent de nouveaux modèles de programmes, tels que les nids de boucles non affines, les appels récursifs et les structures de données dynamiques. Des analyses précises sont au coeur de la détection du parallélisme, elles rassemblent des informations à la compilation sur les propriétés des programmes à l'exécution. Ces informations valident des transformations utiles pour l'extraction du parallélisme et la génération de code parallèle. Cette thèse aborde principalement des analyses et des transformations avec une vision par instances, c'est-à-dire considérant les propriétés individuelles de chaque instance d'une instruction à l'exécution. Une nouvelle formalisation à l'aide de langages formels nous permet tout d'abord d'étudier une analyse de dépendances et de définitions visibles par instances pour programmes récursifs. L'application de cette analyse à l'expansion et la parallélisation de programmes récursifs dévoile des résultats encourageants. Les nids de boucles quelconques font l'objet de la deuxième partie de ce travail. Une nouvelle étude des techniques de parallélisation fondées sur l'expansion nous permet de proposer des solutions à des problèmes d'optimisation cruciaux.
Стилі APA, Harvard, Vancouver, ISO та ін.
21

Balbiani, Philippe. "Une caracterisation modale de la semantique des programmes logiques avec negation." Toulouse 3, 1991. http://www.theses.fr/1991TOU30003.

Повний текст джерела
Анотація:
La semantique de la programmation en logique avec negation est generalement definie au moyen d'une formule de completion traduisant dans une certaine logique les proprietes des strategies de resolution les plus connues. Il y a d'abord eu, dans la logique classique du premier ordre, la formule de clark. Vinrent ensuite des extensions de la formule de clark dans la logique a trois valeurs et la logique lineaire. Toutes ces formules offrent des preuves d'adequation et de completude de la regle de la negation par echec et des strategies de resolution de la programmation en logique. Elles omettent toutefois de considerer l'aspect temporel de la resolution et n'en caracterisent pas totalement les proprietes. Tenant compte de l'aspect temporel des relations de cause a effet entre queues et tetes des clauses d'un programme, une formule modale de completion des programmes logiques est definie. Cette formule permet la caracterisation des notions de demontrabilite, de non-demontrabilite, de boucle, de calculabilite a l'infini liees aux strategies de resolution de la programmation en logique. C'est notamment la caracterisation de la non-demontrabilite et des boucles qui justifie l'emploi de la logique modale pour definir la semantique des programmes avec negation. La formule de completion permet egalement une caracterisation du modele naturel des programmes stratifiables ainsi que du modele parfait des programmes localement stratifiables. Dans la logique modale k4, la formule modale de completion offre les memes resultats d'adequation et de completude que ceux proposes dans la logique a trois valeurs par la formule de clark: adequation et completude de la regle de la negation par echec et des resolutions de la programmation en logique. Elle offre par ailleurs une caracterisation modale du plus petit point fixe et de la premiere puissance ordinale non-finie des operateurs de point fixe de la programmation en lo
Стилі APA, Harvard, Vancouver, ISO та ін.
22

Issarny, Valérie. "Un modele pour le traitement des exceptions dans les programmes paralleles." Rennes 1, 1991. http://www.theses.fr/1991REN10109.

Повний текст джерела
Анотація:
L'expression du traitement des exceptions dans les programmes permet d'ecrire des programmes, dits robustes, qui exhibent un comportement satisfaisant meme dans les cas ne survenant que tres rarement. Nos travaux ont consiste a definir un modele de traitement d'exceptions pour les programmes imperatifs paralleles et a etudier l'expression de ce modele dans des langages paralleles. Dans la premiere partie de ce memoire, nous procedons a un tour d'horizon du traitement d'exceptions dans le cadre sequentiel. La definition de notre modele de traitement d'exceptions fait l'objet de la deuxieme partie. L'originalite de notre approche reside dans le fait que nous proposons un modele de traitement d'exceptions, base pour la definition de mecanismes, au lieu de simplement examiner l'expression de ce traitement dans un langage specifique. Nous illustrons l'utilisation de notre modele en integrant un mecanisme l'exprimant dans deux langages paralleles. Ces deux langages sont respectivement le langage csp et un langage integrant la notion de multiprocedure, mecanisme d'abstraction de calculs paralleles. Au cours de ces etudes, nous proposons un systeme de verification fonde sur la logique de hoare. Ceci constitue une autre originalite de notre travail puisque la preuve de correction de programmes paralleles en presence d'exceptions n'a que tres rarement ete abordee dans la litterature. Dans la troisieme partie, nous etudions l'expression du traitement des exceptions dans le langage parallele a objets arche, concu dans le cadre du projet inria/bull gothic developpe a l'irisa. Ce travail qui se veut plus pragmatique nous permet de prendre en compte des caracteristiques absentes dans les langages examines au cours de la deuxieme partie
Стилі APA, Harvard, Vancouver, ISO та ін.
23

Hu, Yongquan. "Autour du programme de Langlands local p-adique et modulo p." Paris 11, 2009. http://www.theses.fr/2009PA112136.

Повний текст джерела
Анотація:
Soient p un nombre premier et F un corps local complet pour une caluation discrète de corps résiduel fini de caractéristique p. Cette thèse s'inscrit dans le cadre du programme de Langlands local p-adique et modulo p, qui a été initié par Breuil. Elle consiste en trois chapitres. Nous supposons F de caractéristique 0 au premier chapitre et F de caractéristique 0 non ramifié au troisième. Au premier chapitre, nous montrons une partie d'une conjecture de Breuil et Schneider sur l'existence de réseaux stables sur des représentations localement algébriques de \GL_n(F). Au deuxième chapitre, à une représentation lisse irréductible de \GL_2(F) sur overline F p avec caractère central, nous associons canoniquement un diagramme qui détermine la classe d'isomorphisme de la représentation de départ. Au troisieme chapitre, nous appliquons la construction du second chapitre aux représentations considérées par Breuil and Paskunas pour construire de nouvelles représentations supersingulières de \GL_2(F)
Let p be a prime and F be a complete discrete valuation field with a finite residual field of characteristic p. This thesis follows the p-adic and modulo p local Langlands programme which is proposed by Breuil. It consists of three chapters. Suppose moreover that F is of characteristic 0 in the first chapter and F unramified in the third. In the first chapter, we prove a part of a conjecture of Breuil and Schneider on the existence of stable lattices inside certain locally algebraic representations of \GL_n(F). In the second chapter, to an irreducible smooth representation of \GL_2(F) over \overline{\F}_p with a central character, we canonically associate a diagram which determines the isomorphism class of the original representation. In the third chapter, we use the construction of the second chapter to construct new supersingular representations in the cases considered by Breuil and Paskunas
Стилі APA, Harvard, Vancouver, ISO та ін.
24

Carine, St-Pierre. "Le modèle de compétences comme tronc commun des programmes de traduction." Thesis, Université d'Ottawa / University of Ottawa, 2014. http://hdl.handle.net/10393/31866.

Повний текст джерела
Анотація:
La présente thèse vise d’une part à dégager les éléments d’un programme de traduction et d’autre part à déterminer si certains éléments sont communs à plus d’un programme. L’étude pose comme hypothèse principale que, bien que chaque programme de traduction soit ancré dans un contexte culturel, social, politique et académique différent, il existe un tronc commun à la majorité des programmes. Sur le plan théorique, l’accent sera mis sur la définition des compétences qu’un traducteur doit avoir une fois son diplôme en main et sur les différents éléments compris dans un programme de traduction. Une autre hypothèse avancée est que les compétences et sous-compétences du traducteur sont à la base du programme et donc, une fois celles-ci bien définies, elles pourraient servir à uniformiser les programmes se fondant sur des écoles de pensées différentes. Sur le plan expérimental, une étude empirique et la comparaison de deux programmes universitaires qui fonctionnent dans deux contextes entièrement différents permettront de cerner les divers éléments d’un programme de traduction.
Стилі APA, Harvard, Vancouver, ISO та ін.
25

Wu, YanHao. "SIP-based location service provision." Thesis, University of the Western Cape, 2005. http://etd.uwc.ac.za/index.php?module=etd&amp.

Повний текст джерела
Анотація:
Location-based service (LBS) is a geographical location-related service that provides highly personalized services for users. It is a platform for network operators to provide new and innovative ways of increasing profits from new services. With the rapidly growing trend toward LBS, there is a need for standard LBS protocols. This thesis started with introducing the Internet Engineering Task Force GEOPRIV working group, which endeavors to provide standard LBS protocols capable of transferring geographic location information for diverse location-aware applications. Through careful observation, it was found that Session Initiation Protocol (SIP) is well suited to the GEOPRIV requirements. The aim of this research was therefore to explore the possibility of the integration of LBS and the SIP protocol and, to some extent fulfill the GEOPRIV requirements.
Стилі APA, Harvard, Vancouver, ISO та ін.
26

Chiang, Yen-Hsi. "Advising module: Graduate application system for the Computer Science Graduate Program." CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2725.

Повний текст джерела
Анотація:
The Advising Module: Graduate Application System is a Web-based application system that provides quality advice on coursework for prospective as well as continuing graduate students. It also serves as an improved tracking system for the graduate coordinator. Authorized parties may obtain access to status evaluations, master's options, and permitted course waivers, course listings, personal data, various advisement forms, application usage statistics, and automatic data updating process reports.
Стилі APA, Harvard, Vancouver, ISO та ін.
27

Frieslaar, Denise Eleanor. "The development and evaluation of the Objective Structured Dispensing Examination (OSDE) for use in an undergraduate pharmacy training programme." Thesis, University of the Western Cape, 2004. http://etd.uwc.ac.za/index.php?module=etd&amp.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
28

Palmer, Michele. "The capacity building programme for youth at risk in the Western Cape: A community-based alternative for rehabilitation and reintegraton." University of the Western Cape, 2004. http://etd.uwc.ac.za/index.php?module=etd&amp.

Повний текст джерела
Анотація:
There is a growing sense of apathy and lack of focus amongst the youth, which contributes to the threat of social integration. Constructive alternatives are therefore needed to curb gangsterism, drug abuse and other criminal activities among youth at risk. It has become imperative to challenge the present situation in which crime has become one of the most attractive options facing our youth. Through a programme of contructive engagement, a substantial difference can be made in their rehabilitation and ultimately their active participation in building a safer society. A strong emphasis should be placed on the development and implementation of effective restorative justice principles, alternative sentencing and community-based rehabilitation programmes, particularly for young people in marginalised communities.
Стилі APA, Harvard, Vancouver, ISO та ін.
29

Bhikha, Rashid Ahmed Hassen. "African Renaissance in health education : developing an integrative programme of Unani- Tibb training for health care professionals in Southern Africa." Thesis, University of the Western Cape, 2004. http://etd.uwc.ac.za/index.php?module=etd&amp.

Повний текст джерела
Анотація:

The present healthcare system in South Africa suffers from a number of serious deficiencies. Whilst orthodox bio-medicine is well established in most first world countries, its total introduction and implementation into all communities within South Africa faces many obstacles. The cost of diagnostic techniques, investigative procedures and pharmaceutical products, the availability of competent medical staff in the non-urban areas, and the lack of acceptance of the philosophy and practice of orthodox bio-medicine in rural regions are but some of the factors which conspire against the general application of this orthodox medical paradigm.

Another problem confronting healthcare and medical practice in South Africa, particularly at this stage of our historical development, is the absolute focus on orthodox bio-medicine, often to the detriment of other medical paradigms that also have advantages to offer. Can the integration of another medical paradigm, such as Unani-Tibb, enhance the practice of orthodox bio-medicine in this country?

The aim of the thesis was to investigate the possibility of integrating Unani-Tibb with orthodox biomedicine (also termed conventional, Western or allopathic medicine) and assess its potential for improving delivery of an effective, affordable and appropriate healthcare system in South Africa.

The research questions which the thesis seeks to answer is whether this integration is possible and whether the delivery of healthcare to the South African population can be enhanced. Changes in the provision of medical education are necessary, and occupy a pivotal role in allowing for this integration. Unani-Tibb is a traditional medical system practiced extensively on the Indian sub-continent and in other parts of the world. At present, however, it is minimally practiced in South Africa. Its primary principle is the energetic promotion of health maintenance behaviour and the prevention of disease, through effective application of dietotherapy, pharmacotherapy and other interventions, as well as the empowerment of the patient towards adopting behavioural changes and lifestyle adaptations. One positive aspect of Unani-Tibb is that it has many features in common with both orthodox biomedicine and African Traditional medicine. These commonalities should allow for greater acceptance by orthodox healthcare professionals, as well as the general population. The first part of the study involved the research and conceptualisation required for the production of a series of customized training modules which introduced the theory and practice of Unani-Tibb. A twelve month part-time training programme based on these modules was subsequently conducted with a number of healthcare professionals presently in active practice and with a background of orthodox medical or nursing healthcare. This outcomes-based training programme included a number of specifically designed training activities, such as case studies, practical exercises and assignments. Appropriate evaluations and assessments were pursued in order to measure performance outcomes and attitudes. Questionnaires for assessing the motivation and satisfaction of the participants were also completed. The second part of the study was in the form of a pilot participant research project, in which the participants applied the information from the integrative programme to a number of chronically ill patients who had previously been treated with standard orthodox bio-medical procedures. The parameters derived for clinical efficacy, cost-benefit and improvement in Quality of Life from Unani-Tibb treatment were then compared to equivalent results obtained by orthodox bio-medicine. In all parameters inspected, the integrative training programme compared favourably to orthodox bio-medical practice. Not only was there an improved clinical efficacy, but the cost-benefit was shown to be superior in most indices measured. The Quality of Life comparison, which assessed the patient&rsquo
s total health status, subjective behaviour and attitude, generally favoured the integrative training programme. The thesis serves to suggest that the integration of Unani-Tibb into orthodox bio-medical training in South Africa is a distinct possibility, and could ultimately allow for treatment which is clinically acceptable, cost-effective and which provides an improved Quality of Life for the population as a whole. I suggest that this pilot study be repeated more extensively, thereby allowing for a more confident and objective assessment.

Стилі APA, Harvard, Vancouver, ISO та ін.
30

Larney, Redewan. "ABET programmes at community learning centres in the Western Cape." Thesis, University of the Western Cape, 2006. http://etd.uwc.ac.za/index.php?module=etd&action=viewtitle&id=gen8Srv25Nme4_6055_1194348734.

Повний текст джерела
Анотація:

The problem that gave rise to this study was to determine how Adult Basic Education and Training (ABET) was implemented in the Western Cape and to find answers to the question of "
what exactly is the nature of the relationship between adult education and training"
?

Стилі APA, Harvard, Vancouver, ISO та ін.
31

Salset, Thierry. "Correction séquentielle de programmes parallèles dans le modèle asynchrone et mémoire partagée." Phd thesis, Ecole des Ponts ParisTech, 1997. http://tel.archives-ouvertes.fr/tel-00005620.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
32

Lefrançois, Simon. "Évaluation empirique d’un modèle explicatif du succès des programmes d'aide aux employés." Mémoire, Université de Sherbrooke, 1996. http://hdl.handle.net/11143/9033.

Повний текст джерела
Анотація:
L'objet de ce mémoire est de mesurer l'efficacité des programmes d'aide aux employés (PAE). Dans un deuxième temps, nous cherchons à identifier les facteurs explicatifs du succès des PAE. Nous avons conceptualisé ces interrogations autour d'un modèle théorique qui découpe le concept de succès des PAE en trois variables dépendantes soit, la résolution de la situation problématique, la satisfaction des usagers envers le PAE et l'amélioration de la performance au travail grâce et à la suite des consultations au PAE. De même, nous avons identifié quatre groupes de variables indépendantes susceptibles d'expliquer les variations dans le succès des PAE soit: le profil des usagers, les caractéristiques de la situation problématique, les caractéristiques de la consultation et finalement les caractéristiques de l'organisation à laquelle appartiennent les usagers. Pour évaluer ce modèle et afin de répondre à ces interrogations nous avons sondé par questionnaire vingt-deux usagers cliniques d'un PAE externe. L'échantillon était composé majoritairement de femmes âgées entre 30 et 49 ans, travaillant principalement dans des emplois professionnels. L'analyse quantitative des réponses nous a permis de conclure que généralement le PAE est assez efficace pour résoudre les situations problématiques vécues par ses usagers. Les résultats tendent aussi à montrer que les usagers du PAE sont très satisfaits des services dispensés. Il ressort finalement que, grâce aux consultations au PAE, l'impact négatif de la situation problématique sur la performance au travail de l'usager disparaît et même qu'en moyenne la performance au travail s'améliore légèrement. Suite aux analyses bi-variées, nous pouvons identifier certains facteurs explicatifs du succès des PAE. Les principales variables pour lesquelles le succès des PAE variait significativement étaient le sexe, l'âge, la catégorie d'emploi, le type de difficultés, l'urgence de la situation problématique, le motif de cessation des services, la taille de l'entreprise et la présence ou non d'un syndicat dans l'entreprise du répondant.
Стилі APA, Harvard, Vancouver, ISO та ін.
33

SALSET, THIERRY. "Correction séquentielle de programmes parallèles dans le modèle asynchrone et mémoire partagée." Marne-la-vallée, ENPC, 1997. http://www.theses.fr/1997ENPC9711.

Повний текст джерела
Анотація:
Nous étudions une propriété de correction de programmes écrit dans un sous-ensemble de fortran étendu avec des constructions parallèles empruntées à un projet de norme ANSI. Le modèle de parallélisme est asynchrone et a mémoire partagée. La propriété est une équivalence entre le programme parallèle étudie et sa version séquentielle. Sous certaines hypothèses, nous prouvons que cette propriété résulte de la préservation des dépendances, définies sur la version séquentielle, par le flot de contrôle et les synchronisations. La condition essentielle de préservation est une relation d'implication entre la formule de dépendance et une formule de précédence. Celle-ci est définie à partir d'un graphe d'instances d'instructions qui représente la réunion de la relation de précédence due au contrôle et d'une relation de précédence induite par le mécanisme d'attente résultant de l'exécution des instructions de synchronisation. Nous passons, par projection, du graphe d'instances, infini, a un graphe d'instructions, fini, équivalent dont les arcs sont étiquetés par des formules d'arithmétique du premier ordre. Pour faciliter le calcul des précédences, nous introduisons un graphe de blocs d'un nouveau type. À l'intérieur d'un bloc la précédence est seulement due au contrôle. En considérant des chemins de longueur fini, dans ce graphe, entre la source et la cible de la dépendance, nous parvenons à exprimer des approximations de la formule de précédence. Dans le cas où les expressions du programme sont linéaires, un algorithme tente de prouver que la formule de correction, qui est alors une formule de pressurer, est une tautologie. Il est fait appel pour la réduction des systèmes au test oméga conçu à l'université du maryland. L’algorithme manipule des systèmes d'équations et d'inéquations sous forme symbolique. Il ne fournit pas seulement un résultat binaire (oui/non), mais un ensemble réduit de contraintes qui peut être interprète comme une condition de validité à respecter.
Стилі APA, Harvard, Vancouver, ISO та ін.
34

Sellami, Yanis. "Raisonnement abductif modulo des théories et application à la vérification de programmes." Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALM018.

Повний текст джерела
Анотація:
Le travail présenté dans cette thèse introduit une méthode générique pour calculer les impliqués premiers d'une formule logique donnée dans une théorie décidable. Il s'agit intuitivement des conséquences clausales les plus générales de cette formule modulo cette théorie. Cette méthode fonctionne en ajoutant récursivement à un ensemble initialement vide des littéraux extraits d'un ensemble d'hypothèses présélectionnées, et ce jusqu'à ce qu'elle puisse démontrer que la disjonction des littéraux de cet ensemble est une conséquence de la formule sur laquelle elle travaille. On démontrera la terminaison, la correction et la complétude de cet algorithme. Cela confirmera qu'il calcule effectivement des impliqués de la formule de départ et qu'il retourne tous les impliqués premiers qui peuvent être construits à partir de l'ensemble d'hypothèses de départ. On construira ensuite à partir de cette méthode un algorithme l'appliquant à la génération d'invariants de boucles de programmes que l'on cherche à vérifier. On présentera également une implémentation C++ de ces deux méthodes, regroupées dans une infrastructure logicielle baptisée Abdulot. Cette implémentation sera utilisée pour évaluer expérimentalement les deux méthodes. On découvrira à cette occasion qu'elles sont capables de générer des solutions pour une large classe de problèmes.Cette thèse présente également un travail introductif sur la minimisation de modèles en logique de séparation et son implémentation. La méthode décrite pourrait également être utilisée pour résoudre des instances de bi-abduction en logique de séparation, à l'aide d'un algorithme qui sera décrit mais pas implémenté
This thesis introduces a generic method to compute the prime implicates of a logical formula, i.e., the most general clausal consequences of a given logical formula, in any given decidable theory. The principle used is to recursively add to an initially empty set, literals taken from a preselected set of hypotheses until it can be proven that the disjunction of these literals is a consequence of the formula under consideration. Proofs of the termination, correctness and completeness of this algorithm are provided, which ensures that the clauses the method computes are indeed implicates and that all the prime implicates that can be constructed from the initial set are indeed returned. This algorithm is then applied in the context of program verification, in which it is used to generate loop invariants that permit to verify assertions on programs. The Abdulot framework, a C++ implementation of the system, is also introduced. Technical considerations required for the design of such systems are detailed, such as their insertion within a well-furnished ecosystem of provers and SMT-Solvers. This implemented framework will be used to perform an experimental evaluation of the method and will show its practical relevance, as it can be used to solve a large scope of problems.This thesis also presents introductory work on an implicant minimizer and applies it in the context of separation logic. The method described in this part could also be used to perform bi-abduction in separation logic, with an algorithm that is described but has not been implemented
Стилі APA, Harvard, Vancouver, ISO та ін.
35

Duquesne, Pierre. "Un modèle de langage pour la mise à jour dynamique de programmes." Rennes 1, 2011. http://www.theses.fr/2011REN1S010.

Повний текст джерела
Анотація:
De nombreux systèmes informatiques nécessitent d'être en fonctionnement permanent et sans interruption. Cependant, ces systèmes doivent également être régulièrement adaptés aux changements du domaine dans lequel ils opèrent et aux évolutions des besoins des utilisateurs. La mise à jour logicielle dynamique est l'opération qui consiste à remplacer un programme en exécution par une version suivante sans interrompre le fonctionnement du programme. Cette thèse divise le problème de l'évolution dynamique des programmes en deux sous-problématiques. La difficulté essentielle est d'assurer des exécutions globalement cohérentes au cours du temps, de sorte qu'un processus mis à jour réalise effectivement la tâche qui lui est confiée sans erreur de fonctionnement. La difficulté accidentelle, quant à elle, est causée par l'incapacité de définir et de comprendre la mise à jour dynamique dans les langages de programmation actuels. Pour répondre à ces problématiques, un modèle de langage est présenté. Il permet d'exprimer l'évolution dynamique des programmes et de prévoir le comportement des processus mis à jour. Ce modèle de langage introduit une entité de code - l'étape - associée à un opérateur de contrôle de haut-niveau - reach - pour permettre aux programmeurs de faire émerger la structure temporelle des programmes. La décomposition en étapes offre une vision de haut-niveau des chronologies possibles lors de l'exécution et fournit aux programmeurs des points de contrôle où le futur de l'exécution peut être entièrement redéfini
Numerous software systems must execute constantly without being interrupted. On the other hand, they also have to be regularly adapted to changes in their operational domains and to the evolution of users requirements. Dynamic software update is the process that consists in replacing a running program with a newer version without interrupting the program operation. This thesis divides the dynamic evolution problem in two sub-problems. The essential difficulty is to ensure that the resulting executions will be globally coherent across time, such that updated processes actually perform their task without producing any error. The accidental difficulty is caused by the impossibility to define and understand dynamic software updates in the existing programming languages. To address these problems, a language model is presented. It gives the ability to express the dynamic evolutions of programs and to foresee the behaviors produced by dynamically updated processes. This language model introduce a code entity - the stage - associated with a high level control operator - reach - that allows programmers to express the temporal stucture of programs. The program decomposition in stages offers a high level view of the possible executions chronologies and gives programmers control points from where the entire future of computations can be redefined
Стилі APA, Harvard, Vancouver, ISO та ін.
36

Shear, Raymond F. "Implementation of a Modula 2 subset compiler supporting a "C" language interface using commonly available UNIX tools /." Online version of thesis, 1989. http://hdl.handle.net/1850/10505.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
37

Sewry, David Andrew. "Concurrency in modula-2." Thesis, Rhodes University, 1985. http://hdl.handle.net/10962/d1004369.

Повний текст джерела
Анотація:
A concurrent program is one in which a number of processes are considered to be active simultaneously . It is possib l e to t hink of a process as being a separate sequential program executing independently of other processes, although perhaps communicating with them at desired pOints . The concurrent program, as a whole, can be executed in one of two ways: il ii) in true concurrent manner, wi th each process executing on a dedicated processor in a quasi - concurrent manner, where a processor's processes . time is multiplexed between single the There are two motivations for the study of concurrency in programming languages : i) concurrent programming facilities can be exploited in systems where one has more t han one processor . As technology i mproves, machines having multiple processors will proliferate ii) concurrent p r ogramming facilities may allow programs to be structured as independent , bu t co - operating, processes which can then be implemented on a single processor system . This structure may be more natural to the programmer then the traditional sequential structures. An example is provided by Conway's - 1- Clearly, languages Pascal) problem [Ben82] . by their very nature, traditional sequential- type (Fortran, Basic, Cobol and earlier versions of prove inadequate for the purposes of concurrent programming without considerable extension (which some manufacturers have provided, rendering their compilers non standard-conforming). The general convenience of high level languages provides strong motivation for their development for rea l time programming. Modula - 2 [Wir83] is but one of a number of such r ecently developed languages, designed not only to fulfil a "sequential" role but also to offer facilities for concurrent programming. Developed by Niklaus Wirth in 1979 as a successor to Pascal and Modula, it is intended to serve under the banner of a generalpurpose systems - implementation language. This thesis investigates concurrency i n Modula - 2 and takes the following form: i ) an analYSis of the concurrent facilities offered ii) problems and difficulties associated with these facilities iii) improveme nts and enhancements, including the feasibility of using Modula - 2 to simulate constructs found in other languages, such as the Hoare monitor [Hoa74] and the Ada rendezvous [Uni81]. - 2- Each section concludes with an appraisal of the work conducted in that section . The final section consists of a critical assessment of those Modula - 2 language constructs and facilities provided for the implementation of concurrency and a brief look at concurrency in Modula, Modula-2's predecessor. - Introduction.
KMBT_363
Adobe Acrobat 9.53 Paper Capture Plug-in
Стилі APA, Harvard, Vancouver, ISO та ін.
38

Lembani, Martina Esinala. "Assessing the effectiveness and efficiency of targeting methods in public works programmes in Malawi: the case of MASAF and CARE managed programmes in the central region of Malawi." Thesis, University of the Western Cape, 2005. http://etd.uwc.ac.za/index.php?module=etd&action=viewtitle&id=gen8Srv25Nme4_7748_1183469275.

Повний текст джерела
Анотація:

This research was aimed at assessing the effectiveness and efficiency of community based targeting and self-targeting methods in the selection of beneficiaries in Safety nets programmes in Malawi. These methods have been chosen because they have been largely used for selecting beneficiaries in Safety net programmes. The focus was on assessing the effectiveness and efficiency of these methods where effectiveness refers to the ability of the methodology to reach out to the poorest while efficiency is a measure of the costs that are associated with the identification of these people. In order to objectively assessed the challenges associated with these methods, the study concentrated on Public Works Programmes, which targets relatively high number of people compared to the other programmes and have used both methods for identifying beneficiaries.

Стилі APA, Harvard, Vancouver, ISO та ін.
39

Roberts, Anthony Francis. "The effects of a teacher development programme based on Philosophy for Children." Thesis, University of the Western Cape, 2006. http://etd.uwc.ac.za/index.php?module=etd&action=viewtitle&id=gen8Srv25Nme4_3162_1190192298.

Повний текст джерела
Анотація:

This study explored the effects of a teacher development programme based on Philosophy for Children. One of the challenges facing education in South Africa is that the school curriculum has to promote the development of values, such as respect for life, equality, protection of freedom and the right to an opinion, through creative and critical thinking. The theorists, Jean Piaget and Lev Vygotsky inform our understanding of cognitive development with the important notions of active involvement, mediated learning and the development of thinking skills. Many programmes have been developed to assist learners in this regard. One such programme is Philosophy for Children. This study located Philosophy for Children and the locally developed material, Stories for thinking, in Vygotskian theory and explored its application within a South African context.

Стилі APA, Harvard, Vancouver, ISO та ін.
40

Détienne, Françoise. "La compréhension de programmes informatiques par l'expert : un modèle en termes de schémas." Paris 5, 1986. http://www.theses.fr/1986PA05H086.

Повний текст джерела
Анотація:
L'objectif de cette etude est d'apporter des elements pour la modelisation de l'activite de comprehension de programmes informatiques par des experts en programmation. Cette activite est etudiee dans le cadre de la theorie des schemas. Cette theorie est presentee selon l'utilisation qui en est faite en comprehension de textes et en comprehension de programmes. Des differences sont soulignees entre ces deux domaines. Une synthese est faite sur les etudes experimentales portant sur la comprehension de programmes : des resultats interpretables dans le cadre theorique sont mis en valeur. Trois experiences sont presentees. Elles visent a analyser les types de connaissances utilisees pour comprendre un programme et les processus de mise en oeuvre de ces connaissances. Dans une premiere experience, des observations sont recueillies sur l'activite mise en oeuvre par des experts dans une tache de "debugging", c'est-a-dire de detection et correction d'erreurs. Differentes strategies de debugging sont identifiees. Elles mettent en oeuvre differents types d'activite dont une activite de comprehension finalisee par la tache. La seconde experience permet d'analyser les connaissances evoquees et la structure de la representation construite dans une phase precoce de la realisation d'une tache de "debugging". Pour la troisieme experience, un paradigme experimental est developpe : il permet de recueillir des informations, en temps reel, sur les hypotheses que l'expert elabore et evalue lors de la comprehension de programmes. Un programme est presente, instruction par instruction, le sujet devant formuler des hypotheses sur le programme a chaque nouvelle instruction presentee. L'analyse des protocoles verbaux permet de decrire certains des schemas de connaissances que possede l'expert et les processus d'activation et d'instanciation de ces schemas. Des schemas sont decrits dans deux domaines : le domaine d'application et le domaine informatique. Le processus d'evaluation qui vise a juger de la coherence de la representation construite est egalement decrit. Un modele de comprehension de programmes est developpe
The aim of this study is to model the activity of program understanding by experts in programming. This activity is studied in the framework of the schema theory. This theory is set out according to its use in text understanding and program understanding. Some differences between these domains are stressed. The experimental studies on program understanding are synthesized : some results interpretable in the theoretical framework are emphazised. Three experiments have been conducted. Their goal is the analysis of the types of knowledge and the processes involved in program understanding. In a first experiment, some observations are collected on the activity developed by experts in a debugging task. Different strategies are identified. They involved differents types of activities among which a task-oriented understanding activity. The second experiment allows to analyze the evoked knowledge and the representation constructed in an early phase of the realization of a debugging task. In a third experiment, an experimental paradigm have been developed : it allows to collect information, in real time, about the hypotheses elaborated and evaluated by experts during program understanding. A program is presented, one instruction at a time, and the subjects have to express hypotheses about the program at each new presented instruction. The analysis of verbal protocols allows to describe some schemata possessed by experts and the processes of schema activation and evaluation. These schemata are identified in two knowledge domains : the task domain and the programming domain. The evaluation process used by the subjects in order to judge the coherence of the constructed representation is also described. A model of program understanding is developed. The explicative and predictive values of the model and its generalization to others classes of situations are discussed in the conclusion
Стилі APA, Harvard, Vancouver, ISO та ін.
41

Rebeuf, Xavier. "Un modèle de coût symbolique pour les programmes parallèles asynchrones à dépendances structurées." Orléans, 2000. http://www.theses.fr/2000ORLE2056.

Повний текст джерела
Анотація:
L'objectif d'une parallélisation est souvent de minimiser en premier lieu le temps d'exécution. Il paraît donc indispensable de disposer d'un modèle permettant d'évaluer a priori les performances d'un algorithme. Or, l'évaluation repose sur l'identification des synchronisations pour chaque exécution (dépendances-écriture-lecture). Sans restriction de l'expression du parallélisme, un calcul exact conduit généralement à une explosion combinatoire. Pour pallier ce problème, les modèles de coût classiques, ne prennent généralement en compte qu'une partie du parallélisme possible, permettant ainsi de définir statiquement un surensemble cohérent des dépendances de toutes les exécutions d'un algorithme. Nous proposons un modèle intermédiaire fondé sur la structuration de la résolution dynamique des accès aux données. Nous montrons qu'il est possible de représenter symboliquement l'ensemble des dépendances effectives de chaque exécution, et d'obtenir ainsi une évaluation exacte du coût sans explosion combinatoire. Nous conditionnons l'existence de chaque dépendance en l'annotant par un prédicat. Le coût d'un programme est alors exprimé symboliquement en fonction de ces prédicats. Pour être capable de l'évaluer dans l'environnement initial, nous transformons les prédicats grâce à une méthode fondée sur le calcul des plus faibles préconditions. Le coût symbolique obtenu est paramétré par l'environnement initial et il intègre les indépendances dynamiques. Afin d'assurer la compositionalité des coûts symboliques, nous étendons le calcul des plus faibles préconditions aux expressions. Nous développons pour cela une sémantique permettant d'exprimer symboliquement ce que calcule le programme et de calculer son coût par induction sur la syntaxe. Nous montrons qu'il est possible d'intégrer au modèle des paramètres de l'architecture ainsi qu'une charge instantanée du réseau. Nous comparons les résultats obtenus sur plusieurs algorithmes avec des expérimentations sur Cray T3E.
Стилі APA, Harvard, Vancouver, ISO та ін.
42

Coustet, Christophe. "Parallélisation explicite de programmes fonctionnels et synchronisation de processus : application au modèle MaRS." Toulouse, ENSAE, 1993. http://www.theses.fr/1993ESAE0002.

Повний текст джерела
Анотація:
Cette thèse traite de la parallélisation dans le cadre fonctionnel et des interactions entre granularité, taux d'activité et rendement des processus. Le modèle servant de toile de fond à notre étude est MaRS (Machine à Réduction Symbolique) développé au CERT-ONERA qui se caractérise entre autres choses par des processus à coût particulièrement faible mais en nombre limité. L'objectif de cette thèse est de dériver par une critique constructive du modèle MaRS un nouveau modèle au champ d'application étendu. Pour cela une première partie est consacrée à la présentation du cadre fonctionnel et du modèle MaRS dont nous exhibons les caractéristiques les plus marquantes. La deuxième partie montre l'influence du coût d'accès aux données sur le taux de parallélisme effectif et expose l'implémentation performante sous forme combinatoire de diverses structures de données. La troisième partie traite de l'influence du taux d'activité des processus sur le taux de parallélisme effectif et étudie deux approches qui visent à augmenter le taux de parallélisme effectif en diminuant le taux d'attente des différents processus. Enfin, la quatrième partie analyse le paradigme pipe-line qui, bien qu'étant probablement le plus expressif et aisé à utiliser dont dispose le programmeur fonctionnel, s'avère un bien piètre outil de parallélisation de par la faible granularité des processus généralement engendrés. Une nouvelle approche de la synchronisation entre producteur et consommateur est proposée qui permet, tout en conservant intact l'aspect algorithmique du paradigme, de franchir ce cap de la granularité. Des exemples illustrent les différents mécanismes de synchronisation proposés et en particulier l'algorithme de recherche IDA*.
Стилі APA, Harvard, Vancouver, ISO та ін.
43

Morisset, Stéphane. "Adrien Arcand : sa vision, son modèle et la perception inspirée par son programme." Master's thesis, Université Laval, 1995. http://hdl.handle.net/20.500.11794/26287.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
44

Warner, Nan. "Impact of a partnership programme of African universities: A study of the perceptions of a group of white South African academics of their learning experiences." Thesis, University of the Western Cape, 2004. http://etd.uwc.ac.za/index.php?module=etd&amp.

Повний текст джерела
Анотація:
This research project was an in-depth case study, an investigation of a small sample of white South African male academics from the University of Cape Town who were part of the USHEPiA (University Science, Humanities, and Engineering Partnerships in Africa) initiative. The project investigated these University of Cape Town academics experiences and perceptions of another African country and university, and considered the effect that this might have had on the academic's own life.
Стилі APA, Harvard, Vancouver, ISO та ін.
45

Ganyaza-Twalo, Thulisile. "Guidlines for the development of an HIV/AIDS workplace support programme for teachers." Thesis, University of the Western Cape, 2010. http://etd.uwc.ac.za/index.php?module=etd&action=viewtitle&id=gen8Srv25Nme4_3294_1299061332.

Повний текст джерела
Анотація:

The aim of this study was to develop guidelines for an HIV/AIDS support programme for teachers. In order to achieve this goal, Intervention Research: Design and Development model by Rothman and Thomas (1994) was adopted to guide the research process. Intervention research is a form of applied qualitative research utilized by researchers to design and develop interventions to ameliorate social problems. Intervention research: design and development model has six phases and unique operational steps to follow in each phase. The researcher adopted the first three phases to facilitate the design of the guidelines to assist with development of a programme to support teachers. Problem analysis and project planning is the first phase. In this phase, the aim was to understand the experiences of HIV/AIDS among teachers and in schools. Information was gathered from HIV/AIDS co-ordinators, principals, teachers living with HIV.

Стилі APA, Harvard, Vancouver, ISO та ін.
46

Ptitsyn, Andrey. "New algorithms for EST clustering." Thesis, University of the Western Cape, 2000. http://etd.uwc.ac.za/index.php?module=etd&amp.

Повний текст джерела
Анотація:
Expressed sequence tag database is a rich and fast growing source of data for gene expression analysis and drug discovery. Clustering of raw EST data is a necessary step for further analysis and one of the most challenging problems of modem computational biology.
Стилі APA, Harvard, Vancouver, ISO та ін.
47

Vernon, Richard C. "A design for sensing the boot type of a trusted platform module enabled computer." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2005. http://library.nps.navy.mil/uhtbin/hyperion/05Sep%5FVernon.pdf.

Повний текст джерела
Анотація:
Thesis (M.S. in Computer Science)--Naval Postgraduate School, September 2005.
Thesis Advisor(s): Cynthia E. Irvine, Timothy E. Levin. Includes bibliographical references (p. 47-49). Also available online.
Стилі APA, Harvard, Vancouver, ISO та ін.
48

Pillay, Tanushree. "Determining the effects of a short-term physical activity intervention programme on body mass index, blood pressure, pulse rate and percentage body fat among high school learners." Thesis, University of the Western Cape, 2005. http://etd.uwc.ac.za/index.php?module=etd&amp.

Повний текст джерела
Анотація:
Physical inactivity is recognised as a major risk factor for non-communicable diseases such as hypertension, cardiovascular disease, diabetes and cancer. Current recommendations for participation in physical activity are 30 minutes or more of moderate-intensity physical activity on most, but preferably all days of the week. The aim of the study was to determine the effect of a physical activity programme on weight, blood pressure, body mass index and body fat classification among high school learners through a short-term physical activity intervention programme.
Стилі APA, Harvard, Vancouver, ISO та ін.
49

Sweet, Coretta A. "Comparison of module usage of project management information system and success rate of construction projects." Thesis, Atlanta, Ga. : Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/28204.

Повний текст джерела
Анотація:
Thesis (M. S.)--Building Construction, Georgia Institute of Technology, 2009.
Committee Chair: Dr. Linda Thomas-Mobley; Committee Member: Dr. Daniel Castro; Committee Member: Prof. Kathy Roper; Committee Member: Ron L. Smith.
Стилі APA, Harvard, Vancouver, ISO та ін.
50

Ketema, Emebet Woku. "The role of the World bank Regulations and programmes in reducing poverty in Ethiopia." Thesis, University of the Western Cape, 2007. http://etd.uwc.ac.za/index.php?module=etd&action=viewtitle&id=gen8Srv25Nme4_4315_1256896680.

Повний текст джерела
Анотація:

Despite some gains in economic reforms and international commitments, Ethiopia still maintains the position of one of the poorest countries in the world in the 21st century with very little power to influence the allocation of reources in the world market. The development problems in many of the sub-saharan regions are confined within the countyry including the difficulty to keep up with rapid increase in the number of primary school enrollments, which has led to a situation of compromised quality
high child mortality and HIV/AIDS, which poses additional challenges to the poor health facilities, gender and regional inequalities and sustainable debt burden. Making matters worse, Ethiopia's political instability, civil war, recurring of drought, and economic mismanagement ties the country to a severe poverty cycle.. Ethiopia has made important economic, social and political reforms with the support of the World bank and other multilateral institutions, to pave the way for the country to face the challenges posed by globalization. However, these reforms have not been sustained by effective implementation. The response to overcome the problemshas also been slow to see rapid growth. In this research paper, the writer explores the challenges regarding Ethiopia's poverty from perspective of the World Bank. The research examines the theoretical and conceptual underpinning of the World Bank's general mandate and objectives on poverty reduction, using Ethiopia as acase study.

Стилі APA, Harvard, Vancouver, ISO та ін.
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії