To see the other types of publications on this topic, follow the link: Programmation JAVA.

Dissertations / Theses on the topic 'Programmation JAVA'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

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.

1

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 text
APA, Harvard, Vancouver, ISO, and other styles
2

Bouchi, 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 text
Abstract:
L'exécution efficace des applications distribuées irrégulières exige d'adopter des mécanismes qui assurent l'adaptation automatique de l'exécution aux évolutions du calcul et aux modifications de la disponibilité des ressources. Ces exigences demandent à la fois de connaître les relations dynamiques entre les objets et de disposer d'informations relatives à l'évolution de la charge des machines. Nous avons introduit un système d'observation permettant de fournir les informations nécessaires aux mécanismes de redistribution des objets de l'application. Le système d'observation proposé comporte
APA, Harvard, Vancouver, ISO, and other styles
3

Felea, 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 text
Abstract:
Les applications distribuées et les plates-formes sur lesquelles elles s'exécutent sont de plus en plus puissantes, complexes et dynamiques. Ces plates-formes d'exécution sont distribuées, hétérogènes et éclatées en réseaux et grappes interconnectés. Les composants d'une application s'exécutant en parallèle collaborent dans le respect de contraintes de qualité de service relatives aux délai d'exécution et temps de réponse. Le projet ADAJ (Applications Distribuées Adaptatives en Java) vise à répondre à cette problématique, par des solutions qui reposent sur l'introduction de bibliothèques de dé
APA, Harvard, Vancouver, ISO, and other styles
4

Guider, Romain. "Analyse statique de programmes Java [et] application à la parallélisation." Nice, 2000. http://www.theses.fr/2000NICE5434.

Full text
Abstract:
Nous proposons une analyse statique de programmes à objets par interprétation abstraite. L'analyse de programmes à objets comporte deux particularités que nous traitons séparément : l'analyse du flot de contrôle et la représentation des graphes d'objets. Dans un premier temps, nous présentons une analyse de flot de contrôle paramétrée par une représentation abstraite de graphes d'objets. Cette analyse est générique et peut servir de base à de nombreuses applications. De plus, elle est conçue par interprétation abstraite ce qui nous permet de montrer sa correction sous certaines hypothèses qui
APA, Harvard, Vancouver, ISO, and other styles
5

Russo, Marjorie Laurence. "Java et ses aspects concurrents : sémantique formelle, visualisation et propriétés." Nice, 2001. http://www.theses.fr/2001NICE5636.

Full text
Abstract:
Java est un langage à objets concurrent. Ces deux facettes, déjà complexes prises isolément, deviennent très difficiles à appréhender quand elles sont réunies. Une sémantique formelle de Java est alors quasiment indispensable afin de pouvoir définir de façon formelle chaque caractéristique du langage étudié. Cette spécification devient alors une référence à laquelle le programmeur peut se reporter en cas de problème lors de la mise au point de programmes. Elle constitue aussi une base formelle au développement de preuves de propriétés. Nous avons fait le choix de définir une sémantique dynamiq
APA, Harvard, Vancouver, ISO, and other styles
6

Susini, 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 text
Abstract:
Par opposition aux systèmes classiques qui traitent des données reçues en entrée et terminent en produisant des résultats, un système réactif (Harel et Pnueli) maintient une interaction continue avec son environnement. L'Approche Réactive définie par F. Boussinot en 1991 avec Réactive-C propose un ensemble de formalismes permettant de décrire simplement des systèmes réactifs pouvant être enrichis dynamiquement en cours d'exécution. L'Approche Réactive qui dérive de l'Approche Synchrone repose sur une découpe logique de l'exécution d'un programme en une succession d'instants. La notion d'instan
APA, Harvard, Vancouver, ISO, and other styles
7

Samson, Frédéric. "Alternative Java Security Policy Model." Thesis, Université Laval, 2004. http://www.theses.ulaval.ca/2004/22020/22020.pdf.

