*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 47

1

Génération de tests de vulnérabilité pour des programmes Java Card itératifs
Fély, Vincent ; Frappier, Marc ; Fély, Vincent ; et al.

*Electronic Resource*
2

Génération de méta-programmes Java à partir des contraintes architecturales OCL
Kallel, Sahar ; Tibermacine, Chouki ; Skay, Mohamed Reda ; et al.
3ème Conférence en IngénieriE du Logiciel
CIEL 2014 - 3e Conférence en IngénieriE du Logiciel
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01104181
CIEL 2014 - 3e Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.56-70

Paris France [INFO.INFO-SE]Computer S... [INFO.INFO-PL]Computer S...
*Conference*
3

Automatic Analysis and Repair of Exception Bugs for Java Programs ; Analyse et réparation automatique des bugs liés aux exceptions dans les programmes Java
Cornu, Benoit ; Self-adaptation for distributed services and large software systems (SPIRALS) ; Inria Lille - Nord Europe ; et al.
https://tel.archives-ouvertes.fr/tel-01250092 ; Software Engineering [cs.SE]. Université de Lille, 2015. English.

Exception Handler Gestion des Exceptions Maintenance Logicielle [INFO.INFO-SE]Computer S...
*Dissertation/ Thesis*
4

Détection d'intrusions paramétrée par la politique de sécurité grâce au contrôle collaboratif des flux d'informations au sein du système d'exploitation et des applications : mise en œuvre sous Linux pour les programmes Java
Hiet, Guillaume ; SUPELEC-Campus Rennes ; Ecole Supérieure d'Electricité - SUPELEC (FRANCE) ; et al.
https://theses.hal.science/tel-00355089 ; Autre [cs.OH]. Université Rennes 1, 2008. Français. ⟨NNT : ⟩.

sécurité informatique détection d'intrusions politique de sécurité [INFO.INFO-OH]Computer S...
*Dissertation/ Thesis*
5

INFÉRENCE DE CERTIFICATS POUR LA VÉRIFICATION STATIQUE DES PROGRAMMES JAVA
Menif, Emna ; Debbabi, Mourad ; Tawbi, Nadia

Informatique
*Dissertation/ Thesis*
6

Inférence statique et par contraintes des relations de composition dans des programmes Java
Habti, Norddin ; Monnier, Stefan ; Guéhéneuc, Yann-Gaël

Composition Ingénierie inverse Langages de modélisation... Java Reverse engineering Modelling languages
*Dissertation/ Thesis*
7

The Treewidth of Java Programs
Gustedt, Jens ; Mæhle, Ole A. ; Telle, Jan Arne ; et al.
4th International Workshop on Algorithm Engineering and Experiments - ALENEX'02
https://hal.inria.fr/inria-00100731
4th International Workshop on Algorithm Engineering and Experiments - ALENEX'02, 2002, San Francisco, CA US, 12 p

register allocation java programs control flow graph treewidth graphe de flux de contrô... allocation de registres
*Conference*
8

Building an Operable Graph Representation of a Java Program as a basis for automatic software maintainability analysis
Bertrand, Sébastien ; Favier, Pierre-­‐alexandre ; André, Jean-Marc ; et al.
20èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle
https://hal.science/hal-03765430
20èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle, Jun 2022, Saint-Etienne, France
https://ci.mines-stetienne.fr/pfia2022/conferences/rjcia/

Saint-Etienne France Software Maintainability Program Analysis Program Graphs Maintenabilité logiciell...
*Conference*
10

MAÎTRISER L’INSTRUMENTATION DE CODE DES APPLICATIONS ANDROID. (French)
SAMHI, Jordan
MISC (1631-9036); sep/oct2024, Issue 135, p18-26, 9p, 21 Color Photographs

*Periodical*
11

Hackez Google Android : Introduction à la programmation système
Brault, Frédéric ; Brault, Frédéric ; Brault, Frédéric ; et al.

