| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Keiichi Yasumoto Atsushi Maruyama , Naoki Shibata , Yoshihiro Murata , Keiichi Yasumoto, Minoru Ito : A Personal Tourism Navigation System to Support Traveling Multiple Destinations with Time Restrictions. AINA (2) 2004 : 18-22 Kouji Nishigaki , Keiichi Yasumoto, Takaaki Umedu , Teruo Higashino , Minoru Ito : Middleware Providing Group Communication Facility Based on Muliti-Way Synchronization for Cellular Phone Applications. ICDCS Workshops 2004 : 434-437 Morihiko Tamai , Tao Sun , Keiichi Yasumoto, Naoki Shibata , Minoru Ito : Energy-aware QoS adaptation for streaming video based on MPEG-7. ICME 2004 : 189-192 Kouji Nishigaki , Keiichi Yasumoto, Takaaki Umedu , Teruo Higashino , Minoru Ito : Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications. Mobile Data Management 2004 : 170 Morihiko Tamai , Tao Sun , Keiichi Yasumoto, Naoki Shibata , Minoru Ito : Energy-aware video streaming with QoS control for portable computing devices. NOSSDAV 2004 : 68-73 Tomoya Kitani , Yoshifumi Takamoto , Keiichi Yasumoto, Akio Nakata , Teruo Higashino : A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems. RTSS 2004 : 437-446 Tao Sun , Keiichi Yasumoto, Masaaki Mori , Teruo Higashino : QoS Functional Testing for Multi-media Systems. FORTE 2003 : 319-334 Tomoya Kitani , Yoshifumi Takamoto , Isao Naka , Keiichi Yasumoto, Akio Nakata , Teruo Higashino : Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking. FPL 2003 : 1145-1148 Hirozumi Yamaguchi , Cao Man Letan , Akihito Hiromori , Takeshi Yamashita , Keiichi Yasumoto, Teruo Higashino , Kenichi Taniguchi : A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications. ICDCS Workshops 2003 : 531-536 Akihito Hiromori , Hirozumi Yamaguchi , Keiichi Yasumoto, Teruo Higashino , Kenichi Taniguchi : Reducing the Size of Routing Tables for Large-scale Network Simulation. PADS 2003 : 115-122 Takaaki Umedu , Yoshiki Terashima , Keiichi Yasumoto, Akio Nakata , Teruo Higashino , Kenichi Taniguchi : A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels. FME 2002 : 607-624 Masayuki Kirimura , Yoshifumi Takamoto , Takanori Mori , Keiichi Yasumoto, Akio Nakata , Teruo Higashino : Design and Implementation of FPGA Circuits for High Speed Network Monitors. FPL 2002 : 393-403 Akihito Hiromori , Hirozumi Yamaguchi , Keiichi Yasumoto, Teruo Higashino , Kenichi Taniguchi : A Selection Technique for Replicated Multicast Video Servers. ICPP 2002 : 556- Keiichi Yasumoto, Takaaki Umedu , Hirozumi Yamaguchi , Akio Nakata , Teruo Higashino : Protocol animation based on event-driven visualization scenarios in real-time LOTOS. Computer Networks 40 (5): 639-663 (2002) Takaaki Umedu , Hirozumi Yamaguchi , Keiichi Yasumoto, Teruo Higashino : Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment. ICOIN 2001 : 163-170 Keiichi Yasumoto, Teruo Higashino , Kenichi Taniguchi : A compiler to implement LOTOS specifications in distributed environments. Computer Networks 36 (2/3): 291-310 (2001) Hisaaki Katagiri , Keiichi Yasumoto, Akira Kitajima , Teruo Higashino , Kenichi Taniguchi : Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization. DAC 2000 : 762-767 Hisaaki Katagiri , Masayuki Kirimura , Keiichi Yasumoto, Teruo Higashino , Kenichi Taniguchi : Hardware implementation of Concurrent Periodic EFSM's. FORTE 2000 : 285-300 Akihito Hiromori , Hirozumi Yamaguchi , Keiichi Yasumoto, Teruo Higashino , Kenichi Taniguchi : Fast and Optimal Multicast-Server Selection Based on Receivers' Preference. IDMS 2000 : 40-52 Yoshiki Terashima , Keiichi Yasumoto, Teruo Higashino , Kota Abe , Toshio Matsuura , Kenichi Taniguchi : Extension of SMIL with QoS Control and its Implementation. IEEE International Conference on Multimedia and Expo (III) 2000 : 1683-1686 Hirozumi Yamaguchi , Keiichi Yasumoto, Teruo Higashino , Kenichi Taniguchi : Receiver-Cooperative Bandwidth Management for Layered Multicast. ICNP 1999 : 43-50 Keiichi Yasumoto, Akira Kitajima , Teruo Higashino , Kenichi Taniguchi : Hardware synthesis from protocol specifications in LOTOS. FORTE 1998 : 405-420 Hiroharu Sakate , Hirozumi Yamaguchi , Keiichi Yasumoto, Teruo Higashino , Kenichi Taniguchi : Resource Management for Quality of Service Guarantees in Multi-Party Multimedia Application. ICNP 1998 : 189- Kota Abe , Toshio Matsuura , Keiichi Yasumoto, Teruo Higashino : Design and Implementation of an Efficient I/O Method for a Real-Time User Level Thread Library. RTCSA 1998 : 117-120 Keiichi Yasumoto, Kazuhiro Gotoh , Hiroki Tatsumoto , Teruo Higashino , Kenichi Taniguchi : Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. FORTE 1997 : 161-176 Keiichi Yasumoto, Teruo Higashino , Kota Abe , Toshio Matsuura , Kenichi Taniguchi : A LOTOS Compiler Generating Multi-threaded Object Codes. FORTE 1995 : 271-286 Keiichi Yasumoto, Teruo Higashino , Toshio Matsuura , Kenichi Taniguchi : Protocol visualization using LOTOS multi-rendezvous mechanism. ICNP 1995 : 118-125 Keiichi Yasumoto, Teruo Higashino , Kenichi Taniguchi : Software Process Description Using LOTOS and Its Enaction. ICSE 1994 : 169-178 Teruo Higashino , Keiichi Yasumoto, Junji Kitamichi , Kenichi Taniguchi : Hardware synthesis from a restricted class of LOTOS expressions. PSTV 1994 : 379-386 Teruo Higashino , Gregor von Bochmann , Xiangdong Li , Keiichi Yasumoto, Kenichi Taniguchi : Test System for a Restricted Class of LOTOS Expressions with Data Parameters. Protocol Test Systems 1992 : 205-216 1 [ 5 ] [ 7 ] [ 11 ] 2 [ 1 ] 3 [ 6 ] 4 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ] [ 15 ] [ 16 ] [ 17 ] [ 18 ] [ 19 ] [ 20 ] [ 21 ] [ 22 ] [ 23 ] [ 24 ] [ 25 ] [ 27 ] [ 29 ] 5 [ 12 ] [ 18 ] [ 21 ] [ 22 ] 6 [ 26 ] [ 27 ] [ 28 ] [ 29 ] [ 30 ] 7 [ 13 ] [ 14 ] 8 [ 13 ] [ 19 ] 9 [ 9 ] [ 14 ] 10 [ 2 ] 11 [ 23 ] [ 25 ] 12 [ 22 ] 13 [ 1 ] 14 [ 30 ] 15 [ 4 ] [ 5 ] [ 7 ] [ 11 ] 16 [ 24 ] 17 [ 19 ] 18 [ 30 ] 19 [ 23 ] 20 [ 17 ] [ 19 ] [ 20 ] [ 23 ] [ 25 ] 21 [ 27 ] [ 29 ] 22 [ 8 ] 23 [ 26 ] [ 28 ] [ 30 ] 24 [ 24 ] [ 26 ] [ 28 ] 25 [ 19 ] [ 23 ] [ 25 ] 26 [ 26 ] [ 28 ] 27 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ] [ 15 ] [ 18 ] [ 20 ] [ 21 ] [ 22 ] 28 [ 6 ] 29 [ 11 ] [ 20 ] 30 [ 16 ] [ 17 ] [ 20 ] [ 27 ] [ 29 ] 31 [ 8 ] [ 10 ] [ 12 ] [ 16 ] [ 17 ] [ 18 ] [ 21 ] [ 22 ] 32 [ 22 ]  ©2005 Association for Computing Machinery |