Full text
Abstract:
Récemment, les systèmes distribués sont devenus une catégorie fondamentale de systèmes informatiques. Par conséquent, leur sécurité est devenue essentielle. La recherche décrite dans ce document vise à apporter un éclaircissement sur leurs vulnérabilités quant à la sécurité. Pour ce faire, on a examiné les propriétés de sécurité qu'un système distribué considéré sécuritaire doit supporter. En cherchant un système avec lequel travailler, on a étudié des failles de sécurité des systèmes distribués existants. On a étudié la sécurité de Java et des outils utilisés pour sécuriser ces systèmes.
APA, Harvard, Vancouver, ISO, and other styles
8

Albin-Amiot, Hervé. "Idiomes et patterns Java : application à la synthèse de code et à la détection." Nantes, 2003. http://www.theses.fr/2003NANT2018.

Full text
Abstract:
Les design patterns (ou patrons de conception) sont reconnus comme une des bonnes techniques du génie logiciel à objets facilitant la conception, la documentation, la maintenance et la rétro-conception. Malgré cela, force est de constater que dans les faits, peu d'environnements logiciels sont à la fois outillés pour inciter l'utilisateur à appliquer un catalogue de patterns et pour l'aider à améliorer ses programmes en y extrayant automatiquement des micro-architectures correspondant à celles de patterns déjà répertoriés. Dans ce mémoire nous présentons un langage de description de patterns (
APA, Harvard, Vancouver, ISO, and other styles
9

Lefort, Anatole. "A Support for Persistent Memory in Java." Institut polytechnique de Paris, 2023. http://www.theses.fr/2023IPPAS001.

Full text
Abstract:
L'arrivée de la mémoire non-volatile (NVMM) sur le marché propose une alternative rapide et durable pour le stockage de données, avec des performances considérablement accrues par rapport aux supports traditionnels, à savoir SSD et disques durs. La NVMM est adressable à la granularité de l'octet, une caractéristique unique qui permet de maintenir des structures de données complexes par le biais d'instructions mémoires standards, tout en étant résistante aux pannes système et logiciels. Néanmoins, gérer correctement la persistance des données est bien plus compliquée que de simples manipulation
APA, Harvard, Vancouver, ISO, and other styles
10

Josset, 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 text
Abstract:
Après une longue hégémonie des langages procéduraux, la programmation orientée-objet s'impose progressivement comme la technologie d'excellence pour le génie logiciel. Le développement de telles applications reste cependant délicat, tant les problèmes traités peuvent être complexes et hétérogènes, et les langages de programmation orientée-objet parfois mal appropriés. De nouveaux outils et de nouvelles méthodes d'aide au développement sont régulièrement proposés, ainsi que des langages de plus en plus ouverts et performants. Cette thèse s'inscrit dans le cadre de la spécifification et de la co
APA, Harvard, Vancouver, ISO, and other styles
11

Mazouzi, Kamel. "Jace : un environnement d'exécution distribué pour le calcul itératif asynchrone." Besançon, 2005. http://www.theses.fr/2005BESA2074.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Ben, 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 text
APA, Harvard, Vancouver, ISO, and other styles
13

Ugarte, Asier. "Mise en œuvre d'un environnement objet distribué et modélisation des threads Java." Bordeaux 1, 2001. http://www.theses.fr/2001BOR10502.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Coulibaly, 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 text
APA, Harvard, Vancouver, ISO, and other styles
15

Coulibaly, 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 text
Abstract:
Les propriétés d'interopérabilité et de faible couplage des services web lors de la mise en place des systèmes d'information hétérogènes, font d'eux actuellement l'une des meilleures solutions techniques d'implémentation des systèmes d'information. La mise en place facile des services web devient alors une nécessité. Vu les moyens actuels de cette mise en place et les difficultés liées, nous avons proposé une contribution avec un langage basé sur les langages BPEL (Business Process Execution Language for Web Services) et Java. Notre langage vient en complément au langage BPEL en proposant une
APA, Harvard, Vancouver, ISO, and other styles
16

