Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

111 résultats
keyword_s : Java
Image document

Adlet: A Java-based Architecture Description Language

Lionel Seinturier
[Research Report] RR-9242, Inria Lille - Nord Europe. 2018
Rapport hal-01964792v1

Flexible metaprogramming and AOP in Java

Éric Tanter , Rodolfo Toledo , Guillaume Pothier , Jacques Noyé
Science of Computer Programming, 2008, ⟨10.1016/j.scico.2007.10.005⟩
Article dans une revue inria-00429568v1

COJ: A Free CMIS Compliant Java API and its Various Implementations

Laurent Andrey , Olivier Festor , Nizar Ben Youssef
IFIP/IEEE Network Operations & Management Symposium, 2000, Hawaii, USA, 13 p
Communication dans un congrès inria-00099170v1

Active Multicast Core Migration

Hend Koubaa , Eric Fleury
International Conference on Networks - ICON 2000, Sep 2000, none, 5 p
Communication dans un congrès inria-00099230v1
Image document

Modélisation par contraintes de programmes en bytecode Java pour la génération automatique de tests

Florence Charreteur
Informatique [cs]. Université Européenne de Bretagne, 2010. Français. ⟨NNT : ⟩
Thèse tel-00497785v2
Image document

DECOR : Détection et correction des défauts dans les systèmes orientés objet

Naouel Moha
Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2008. Français. ⟨NNT : ⟩
Thèse tel-00321081v1

Analysing and Predicting Energy Consumption of Garbage Collectors in OpenJDK

Marina Shimchenko , Mihail Popov , Tobias Wrigstad
MPLR 2022 - 19th International Conference on Managed Programming Languages and Runtimes, Sep 2022, Brussels, Belgium. pp.3-15, ⟨10.1145/3546918.3546925⟩
Communication dans un congrès hal-03884425v1
Image document

IP Simulator User Guide

Emmanuel Nataf
[Technical Report] RR-6416, INRIA. 2008, pp.19
Rapport inria-00205033v2
Image document

I-JVM: a Java Virtual Machine for Component Isolation in OSGi

Nicolas Geoffray , Gaël Thomas , Gilles Muller , Pierre Parrend , Stéphane Frénot , et al.
[Research Report] RR-6801, INRIA. 2009, pp.21
Rapport inria-00354580v1
Image document

Corporate Memory Management through Agents: The CoMMA project final report

Laurent Berthelot , Marc Bourdeau , Olivier Corby , Alexandre Delteil , Rose Dieng-Kuntz , et al.
[Research Report] Inria. 2002, pp.61
Rapport hal-01146259v1
Image document

Model Transformations with Tom

Jean-Christophe Bach , Xavier Crégut , Pierre-Etienne Moreau , Marc Pantel
LDTA - 12th Workshop on Language Descriptions, Tools and Applications - 2012, Mar 2012, Tallinn, Estonia. pp.16
Communication dans un congrès hal-00646350v2
Image document

Tom-based tools to transform EMF models in avionics context

Jean-Christophe Bach , Pierre-Etienne Moreau , Marc Pantel
ITSLE - Industrial Track of Software Language Engineering 2012, Sep 2012, Dresden, Germany
Communication dans un congrès hal-00730738v1
Image document

Support pour la reconfiguration d'implantation dans les applications à composants Java

Jakub Kornas , Matthieu Leclercq , Vivien Quéma , Jean-Bernard Stefani
2004, pp.171-184
Communication dans un congrès hal-00003293v1

A Domain-Specific Language for Coordinating Concurrent Aspects in Java

Angel Núñez , Jacques Noyé
3ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2007), Mar 2007, Toulouse, France
Communication dans un congrès inria-00468041v1

Which use for Java in introductory courses?

Jean-Pierre Jacquot
J. Power and J. Waldron. Recent Advances in Java Technology, Computer Science Press, Trinity College, Dublin, pp.175-181, 2002
Chapitre d'ouvrage inria-00101046v1
Image document

Continuously Measuring Critical Section Pressure with the Free Lunch Profiler

Florian David , Gaël Thomas , Julia Lawall , Gilles Muller
[Research Report] RR-8486, Inria Whisper; INRIA. 2014, pp.24
Rapport hal-00957154v1
Image document

Rejo Langage d'Objects Réactifs et d'Agents

