The treewidth of Java programs

Correctness of Java card tokenisation

Denney, Ewen
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 1 - Reseaux et systemes - Projet CAPSSIGLEAvailable from INIST (FR), Document Supply Service, ...

Efficient incremental checkpointing of Java programs

Lawall, Julia L.
Muller, Gilles
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 2 - Genie logiciel et calcul symbolique - Projet COMPOSESIGLEAvailable from INIST (FR), Docume...

Java bytecode compression for embedded systems

Clausen, Lars Raeder
Schultz, Ulrik Pagh
Muller, Gilles
Consel, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet COMPOSESIGLEAvailable from INIST (FR), Documen...

Java programs do not have bounded treewidth

Gustedt, Jens
Maehle, Ole A.
Telle, Jan Arne
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2000

Theme 1 - reseaux et systemes - Projet ResedasSIGLEAvailable from INIST (FR), Document Supply Servic...

MODERES Java : architecture and core packages

Festor, Olivier
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1997

Theme 1 - Reseaux et systemes. Projet RESEDASSIGLEAvailable from INIST (FR), Document Supply Service...

Java fair threads

Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

Theme 1 - Reseaux et systemes - Projet MimosaSIGLEAvailable from INIST (FR), Document Supply Service...

Generation of distributed parallel Java programs

Launay, Pascale
Pazat, Jean-Louis
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes - Projet CAPSSIGLEAvailable from INIST (FR), Document Supply Service, ...

JavaPod Une plate-forme a composants adaptable et extensible

Bruneton, Eric
Riveill, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 2000

Theme 1 - Reseaux et systemes - Projet SiracAvailable from INIST (FR), Document Supply Service, unde...

Towards automatic specialization of Java programs

Ulrik Pagh Schultz
Lawall, Julia L.
Muller, Gilles
Consel, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet COMPOSESIGLEAvailable from INIST (FR), Documen...

Icobj programming

Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1996

Theme 1 - Reseaux et systemes. Projet MEIJESIGLEAvailable at INIST (FR), Document Supply Service, un...

La filiere crevetticole de Java Est Mise en evidence des dysfonctionnements

PT Indonusa Royal Seafood, Surabaya (Indonesia)
Schillinger, Catherine
Bosser, Pascal
Association pour le Developpement de l'Aquaculture (ADA), 33 - Saint-Andre-de-Cubzac (France)
Ecole Superieure d'Agriculture (ESA), 49 - Angers (France)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : 22543, issue : a.1994 n.40 / ...

Les reseaux programmables 1.0

Festor, Olivier
Chrisment, Isabelle
Fleury, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2000

Theme 1 - Reseaux et systemes - Projet RESEDASSIGLEAvailable from INIST (FR), Document Supply Servic...

La programmation en Junior

Boussinot, Frederic
Hazard, Laurent
Susini, Jean-Ferdy
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 1 - Reseaux et systemes - Projet MimosaAvailable from INIST (FR), Document Supply Service, und...

An IP generation compliant Java"T"M virtual machine

Chelius, Guillaume
Fleury, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2000

Theme 1 - Reseaux et systemes - Projet RESEDASSIGLEAvailable from INIST (FR), Document Supply Servic...

A framework for parallel programming in Java

Launay, Pascale
Pazat, Jean-Louis
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Unite de Recherche de Rennes

January 1997

Theme 1 - Reseaux et systemes. Projet PampaSIGLEAvailable from INIST (FR), Document Supply Service, ...

Correctness of Java card tokenisation

Denney, Ewen
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 1 - Reseaux et systemes - Projet CAPSSIGLEAvailable from INIST (FR), Document Supply Service, ...

Efficient incremental checkpointing of Java programs

Lawall, Julia L.
Muller, Gilles
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 2 - Genie logiciel et calcul symbolique - Projet COMPOSESIGLEAvailable from INIST (FR), Docume...

Java bytecode compression for embedded systems

Clausen, Lars Raeder
Schultz, Ulrik Pagh
Muller, Gilles
Consel, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet COMPOSESIGLEAvailable from INIST (FR), Documen...

Java programs do not have bounded treewidth

Gustedt, Jens
Maehle, Ole A.
Telle, Jan Arne
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2000

Theme 1 - reseaux et systemes - Projet ResedasSIGLEAvailable from INIST (FR), Document Supply Servic...

MODERES Java : architecture and core packages

Festor, Olivier
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1997

Theme 1 - Reseaux et systemes. Projet RESEDASSIGLEAvailable from INIST (FR), Document Supply Service...

Java fair threads

Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

Theme 1 - Reseaux et systemes - Projet MimosaSIGLEAvailable from INIST (FR), Document Supply Service...

Generation of distributed parallel Java programs

Launay, Pascale
Pazat, Jean-Louis
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes - Projet CAPSSIGLEAvailable from INIST (FR), Document Supply Service, ...

JavaPod Une plate-forme a composants adaptable et extensible

Bruneton, Eric
Riveill, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 2000

Theme 1 - Reseaux et systemes - Projet SiracAvailable from INIST (FR), Document Supply Service, unde...

Towards automatic specialization of Java programs

Ulrik Pagh Schultz
Lawall, Julia L.
Muller, Gilles
Consel, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet COMPOSESIGLEAvailable from INIST (FR), Documen...

Icobj programming

Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1996

Theme 1 - Reseaux et systemes. Projet MEIJESIGLEAvailable at INIST (FR), Document Supply Service, un...

La filiere crevetticole de Java Est Mise en evidence des dysfonctionnements

PT Indonusa Royal Seafood, Surabaya (Indonesia)
Schillinger, Catherine
Bosser, Pascal
Association pour le Developpement de l'Aquaculture (ADA), 33 - Saint-Andre-de-Cubzac (France)
Ecole Superieure d'Agriculture (ESA), 49 - Angers (France)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : 22543, issue : a.1994 n.40 / ...

Les reseaux programmables 1.0

Festor, Olivier
Chrisment, Isabelle
Fleury, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2000

Theme 1 - Reseaux et systemes - Projet RESEDASSIGLEAvailable from INIST (FR), Document Supply Servic...

La programmation en Junior

Boussinot, Frederic
Hazard, Laurent
Susini, Jean-Ferdy
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 1 - Reseaux et systemes - Projet MimosaAvailable from INIST (FR), Document Supply Service, und...

An IP generation compliant Java"T"M virtual machine

Chelius, Guillaume
Fleury, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2000

Theme 1 - Reseaux et systemes - Projet RESEDASSIGLEAvailable from INIST (FR), Document Supply Servic...

A framework for parallel programming in Java

Launay, Pascale
Pazat, Jean-Louis
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Unite de Recherche de Rennes

January 1997

Theme 1 - Reseaux et systemes. Projet PampaSIGLEAvailable from INIST (FR), Document Supply Service, ...

Correctness of Java card tokenisation

Denney, Ewen
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 1 - Reseaux et systemes - Projet CAPSSIGLEAvailable from INIST (FR), Document Supply Service, ...

Efficient incremental checkpointing of Java programs

Lawall, Julia L.
Muller, Gilles
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 2 - Genie logiciel et calcul symbolique - Projet COMPOSESIGLEAvailable from INIST (FR), Docume...

Java bytecode compression for embedded systems

Clausen, Lars Raeder
Schultz, Ulrik Pagh
Muller, Gilles
Consel, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet COMPOSESIGLEAvailable from INIST (FR), Documen...

The treewidth of Java programs

Abstract

Extracted data

The treewidth of Java programs

Abstract

Extracted data

Related items

Related items