Talhi, Chamseddine. "Memory-Constrained Security Enforcement." Doctoral thesis, Québec : Université Laval, 2007. http://www.theses.ulaval.ca/2007/24434/24434.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Yahyaoui, Hamdi. "Acceleration and Semantic Foundations of Embedded Java Platforms." Thesis, Université Laval, 2006. http://www.theses.ulaval.ca/2006/23625/23625.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Fauthoux, David. "Des grains aux aspects, proposition pour un modèle de programmation orientée-aspect." Toulouse 3, 2004. http://www.theses.fr/2004TOU30100.

Full text
Abstract:
Le développement des programmes rencontre actuellement des difficultés pour la séparation des préoccupations qui le composent. Elles sont entrelacées et leur code est éparpillé dans le programme. La programmation orientée-aspect a pour but de rendre modulaires les préoccupations et de fournir les outils pour les mélanger entre elles et au programme. Après avoir analysé en détail quatre systèmes orientés-aspect majeurs, ce mémoire présente un modèle à grains fins, les " lentilles ". Elles sont regroupées par niveaux d'abstraction. Le premier stade est le " flot " qui peut entrer en intersection
APA, Harvard, Vancouver, ISO, and other styles
19

Eluard, Marc. "Analyse de sécurité pour la certification d'applications java card." Rennes 1, 2001. http://www.theses.fr/2001REN10079.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Deleray, 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 text
Abstract:
De nombreux outils ont été développés pour faire évoluer au cours du temps une application et/ou sa plate-forme d'exécution en fonction de l'apparition de nouveaux besoins. Dans le cadre de Java, ils se présentent souvent sous la forme de nouveaux compilateurs manipulant un langage Java enrichi, de chargeurs de classes évolués qui modifient le code compilé de l'application afin d'ajouter à celle-ci de nouvelles propriétés, ou encore de machines virtuelles spécialisées. Cependant ces différents outils sont diffcilement combinables entre eux et/ou réutilisables en dehors de leur contexte. C'est
APA, Harvard, Vancouver, ISO, and other styles
21

Brunette, 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 text
APA, Harvard, Vancouver, ISO, and other styles
22

Ammous, 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 text
Abstract:
Les systèmes embarqués sont caractérisés par des ressources matérielles réduites. Bien que ces ressources ne cessent de s’étendre, elles restent tout de même insuffisantes. L’espace mémoire est l’une des ressources les plus critiques. La compression du code dédié aux systèmes embarqués représente une solution intéressante pour réduire l’encombrement mémoire. Notre travail de recherche se focalise sur la compression du code Java sous format de fichiers class Java. Notre contribution consiste à concevoir et mettre en œuvre un système basé sur un profiler pour guider la compression des fichiers c
APA, Harvard, Vancouver, ISO, and other styles
23

Vayssière, Julien. "Une architecture de sécurité pour les applications réflexives : application à Java." Nice, 2002. http://www.theses.fr/2002NICE5772.

Full text
Abstract:
En l'espace de vingt ans, les techniques de programmation réflexive sont passées du statut de curiosité de laboratoire à celui d'outil indispensable dans la panoplie du programmeur. Ces techniques sont notamment utilisées dans le but d'adapter de manière transparente le comportement des logiciels à des situations qui n'étaient pas prévues par leurs spécifications d'origine. Dans le même temps, les applications sont devenues plus complexes et les cycles de développement plus courts, ce qui a amené l'émergence d'approches à composants. La généralisation des réseaux de communication a permis d'in
APA, Harvard, Vancouver, ISO, and other styles
24

Menif, 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 text
Abstract:
La Sécurité des Systèmes d'Information est l'un des défis les plus urgents des différents organismes de la société actuelle. Le problème de sécurité a émergé du progrès technologique rapide qui pousse à l'utilisation des \emph{Systèmes d'Information}. L'un de ces progrès est l'utilisation de code mobile. En effet, pour protéger ses informations critiques d'une éventuelle menace d'un code mobile, un organisme doit chercher des solutions de plus en plus élaborées. Une des approches émergeantes pour aborder ce problème est la compilation certifiée. Il s'agit d'une approche statique, basée sur le
APA, Harvard, Vancouver, ISO, and other styles
25

Motsch, 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 text
APA, Harvard, Vancouver, ISO, and other styles
26

