Dissertations / Theses on the topic 'Programmation JAVA'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Programmation JAVA.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Molière, Mouetsie. "Vers un nouveau paradigme de programmation parallèle en Java." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape7/PQDD_0031/MQ47522.pdf.
Full textBouchi, Amer. "Proposition d'un mécanisme d'observation dynamique de l'exécution d'applications Java distribuées." Lille 1, 2003. https://pepite-depot.univ-lille.fr/RESTREINT/Th_Num/2003/50376-2003-9.pdf.
Full textFelea, Violeta. "Méthodologie de conception et exécution efficace de programmes Java distribués." Lille 1, 2003. https://ori-nuxeo.univ-lille1.fr/nuxeo/site/esupversions/d411ec48-cca5-4d46-9079-f03ebba04f61.
Full textGuider, Romain. "Analyse statique de programmes Java [et] application à la parallélisation." Nice, 2000. http://www.theses.fr/2000NICE5434.
Full textRusso, Marjorie Laurence. "Java et ses aspects concurrents : sémantique formelle, visualisation et propriétés." Nice, 2001. http://www.theses.fr/2001NICE5636.
Full textSusini, Jean-Ferdinand. "L'approche réactive de JAVA : sémantique et implémentation des SUGARCUBES et de JUNIOR." Paris, ENMP, 2001. http://www.theses.fr/2001ENMP1037.
Full textSamson, Frédéric. "Alternative Java Security Policy Model." Thesis, Université Laval, 2004. http://www.theses.ulaval.ca/2004/22020/22020.pdf.
Full textAlbin-Amiot, Hervé. "Idiomes et patterns Java : application à la synthèse de code et à la détection." Nantes, 2003. http://www.theses.fr/2003NANT2018.
Full textLefort, Anatole. "A Support for Persistent Memory in Java." Institut polytechnique de Paris, 2023. http://www.theses.fr/2023IPPAS001.
Full textJosset, François-Xavier. "Spécification et compilation d'un langage de haut niveau pour l'optimisation combinatoire : CLAIRE vers Java." Versailles-St Quentin en Yvelines, 2002. http://www.theses.fr/2002VERS010V.
Full textMazouzi, Kamel. "Jace : un environnement d'exécution distribué pour le calcul itératif asynchrone." Besançon, 2005. http://www.theses.fr/2005BESA2074.
Full textBen, Ezzine Radhouane. "Application de la méthode de vérification de modèles sur des protocoles de communication JAVA." Sherbrooke : Université de Sherbrooke, 2002.
Find full textUgarte, Asier. "Mise en œuvre d'un environnement objet distribué et modélisation des threads Java." Bordeaux 1, 2001. http://www.theses.fr/2001BOR10502.
Full textCoulibaly, Demba Haddad Serge. "Un langage et un environnement de conception et de développement de services web complexes." [S.l.] : [s.n.], 2009. http://basepub.dauphine.fr/xmlui/handle/123456789/1172.
Full textCoulibaly, Demba. "Un langage et un environnement de conception et de développement de services web complexes." Paris 9, 2009. https://bu.dauphine.psl.eu/fileviewer/index.php?doc=2009PA090007.
Full textTalhi, Chamseddine. "Memory-Constrained Security Enforcement." Doctoral thesis, Québec : Université Laval, 2007. http://www.theses.ulaval.ca/2007/24434/24434.pdf.
Full textYahyaoui, Hamdi. "Acceleration and Semantic Foundations of Embedded Java Platforms." Thesis, Université Laval, 2006. http://www.theses.ulaval.ca/2006/23625/23625.pdf.
Full textFauthoux, David. "Des grains aux aspects, proposition pour un modèle de programmation orientée-aspect." Toulouse 3, 2004. http://www.theses.fr/2004TOU30100.
Full textEluard, Marc. "Analyse de sécurité pour la certification d'applications java card." Rennes 1, 2001. http://www.theses.fr/2001REN10079.
Full textDeleray, Christophe. "Corosol : une machine virtuelle Java dynamiquement adaptative." Phd thesis, Université de Marne la Vallée, 2006. http://tel.archives-ouvertes.fr/tel-00628620.
Full textBrunette, Christian Boussinot Frédéric. "Construction et simulation graphiques de comportements le modèle des Icobjs /." [S.l.] : [s.n.], 2004. http://www-sop.inria.fr/dias/Theses/phd-149.pdf.
Full textAmmous, Karim. "Compression par profilage du code Java compilé pour les systèmes embarqués." Valenciennes, 2007. http://ged.univ-valenciennes.fr/nuxeo/site/esupversions/a56319aa-b36f-46ed-b617-a1464a995056.
Full textVayssière, Julien. "Une architecture de sécurité pour les applications réflexives : application à Java." Nice, 2002. http://www.theses.fr/2002NICE5772.
Full textMenif, Emna. "INFÉRENCE DE CERTIFICATS POUR LA VÉRIFICATION STATIQUE DES PROGRAMMES JAVA." Thesis, Université Laval, 2012. http://www.theses.ulaval.ca/2012/28119/28119.pdf.
Full textMotsch, Cédric Banâtre Michel. "Mécanismes de gestion des flots d'éxécution d'exploitation écrit en langage Java." [S.l.] : [s.n.], 2007. ftp://ftp.irisa.fr/techreports/theses/2007/motsch.pdf.
Full textMotsch, Cédric. "Mécanismes de gestion des flots d'éxécution d'exploitation écrit en langage Java." Rennes 1, 2007. ftp://ftp.irisa.fr/techreports/theses/2007/motsch.pdf.
Full textKetari, Lamia. "Accélération de plates-formes Java embarquées : techniques et cadre formel." Doctoral thesis, Université Laval, 2007. http://hdl.handle.net/20.500.11794/19684.
Full textMartin, Hugues. "Une méthodologie de génération automatique de suites de tests pour applets Java Card." Lille 1, 2001. https://pepite-depot.univ-lille.fr/RESTREINT/Th_Num/2001/50376-2001-9.pdf.
Full textCharreteur, Schadle Florence. "Modélisation par contraintes de programmes en bytecode java pour la génération automatique de tests." Rennes 1, 2010. http://www.theses.fr/2010REN1S019.
Full textMasson, Damien. "Intégration des évènements non périodiques dans les systèmes temps réel : application à la gestion des évènements dans la spécification temps réel pour Java." Phd thesis, Paris Est, 2008. http://tel.archives-ouvertes.fr/tel-00468692/en/.
Full textPlšek, Aleš. "Soleil : an integrated approach for designing and developing component-based real-time Java systems." Thesis, Lille 1, 2009. http://www.theses.fr/2009LIL10046/document.
Full textHurlin, Clément. "Specification and verification of multithreaded object-oriented programs with separation logic." Nice, 2009. http://www.theses.fr/2009NICE4064.
Full textHubert, Laurent. "Foundations and implementation of a tool bench for static analysis of Java bytecode programs." Rennes 1, 2010. http://www.theses.fr/2010REN1S122.
Full textLeblanc, Hervé. "Sous-hiérarchie de Galois : un modèle pour la construction et l'évolution des hiérarchies d'objets." Montpellier 2, 2000. http://www.theses.fr/2000MON20155.
Full textCharreteur, Florence. "Modélisation par contraintes de programmes en bytecode Java pour la génération automatique de tests." Phd thesis, Université Européenne de Bretagne, 2010. http://tel.archives-ouvertes.fr/tel-00497785.
Full textVignéras, Pierre. "Vers une programmation locale et distribuée unifiée au travers de l'utilisation de conteneurs actifs et de références asynchrones." Bordeaux 1, 2004. http://www.theses.fr/2004BOR12883.
Full textAmeur-Boulifa, Rabéa. "Génération de modèles comportementaux des applications réparties." Nice, 2004. http://www.theses.fr/2004NICE4094.
Full textDavid, Florian. "Continuous and Efficient Lock Profiling for Java on Multicore Architectures." Electronic Thesis or Diss., Paris 6, 2015. http://www.theses.fr/2015PA066484.
Full textPeretti, Pezzi Guilherme. "High performance hydraulic simulations on the grid using Java and ProActive." Nice, 2011. http://www.theses.fr/2011NICE4118.
Full textTurpin, Tiphaine. "Élagage d’invariants de programmes." Rennes 1, 2008. ftp://ftp.irisa.fr/techreports/theses/2008/turpin.pdf.
Full textROYAT, SUJANA. "Le cas de programmation d'investissements de routes locales dans le developpement rural de la province de java-est, indonesie." Marne-la-vallée, ENPC, 1989. http://www.theses.fr/1989ENPCA002.
Full textVittoria, Claude. "Études et principes de conception d'une machine langage Java : le processeur bytecode." Rennes 1, 2008. ftp://ftp.irisa.fr/techreports/theses/2008/vittoria.pdf.
Full textKane, Boubacar. "Les objets ajustés : Une approche bien fondée et efficace pour la programmation concurrente." Electronic Thesis or Diss., Institut polytechnique de Paris, 2025. http://www.theses.fr/2025IPPAS001.
Full textNakhli, Chaker. "Approche fondée sur les modèles pour java temps-réel." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2005. http://tel.archives-ouvertes.fr/tel-00133652.
Full textMajoul, Salam. "Etude et mise en oeuvre d'un modèle de coordination basé sur la réécriture." Toulouse 3, 2000. http://www.theses.fr/2000TOU30171.
Full textFoisel, Rémy. "Modèle de réorganisation de systèmes multi-agents : une approche descriptive et opérationnelle." Nancy 1, 1998. http://docnum.univ-lorraine.fr/public/SCD_T_1998_0287_FOISEL.pdf.
Full textNoh, YoungSoo. "Prisma : Progiciel intégré des technologies du travail en équipe : communication, collaboration, coopération." Lyon, INSA, 1999. http://www.theses.fr/1999ISAL0061.
Full textBaklanova, Nadezhda. "Formally verified analysis of resource sharing conflicts in multithreaded Java." Toulouse 3, 2014. http://thesesups.ups-tlse.fr/2498/.
Full textDjafri, Bachir. "L'approche orientee objet pour la modelisation de systemes materiels." Evry-Val d'Essonne, 1999. http://www.theses.fr/1999EVRY0009.
Full textRezk, Tamara. "Verification of confidentiality policies for mobile code." Nice, 2009. http://www.theses.fr/2006NICE4099.
Full text