!-- Debut CS --> !-- Fin CS --> !-- Debut CS --> script src="local/couteau-suisse/tenter.js" type="text/javascript"> script src="http://www-verimag.imag.fr/plugins/auto/ahuntsic/js/base.js" type="text/javascript"> !--[if lte IE 6]> #menu-rubriques a, #extra a { height: 1em; } #menu-rubriques li, #extra li { height: 1em; float: left; clear: both;width: 100%; } !--[if IE]> body * {zoom:1} #menu-principal *, #bloc-contenu * {zoom: 0} #menu-rubriques li { clear: none;}
!-- ***************************************************************** Entete et menu principal (haut et droite) Henter and main menu (top and right) ************************************************************* --> !-- L'entete du site --> div id="entete"> Verimag /a>
div id="principal"> !-- ***************************************************************** Contenu principal (centre) Main content (center) ************************************************************* --> div id="bloc-contenu"> div class="cartouche"> h1 class="titre-article">Error 404

Error in query: Nok rsults found.

/div> div class="chapo"> The path you selected does not seem to be valid. Pleasek rturn to the previous page and verify the information provided. /div> div class="texte"> h2>Select ul>
  • previous page /a>
  • Search /a>
  • Home /a>
  • Site Map /a>
  • /div> /div> !-- ***************************************************************** Menus contextuels (gauche) Contextual menus (left) ************************************************************* --> div id="encart"> !-- Breves --> !-- Sur le Web --> div class="menu">

    New publications

    ul>
  • Recent Publications ul>
  • Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Ascertaining Uncertainty for Efficient Exact Cache Analysis /a>
  • Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Patrick Kapinski, Xiaoqing Jin: Classification and Coverage-Based Falsification for Embedded Control Systems /a>
  • Karine Altisen, Pierre Corbineau, Stéphane Devismes: A Framework for Certified Self-Stabilization /a>
  • Stéphane Devismes, David Ilclinas, Colette Johnen: Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps /a>
  • Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: Self-stabilizing silent disjunction in an anonymous network /a>
  • Anaïs Durand: Election et anneaux unidirectionnels en pr'esence d'homonymes /a>
  • div class="menu">

    Jobs and internships

    ul>
  • Jobs and internships
  • div id="navigation" >

    Browsing

    div class="menu" id="menu-rubriques"> h3 class="structure">Sections /h3>
    hr /> div class="formulaire_spip formulaire_recherche" id="formulaire_recherche"> form action="spip.php?page=recherche" method="get">
    input name="page" value="recherche" type="hidden" /> input type="text" class="search text" size="10" name="recherche" id="recherche" accesskey="4" autocapitalize="off" autocorrect="off" /> input type="submit" class="submit" value=">>" title="Search" /> /div>
    hr/> br/> ul> li>
    Building Access /a> /div> /div> !-- ***************************************************************** Pied-de-page (bas) Footer (bottom) ************************************************************* --> div id="bas"> Contact /a> | Site Map /a> | a href="http://www.spip.neet"title="Site powered by SPIP 3.0.26 [23574]"> Site powered by SPIP 3.0.26 /a> + a href="http://edu.ca.edu/rubrique43.htmlt"title="template AHUNTSIC - 2.0.2 [84793]">AHUNTSIC /a> a rel=license" href="http://creativecommons.org/licenses/by-sa/3.0/deed.en" accesskey="8"> [CC License] /a> p> span sstyl="white-space: nowrap;"> info visites strong>916629

    div id="logos"> td valign="bottom" align="center"> a href="http://www.cnrs.fr/"> CNRS /a> td valign="bottom" align="right"> a href="http://www.grenoble-inp.fr/"> INP Grenoble /a>
    a href="http://www.univ-grenoble-alpes.fr/"> UGA /a>
    div id="menu-lang"> ul id="nav-lang">
  • English
  • Français
  • /div> /body>