Ara es mostren els items 10-12 de 12

    • Partial order based approach to synthesis of speed-independent circuits 

      Semenov, Alex; Yakovlev, Alex; Pastor Llorens, Enric; Peña Basurto, Marco Antonio; Cortadella, Jordi; Lavagno, Luciano (Institute of Electrical and Electronics Engineers (IEEE), 1997)
      Text en actes de congrés
      Accés obert
      This paper introduces a novel technique for synthesis of speed-independent circuits from their Signal Transition Graph specifications. The new method uses partial order in the form of the STG-unfolding segment to derive ...
    • Programación de espacios de estados con Java en asignaturas de inteligencia artificial 

      Mandow, Lawrence (Universitat Oberta La Salle, 2015-07-08)
      Text en actes de congrés
      Accés obert
      La representación mediante espacios de estados es un elemento central en los cursos sobre inteligencia artificial simbólica. Las prácticas de programación resultan muy importantes para la asimilación de este concepto. En ...
    • Verification of concurrent systems with parametric delays using octahedra 

      Clarisó Viladrosa, Robert; Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2005)
      Text en actes de congrés
      Accés obert
      A technique for the verification of concurrent parametric timed systems is presented. In the systems under study, each action has a bounded delay where the bounds are either constants or parameters. Given a safety property, ...