*Electronic Resource*
12

A Comparative Study of Software Defined Networking Controllers Using Mininet.
Gupta, Neelam ; Maashi, Mashael S. ; Tanwar, Sarvesh ; et al.
Electronics (2079-9292); Sep2022, Vol. 11 Issue 17, p2715, 37p

SOFTWARE-defined network... NETWORK operating system CONTRAST effect COMPARATIVE studies
*Academic Journal*
13

Certain Investigations on Reducing the Cost of Mutation Testing by Substitute Optimization Method.
R., Shobana ; G., Maria priscilla
Journal of Algebraic Statistics; 2022, Vol. 13 Issue 3, p764-771, 8p

MUTATION testing of comp... GENETIC algorithms PARTICLE swarm optimizat... COST effectiveness COST control
*Academic Journal*
14

Kilobyte Virtual Machine Memory Management.
Aboubacar, Adamou Souleymane
International Review on Computers & Software; Jun2020, Vol. 15 Issue 1, p14-19, 6p

VIRTUAL machine systems EMBEDDED computer system... COMPUTER memory manageme... COMPUTER storage devices ALGORITHMS
*Academic Journal*
15

Une approche parallèle et distribuée pour la complétion d'automates d'arbre
Caciula, Adrian ; Courbis, Roméo ; Felea, Violeta ; et al.
Approches Formelles dans l'Assistance au Développement de Logiciels ; 10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2010 ; https://hal.archives-ouvertes.fr/hal-00530350 ; 10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2010, Jun 2010, Poitiers, France. pp.43

Poitiers France [INFO.INFO-FL]Computer S... [INFO.INFO-DC]Computer S... Parallel and Cluster Computing [c...
*Conference*
16

Un programme annoté en vaut deux
Giorgetti, Alain ; Groslambert, Julien ; Combination of approaches to the security of infinite states systems (CASSIS) ; et al.
Journée Francophone des Langages Applicatifs - JFLA07 ; https://hal.inria.fr/inria-00181135 ; Journée Francophone des Langages Applicatifs - JFLA07, Jan 2007, Aix-les-Bains, France

Aix-les-Bains France logiciel sûr Java modeling language propriétés temporelles annotations
*Conference*
17

Comparative experiences in remote automation laboratories with real plants.
Boix, Oriol ; Gomis, Oriol ; Montesinos, Daniel ; et al.
International Journal of Electrical Engineering Education; Oct2008, Vol. 45 Issue 4, p310-320, 11p, 4 Black and White Photographs, 2 Charts, 1 Graph

CURRICULUM REMOTE access networks PROGRAMMABLE controllers JAVA programming languag... HTML (Document markup la... THERMOCOUPLES
*Academic Journal*
18

Dynamic load-balancing mechanism for distributed Java applications.
Felea, Violeta ; Toursel, Bernard
Concurrency & Computation: Practice & Experience; Mar2006, Vol. 18 Issue 3, p305-331, 27p, 10 Diagrams, 2 Charts, 4 Graphs

JAVA programming languag... COMPUTER software MIDDLEWARE GRAPHICAL user interface... APPLICATION software ALGORITHMS
*Academic Journal*
19

documentalistes technophiles et fiers de l'être. (French)
Nuttin, Guillaume
Archimag; fev2011, Issue 241, p24-27, 4p

TWITTER (Web resource) ARCHIVISTS INFORMATION technology ONLINE chat BLOGS RSS feeds
*Periodical*
20

Remote Object Detection in Cluster-Based Java
Antoniu, Gabriel ; Hatcher, Philip ; Regularity and massive parallel computing (REMAP) ; et al.
https://hal.inria.fr/inria-00072530 ; [Research Report] RR-4101, LIP RR-2001-03, INRIA, LIP. 2001.

DISTRIBUTED SHARED MEMORY DSM DSM-PM2 JVM CONSISTENCY PROTOCOLS
*Report*

*Filter*