Exploració per autor "Xia, Fei"

Ara es mostren els items 1-2 de 2

    • A compositional method for the synthesis of asynchronous communication mechanisms 

      Costa Gorgônio, Kyller; Cortadella, Jordi; Xia, Fei (Springer, 2007-06-30)
      Capítol de llibre
      Accés obert
      Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ACM synthesis method based on the generation ...

    • Automating synthesis of asynchronous communication mechanisms 

      Cortadella, Jordi; Costa Gorgônio, Kyller; Xia, Fei; Yakovlev, Alex (Institute of Electrical and Electronics Engineers (IEEE), 2005)
      Text en actes de congrés
      Accés obert
      Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, systematic ACM synthesis methods have been ...