Motsch, 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 text
Abstract:
L'objectif de ce travail est d'établir des principes de construction et de gestion des flots d'exécution et des applications au sein d'un système d'exploitation écrit en langage Java. Il s'inscrit dans le cadre d'un projet visant à définir un environnement d'exécution Java minimal, appelé processeur bytecode, au dessus duquel un système d'exploitation est construit. Dans un premier temps on cherche à établir les modifications du langage Java nécessaires pour supporter l'exécution de plusieurs applications. Ensuite nous proposons des mécanismes permettant aux applications d'ordonnancer leurs pr
APA, Harvard, Vancouver, ISO, and other styles
27

Ketari, 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 text
Abstract:
Depuis quelques années, on assiste à une expansion fulgurante du marché des terminaux mobiles et sans fil. Dans ce cadre, le déploiement de la technologie Java sur ce type de terminaux connaît un grand succès à cause de ses caractéristiques attrayantes, à savoir la mobilité, la portabilité et la sécurité. En particulier, la plate-forme J2ME/CLDC (Java 2 Micro Edition for Connected Limited Device Configuration) est dédiée au développement d’applications Java qui s’exécutent sur des téléphones cellulaires, des assistants digitaux et de façon générale sur tous les systèmes embarqués dans des appa
APA, Harvard, Vancouver, ISO, and other styles
28

Martin, 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 text
Abstract:
L'utilisation d'objectifs de tests pour vérifier la conformité des applications par rapport à leurs spécifications s'avère être une des solutions les plus prometteuses pour le domaine de la carte à puce. En effet, elle permet d'allier à la fois rigueur et risques, non seulement en tirant profit des techniques de génération automatique de tests, mais également en permettant au testeur d'éliminer les tests qui ne lui semblent pas pertinents. Cependant, tant que cette élimination est implicite, le testeur ne peut pas réellement maîtriser les risques. Pour répondre à ce besoin, nous proposons une
APA, Harvard, Vancouver, ISO, and other styles
29

Charreteur, 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 text
Abstract:
La vérification des programmes est indispensable pour maintenir un certain niveau de qualité et de fiabilité. Le test est à ce jour le moyen de vérification des logiciels le plus utilisé dans l’industrie. La programmation par contraintes est vue comme un moyen efficace pour automatiser la génération de données de test. Dans cette thèse nous proposons une modélisation par contraintes de la sémantique du bytecode Java, ainsi qu’une méthode, basée sur cette modélisation, pour générer automatiquement des données de test. Notre modèle à contraintes de la sémantique d’un programme en bytecode Java p
APA, Harvard, Vancouver, ISO, and other styles
30

Masson, 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 text
Abstract:
Les systèmes temps réel sont des systèmes informatiques composés de tâches auxquelles sont associées des contraintes temporelles, appelées échéances. Dans notre étude, nous distinguons deux familles de tâches : les tâches temps réel dur et les tâches temps réel souple. Les premières possèdent une échéance stricte, qu'elles doivent impérativement respecter. Elles sont de nature périodique, ou sporadique, et l'étude analytique de leur comportement fait l'objet d'un état de l'art conséquent. Les secondes sont de nature apériodique. Aucune hypothèse sur leur modèle d'arrivéée ni sur leur nombre n'
APA, Harvard, Vancouver, ISO, and other styles
31

Plš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 text
Abstract:
Aujourd'hui, nous observons une croissance constante de la complexité des systèmes temps-réel. Les développeurs doivent faire face aux contraintes imposées par le domaine dans pratiquement toutes les classes de logiciels. Pour faire face à ce défi, les spécifications Java pour le temps-réel (RTSJ) ont été proposées. Cependant, ces spécifications introduisent de nombreuses règles et restrictions non-intuitives résultant en un modèle de programmation hautement sujet aux erreurs. La vision qui sous-tend cette thèse tient à réduire l'écart entre la programmation temps-réel et les technologies inno
APA, Harvard, Vancouver, ISO, and other styles
32

Hurlin, Clément. "Specification and verification of multithreaded object-oriented programs with separation logic." Nice, 2009. http://www.theses.fr/2009NICE4064.