Raul Acosta-Bermejo
domain_other. École Nationale Supérieure des Mines de Paris, 2003. Français. ⟨NNT : 2003ENMP1158⟩
Thèse pastel-00001355v1
Image document

Golo, a Dynamic, Light and Efficient Language for Post-Invokedynamic JVM

Julien Ponge , Frédéric Le Mouël , Nicolas Stouls
PPPJ - International Conference on Principles and Practices of Programming on the Java platform: virtual machines, lamguages and tools - 2013, Sep 2013, Stuttgart, Germany. ⟨10.1145/2500828.2500844⟩
Communication dans un congrès hal-00848514v2
Image document

Specification and Verification of Multithreaded Object-Oriented Programs with Separation Logic

Clément Hurlin
Software Engineering [cs.SE]. Université Nice Sophia Antipolis, 2009. English. ⟨NNT : ⟩
Thèse tel-00424979v1
Image document

Data Link Layer Protocol Simulator User Guide

Emmanuel Nataf
[Technical Report] RR-6417, INRIA. 2008, pp.15
Rapport inria-00205027v2
Image document

LeakWatch: Estimating Information Leakage from Java Programs

Tom Chothia , Yusuke Kawamoto , Chris Novakovic
19th European Symposium on Research in Computer Security (ESORICS 2014), Sep 2014, Wroclaw, Poland. pp.219-236, ⟨10.1007/978-3-319-11212-1_13⟩
Communication dans un congrès hal-01097603v1
Image document

Integrating Java Support for Routing Protocols in NS2

Ulrich Herberg
[Research Report] RR-7075, INRIA. 2009, pp.32
Rapport inria-00428521v1
Image document

Étude Préliminaire À Une Utilisation De Mémoires Secondaires Pour Le Stockage Des Métadonnées Java Dans Des Systèmes Contraints.

Geoffroy Cogniaux , Michaël Hauspie , François-Xavier Marseille
CFSE 8, 2011, Saint Malo, France. pp.11
Communication dans un congrès hal-00616865v1
Image document

Analyzing Module Diversity

Alexandre Bergel , Stéphane Ducasse , Oscar Nierstrasz
Journal of Universal Computer Science, 2005, 11 (10), pp.32. ⟨10.3217/jucs-011-10-1613⟩
Article dans une revue hal-01352809v1
Image document

Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android

Alexandre Bartel , Jacques Klein , Martin Monperrus , Yves Le Traon
IEEE Transactions on Software Engineering, 2014, 40, pp.617-632. ⟨10.1109/TSE.2014.2322867⟩
Article dans une revue hal-01055656v1
Image document

Fork/Join Parallelism in the Wild: Documenting Patterns and Anti-patterns in Java Programs Using the Fork/Join Framework

Mattias de Wael , Stefan Marr , Tom van Cutsem
PPPJ'14, International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Sep 2014, Cracow, Poland. ⟨10.1145/2647508.2647511⟩
Communication dans un congrès hal-01064872v1
Image document

High Performance Hydraulic Simulations on the Grid using Java and ProActive

Guilherme Peretti Pezzi , Denis Caromel , Evelyne Vaissié , Yann Viala , Bruno Grawitz , et al.
[Research Report] RR-7508, INRIA. 2011
Rapport inria-00555866v1
Image document

GUI Migration using MDE from GWT to Angular 6: An Industrial Case

Benoît Verhaeghe , Anne Etien , Nicolas Anquetil , Abderrahmane Seriai , Laurent Deruelle , et al.
SANER 2019 - 26th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering, Feb 2019, Hangzhou, China
Communication dans un congrès hal-02019015v1
Image document

FeatherTrait: A Modest Extension of Featherweight Java

Luigi Liquori , Arnaud Spiwack
ACM Transactions on Programming Languages and Systems (TOPLAS), 2008, ACM Transactions on Programming Languages and Systems (TOPLAS), 30 (2), pp.11:1--11:32. ⟨10.1145/1330017.1330022⟩
Article dans une revue inria-00432538v1

An Integrated Development Environment for Pattern Matching Programming

Julien Guyon , Pierre-Etienne Moreau , Antoine Reilles
2nd eclipse Technology eXchange workshop - eTX'2004, Brian Barry and Oege de Moor, Apr 2004, Barcelona, Spain, 16 p
Communication dans un congrès inria-00100026v1