Exploració per autor "Rubio Gimeno, Alberto"Més informacióMés informació

Ara es mostren els items 21-23 de 23

    • Stuck-at-off fault analysis in memristor-based architecture for synchronization 

      Escudero, Manuel; Vourkas, Ioannis; Rubio Gimeno, Alberto (Institute of Electrical and Electronics Engineers (IEEE), 2019)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Nonlinear circuits may be interconnected and organized in networks to couple their dynamics and achieve synchronization, a process that is commonly observed in nature. Recent works have shown that memristors may be used ...

    • Termination competition (termCOMP 2015) 

      Giesl, Jürgen; Mesnard, Frédéric; Rubio Gimeno, Alberto; Thiemann, René; Waldmann, Johannes (Springer, 2015)
      Text en actes de congrés
      Accés obert
      The termination competition focuses on automated termination analysis for all kinds of programming paradigms, including categories for term rewriting, imperative programming, logic programming, and functional programming. ...

    • The computability path ordering 

      Blanqui, Frédéric; Jouannaud, Jean Pierre; Rubio Gimeno, Alberto (2015-10-26)
      Article
      Accés obert
      This paper aims at carrying out termination proofs for simply typed higher-order calculi automatically by using ordering comparisons. To this end, we introduce the computability path ordering (CPO), a recursive relation ...