IEICE transactions on information and systems

• 

  Año 1997, Vol. 80, Número 3

  • High performance two-phase asynchronous pipelines

    Sam Appleton, Shannon Morton, Michael Liebelt

    págs. 287-295

    

  • An asynchronous cell library for self-timed system designs

    Yuk Wah Pang, Wing Yun Sit, Chiu Sing Choy

    págs. 296-307

    

  • Statechart methodology for the design, validation, and synthesis of large scale asynchronous systems

    Rakefet Kol, Ran Ginosar, Goel Samuel

    págs. 308-314

    

  • Petrify: a tool for manipulation concurrent specifications and synthesis of asynchronous controllers

    Jordi Cortadella Fortuny, Michael Kishinevsky, Alex Kondratyev

    págs. 315-325

    

  • Synthesis of asynchronous circuits from signal transition graph specifications

    Sung Bum Park, Takashi Nanya

    págs. 326-335

    

  • On deriving logic functions of asynchronous circuits by STG unfoldings

    Toshiyuki Miyamoto, Sadatoshi Kumagai

    págs. 336-343

    

  • Completion-detection techniques for asynchronous circuits

    Eckhard Grass, Viv Bartlett, Izzet Kale

    págs. 344-350

    

  • On concurrent error detection of asynchronous circuits using mixed-signal approach

    B. Ravi Kishore, Takashi Nanya

    págs. 351-362

    

  • The completeness of order-sorted term rewriting systens is preserved by currying

    Yoshinobu Kawabe, Naohiro Ishii

    págs. 363-370

    

  • Two probabilistic algorithms for planar motion detection

    Ivis Fermín, Atsushi Imiya, Akira Ichikawa

    págs. 371-381

    

  • Height and reliability of edges

    Takahiro Sugiyama, Keiichi Abe

    págs. 382-389

    

  • Homomorphic characterizations are more powerful than Dyck reductions

    Sadaki Hirose, Satoshi Okawa, Haruhiko Kimura

    págs. 390-392