Full text
Abstract:
First, we develop verification rules in separation logic for primitives concerning multithreading : the primitives fork and join that control how threads start and how threads wait, and the primitive for reentrant locks (locks that can be acquired and released more than once) that are used in Java. Second, we develop three analyses that use separation logic. The first analysis permits to specify sequences of method calls and to verify that they are correct w. R. T. Method contracts. The second analysis presents a fast algorithm to disprove entailment between separation logic formulae. The thir
APA, Harvard, Vancouver, ISO, and other styles
33

Hubert, Laurent. "Foundations and implementation of a tool bench for static analysis of Java bytecode programs." Rennes 1, 2010. http://www.theses.fr/2010REN1S122.

Full text
Abstract:
In this thesis we study the static analysis of Java bytecode and its semantics foundations. The initialization of an information system is a delicate operation where security properties are enforced and invariants installed. Initialization of fields, objects and classes in Java are difficult operations. These difficulties may lead to security breaches and to bugs, and make the static verification of software more difficult. This thesis proposes static analyses to better master initialization in Java. Hence, we propose a null pointer analysis that finely tracks initialization of fields. It allo
APA, Harvard, Vancouver, ISO, and other styles
34

Leblanc, 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 text
Abstract:
La production et la maintenance des hierarchies de classes (classes devant etre compris au sens large, incluant en particulier les interfaces au sens des langages java et idl) sont des points cles dans l'ingenierie des objets. Nous avons choisi, pour automatiser les procedes de construction de ces hierarchies, de produire un sous-ordre utile du treillis de galois (ou treillis de concepts), appele sous-hierarchie de galois. Cette structure assure une factorisation totale des proprietes et une organisation des classes coherente d'un point de vue conceptuel. Notre problematique est l'etude de la
APA, Harvard, Vancouver, ISO, and other styles
35

Charreteur, 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 text
Abstract:
La vérification des programmes est indispensable pour maintenir un certain niveau de qualité et de fiabilité. Le test est à ce jour le moyen de vérification des logiciels le plus utilisé dans l¤industrie. La programmation par contraintes est vue comme un moyen efficace pour automatiser la génération de données de test. Dans cette thèse nous proposons une modélisation par contraintes de la sémantique du bytecode Java, ainsi qu¤une méthode, basée sur cette modélisation, pour générer automatiquement des données de test. Notre modèle à contraintes de la sémantique d¤un programme en bytecode Java p
APA, Harvard, Vancouver, ISO, and other styles
36

Vigné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 text
Abstract:
Dans le domaine des systèmes distribués, la notion de mobilité du code est à l'origine de nombreux travaux visant à améliorer les performances des applications parallèles (processus légers mobiles), à faciliter le développement d'applications (agents mobiles) ou à garantir la sécurité (cartes à puces). Dans ce contexte, nous montrons que les systèmes d'agents mobiles ont peu à peu disparu au profit de plates-formes d'exécution asynchrones. Nous présentons une nouvelle abstraction - appelée conteneur actif - qui est issue d'une modélisation en π-calcul d'un système d'agents mobiles, et qui semb
APA, Harvard, Vancouver, ISO, and other styles
37

Ameur-Boulifa, Rabéa. "Génération de modèles comportementaux des applications réparties." Nice, 2004. http://www.theses.fr/2004NICE4094.

Full text
Abstract:
Nous nous intéressons dans ce document à la vérification de propriétés comportementales d’applications distribuées par la technique du model-checking. En particulier, nous étudions le problème de génération de modèles à partir de programmes Java répartis et représentés par systèmes de transitions communiquant. A partir de la sémantique formelle de programmes ProActive – une librairie 100 % Java pour la programmation parallèle, distribuée et concurrente – nous construisons, de manière compositionnelle et hiérarchique, des modèles comportementaux finis pour des abstractions finies d’applications
APA, Harvard, Vancouver, ISO, and other styles
38

David, Florian. "Continuous and Efficient Lock Profiling for Java on Multicore Architectures." Electronic Thesis or Diss., Paris 6, 2015. http://www.theses.fr/2015PA066484.

