BibSonomy :: author  ::

bookmarks

publications

(118)

• Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic.
  Yoshifumi Yuasa and Yoshinori Tanabe and Toshifusa Sekizawa and Koichi Takahashi VSTTE 115-129 (2008)
  to dblp by dblp on 2008-10-02 00:00:00
  | URL | BibTeX  
• Introduction to Acceleration for MPI Derived Datatypes Using an Enhancer of Memory and Network.
  Noboru Tanabe and Hironori Nakajo PVM/MPI 324-325 (2008)
  to dblp by dblp on 2008-09-17 00:00:00
  | URL | BibTeX  
• Common and distinct neural substrates of attentional control in an integrated Simon and spatial Stroop task as assessed by event-related fMRI
  X. Liu and M T Banich and B. L. Jacobson and J. L. Tanabe Neuroimage 22 1097-1106 (2004)
  to pfc by brian.mingus on 2008-09-16 23:39:07
  | BibTeX  
• A Simple Method to Stop an Adaptive Process for the Multistage Wiener Filter.
  Junichiro Suzuki and Yoshikazu Shoji and Hiroyoshi Yamada and Yoshio Yamaguchi and Masahiro Tanabe IEICE Transactions 91-B 1581-1588 (2008)
  to dblp by dblp on 2008-09-16 00:00:00
  | URL | BibTeX  
• Robust Noise Suppression Algorithm with the Kalman Filter Theory for White and Colored Disturbance.
  Nari Tanabe and Toshihiro Furukawa and Shigeo Tsujii IEICE Transactions 91-A 818-829 (2008)
  to dblp by dblp on 2008-09-16 00:00:00
  | URL | BibTeX  
• Advances in High-Tc Single Flux Quantum Device Technologies.
  Keiichi Tanabe and Hironori Wakana and Koji Tsubone and Yoshinobu Tarutani and Seiji Adachi and Yoshihiro Ishimaru and Michitaka Maruyama and Tsunehiro Hato and Akira Yoshida and Hideo Suzuki IEICE Transactions 91-C 280-292 (2008)
  to dblp by dblp on 2008-09-16 00:00:00
  | URL | BibTeX  
• Tools and Techniques for Model Checking Networked Programs.
  Cyrille Artho and Watcharin Leungwattanakit and Masami Hagiya and Yoshinori Tanabe SNPD 852-857 (2008)
  to dblp by dblp on 2008-08-20 00:00:00
  | URL | BibTeX  
• Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.
  Cyrille Artho and Watcharin Leungwattanakit and Masami Hagiya and Yoshinori Tanabe SNPD 807-813 (2008)
  to dblp by dblp on 2008-08-20 00:00:00
  | URL | BibTeX  
• Efficient Model Checking of Networked Applications.
  Cyrille Artho and Watcharin Leungwattanakit and Masami Hagiya and Yoshinori Tanabe TOOLS (46) 22-40 (2008)
  to dblp by dblp on 2008-08-08 00:00:00
  | URL | BibTeX  
• Scalability and Performance Analysis of Multi-Level Hierarchy in IP Micro-Mobility Management.
  E. N. Onwuka and Z. Niu and S. Tanabe and M. Yano IJWIN 11 71-78 (2004)
  to dblp by dblp on 2008-08-07 00:00:00
  | URL | BibTeX