Full text
Abstract:
Aujourd’hui, le traitement de grands jeux de données est généralement parallélisé et effectué sur des machines multi-cœurs. Cependant, les verrous peuvent sérialiser l'exécution de ces coeurs et dégrader la latence et le débit du traitement. Détecter ces problèmes de contention de verrous in-vitro (i.e. pendant le développement du logiciel) est complexe car il est difficile de reproduire un environnement de production, de créer une charge de travail réaliste représentative du contexte d’utilisation du logiciel et de tester toutes les configurations de déploiement possibles où s'exécutera le lo
APA, Harvard, Vancouver, ISO, and other styles
39

Peretti, Pezzi Guilherme. "High performance hydraulic simulations on the grid using Java and ProActive." Nice, 2011. http://www.theses.fr/2011NICE4118.

Full text
Abstract:
Optimization of water distribution is a crucial issue which has been targeted by many modelling tools. Useful models, implemented several decades ago, need to be updated and implemented in more powerful computing environments. This thesis presents the redesign of a legacy hydraulic simulation software (IRMA) written in FORTRAN that has been used for over 30 years by the Société du Canal de Provence in order to design and to maintain water distribution networks. IRMA was developed aiming mainly the treatment of irrigation networks. The growing complexity and size of networks requested to update
APA, Harvard, Vancouver, ISO, and other styles
40

Turpin, Tiphaine. "Élagage d’invariants de programmes." Rennes 1, 2008. ftp://ftp.irisa.fr/techreports/theses/2008/turpin.pdf.

Full text
Abstract:
This thesis addresses the generation of certificates for Proof-Carrying Code that are both small and easy to check. We propose methods for obtaining small witnesses of a safety property in the context of Abstraction-Carrying Code. In the distributive case, the weakest witness (\emph{i. E. }, the smallest) may be computed. For the general case, we propose a pruning technique for weakening a given witness. This technique is applied to the abstract domain of convex polyhedra, in the intraprocedural and then interprocedural case. Another application is presented, which allows the lightweight bytec
APA, Harvard, Vancouver, ISO, and other styles
41

ROYAT, 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 text
Abstract:
Cette etude se propose d'elaborer la procedure affinae: d'affectation des investissements en infrastructures de transports par reference a l'amenagement de l'espace. Cette procedure considere les infrastructures de transports comme instruments d'amenagement de l'espace. Elle se concentre sur la disparite de niveaux de services des infrastructures de transports entre les regions
APA, Harvard, Vancouver, ISO, and other styles
42

Vittoria, 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 text
Abstract:
La démocratisation d'Internet facilite aujourd'hui le téléchargement des applications. Mais en contrepartie, le risque de corruption de ces applications à des fins malveillantes peut mettre en péril l'intégrité du système qui les exécute et la sécurité des données. Le langage Java apporte des propriétés telles que la vérification de l'intégrité du code, et la sûreté d'exécution des applications pour palier à ces risques. Nous avons cherché à utiliser le langage Java pour construire une plateforme minimale dédiée à son exécution : le processeur bytecode. Nous avons isolé les éléments manquants
APA, Harvard, Vancouver, ISO, and other styles
43

Kane, 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 text
Abstract:
Depuis le milieu des années 2000, l'augmentation de la fréquence des transistors, contrainte par leur capacité à dissiper la chaleur produite, a considérablement réduit. En réponse, les concepteurs de microprocesseurs ont opté pour des architectures multicœurs. Ainsi, le parallélisme est devenu indispensable pour tirer parti des capacités de calcul des machines. Cependant, l'écriture de programmes parallèles et concurrents peut être complexe, nécessitant la gestion des entrelacements des fils d'exécution, du réordonnancement des tâches, ainsi qu'une solide compréhension du modèle mémoire sur l
APA, Harvard, Vancouver, ISO, and other styles
44

Nakhli, 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 text
Abstract:
Construire des modèles qui représentent fidèlement les systèmes temps réels complexes est indispensable pour l'analyse de leurs propriétés fonctionnelles et temporelles. Ce travail présente une méthodologie de modélisation pour les systèmes temps réels dans le contexte de la technologie Java. Le modèle est obtenu par la restriction du modèle fonctionnel du logiciel avec les informations temporelles appropriées. Nous établissons un sous ensemble du langage Java qui réglemente la structure concurrente de l'application, la communication et les pratiques de programmation au niveau des threads, des
APA, Harvard, Vancouver, ISO, and other styles
45

Majoul, 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 text
APA, Harvard, Vancouver, ISO, and other styles
46

Foisel, 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 text
Abstract:
Cette thèse, effectuée au sein de l'équipe RFIA (Reconnaissance des Formes et Intelligence Artificielle) du LORIA, présente le résultat de notre travail sur l'étude des interactions et de leur réorganisation pour la construction de systèmes multi-agents. Notre travail s'est articulé autour de deux phases complémentaires qui correspondent à la proposition d'un modèle de réorganisation des intéractions et la définition d'un formalisme de description de systèmes. Ce formalisme de description est évidemment couplé à des mécanismes permettant une opérationnalisation des systèmes décrits. La premièr
APA, Harvard, Vancouver, ISO, and other styles
47

Noh, YoungSoo. "Prisma : Progiciel intégré des technologies du travail en équipe : communication, collaboration, coopération." Lyon, INSA, 1999. http://www.theses.fr/1999ISAL0061.

Full text
Abstract:
L'entreprise veut toujours gagner du temps, sur les délais, sur l'adéquation au marché et rester compétitive. Pour obtenir des avantages concurrenciels, les nouvelles technologies de l'information et de la communication doivent s'intégrer au sein de l'entreprise. Elles augmentent la productivité des individus, du groupe et de l'entreprise. Avec les progrès incessants des technologies, il est aujourd'hui possible de travailler de façon coopérative. Au sein de l'entreprise, on peut déjà actuellement mettre en place des aides au travail collaboratif entre plusieurs personnes : ce sont (même si ce
APA, Harvard, Vancouver, ISO, and other styles
48

Baklanova, Nadezhda. "Formally verified analysis of resource sharing conflicts in multithreaded Java." Toulouse 3, 2014. http://thesesups.ups-tlse.fr/2498/.

Full text
Abstract:
Les systèmes multi-tâches temps-réels deviennent de plus en plus répandus de nos jours. La correction des systèmes multi-tâches est difficile à assurer, pourtant, la correction est critique pour les logiciels temps-réels. La vérification formelle aide à trouver les erreurs potentielles. Les conflits de partage de ressources qui peuvent produire une incohérence des données sont une sorte d'erreurs. Une solution est le verrouillage exclusif des ressources partagées qui peut mener à des temps d'exécution difficile à prédire, ou à l'interblocage dans le pire cas. La vérification des programmes est
APA, Harvard, Vancouver, ISO, and other styles
49

Djafri, Bachir. "L'approche orientee objet pour la modelisation de systemes materiels." Evry-Val d'Essonne, 1999. http://www.theses.fr/1999EVRY0009.

Full text
Abstract:
Durant cette derniere decennie, les langages de description de materiel ou hdl (hardware description languages), dont le langage standard vhdl, ont joue un role important dans l'explosion de la cao dans l'industrie electronique ; ils sont aujourd'hui largement utilises par les concepteurs de systemes materiels. De nouvelles methodes de conception doivent cependant etre developpees pour faire face a la complexite croissante des systemes materiels, permettre une reutilisation des modeles et reduire le temps et le cout de conception. Plusieurs travaux et publications ont propose d'etendre le lang
APA, Harvard, Vancouver, ISO, and other styles
50

Rezk, Tamara. "Verification of confidentiality policies for mobile code." Nice, 2009. http://www.theses.fr/2006NICE4099.

Full text
Abstract:
Information flow policies guarantee confidentiality through the absence of undesirable information leakages during program executions. This work proposes specification and verification static techniques for information flow policies in several settings. The work is composed of three major parts. In the first part, we propose formulations for specification of information flow policies over deterministic and non-deterministic programs that can be applied to logically characterize confidentiality policies in temporal and programming logics. We show the applicability of our approach in several lan
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!