| 2006 |
|---|
| 53 | EE | Limin Xiang,
Kai Cheng,
Kazuo Ushijima:
Sequence Analysis in Constant Time on BSR.
PDCAT 2006: 431-436 |
| 2005 |
|---|
| 52 | EE | Kai Cheng,
Limin Xiang,
Toyohiko Hirota,
Kazuo Ushijima:
A Web-Based Classroom Environment for Enhanced Residential College Education.
ICWL 2005: 56-65 |
| 51 | EE | Limin Xiang,
Kai Cheng,
Kazuo Ushijima:
Encoding a Binary Search Tree in Constant Time on BSR.
PDCAT 2005: 740-744 |
| 2004 |
|---|
| 50 | EE | Kazuo Ushijima:
Construction and Practice of a New Educational Environment with Lecture Recording System.
AINA (1) 2004: 12-15 |
| 49 | EE | Limin Xiang,
Kazuo Ushijima,
Kai Cheng,
Jianjun Zhao,
Cunwei Lu:
O(1) Time Algorithm on BSR for Constructing a Binary Search Tree with Best Frequencies.
PDCAT 2004: 218-225 |
| 2002 |
|---|
| 48 | | Limin Xiang,
Kazuo Ushijima:
O(1) Time Algorithm on BSR for Computing Convex Hull.
IASTED PDCS 2002: 143-143 |
| 47 | EE | Limin Xiang,
Kazuo Ushijima,
Yuichi Asahiro:
Coding k-ary Trees for Efficient Loopless Generation in Lexicographic Order.
ITCC 2002: 396-403 |
| 46 | EE | Limin Xiang,
Kazuo Ushijima,
Jianjun Zhao:
Time Optimal n-Size Matching Parentheses and Binary Tree Decoding Algorithms on a p-Processor BSR.
Parallel Processing Letters 12(3-4): 365-374 (2002) |
| 45 | EE | Yusuke Nonaka,
Sozo Inoue,
Katsuhiko Hatano,
Tsutomu Harada,
Yoshinari Nomura,
Mizuho Iwaihara,
Tsunenori Mine,
Kazuo Ushijima:
Development and operation of a document database for university research and education activities.
Systems and Computers in Japan 33(10): 41-53 (2002) |
| 2001 |
|---|
| 44 | EE | Jianjun Zhao,
Jingde Cheng,
Kazuo Ushijima:
Computing Executable Slices for Concurrent Logic Programs.
APAQS 2001: 13-22 |
| 43 | EE | Yusuka Nonaka,
Kazuo Ushijima,
Hibiki Serizawa,
Shigeru Murata,
Jingde Cheng:
A Run-Time Deadlock Detector for Concurrent Java Programs.
APSEC 2001: 45-52 |
| 42 | EE | Jianjun Zhao,
Jingde Cheng,
Kazuo Ushijima:
CLPKIDS: A Program Analysis System for Concurrent Logic Programs.
COMPSAC 2001: 531-537 |
| 41 | EE | Hirotatsu Sakamoto,
Yoshihiro Okada,
Toshihiko Shimokawa,
Kazuo Ushijima:
Component Based Video Communication Tool for Collaborative Virtual Environment.
ICOIN 2001: 375-380 |
| 40 | EE | Jianjun Zhao,
Jingde Cheng,
Kazuo Ushijima:
A Program Dependence Model for Concurrent Logic Programs and its Applications.
ICSM 2001: 672-681 |
| 39 | EE | Limin Xiang,
Kazuo Ushijima:
On O(1) Time Algorithms for Combinatorial Generation.
Comput. J. 44(4): 292-302 (2001) |
| 38 | EE | Limin Xiang,
Kazuo Ushijima:
On Time Bounds, the Work-Time Scheduling Principle, and Optimality for BSR.
IEEE Trans. Parallel Distrib. Syst. 12(9): 912-921 (2001) |
| 37 | EE | Limin Xiang,
Kazuo Ushijima,
Changjie Tang:
On generating k-ary trees in computer representation.
Inf. Process. Lett. 77(5-6): 231-238 (2001) |
| 2000 |
|---|
| 36 | EE | Yusuke Nonaka,
Kazuo Ushijima,
Jingde Cheng:
Monitoring facilities in languages supporting development of concurrent self-measurement programs.
APSEC 2000: 92-99 |
| 35 | | Yusuke Nonaka,
Jingde Cheng,
Kazuo Ushijima:
A Supporting Tool for Development of Self-Measurement Ada Programs.
Ada-Europe 2000: 69-81 |
| 34 | | Toshihiko Shimokawa,
Norihiko Yoshida,
Kazuo Ushijima:
Flexible Server Selection using DNS.
ICDCS Workshop on Internet 2000: A76-A81 |
| 33 | EE | Limin Xiang,
Kazuo Ushijima:
Optimal Parallel Merging Algorithms on BSR.
ISPAN 2000: 12-17 |
| 32 | | Limin Xiang,
Kazuo Ushijima,
Selim G. Akl:
Generating Regular k-ary Trees Efficiently.
Comput. J. 43(4): 290-300 (2000) |
| 31 | EE | Limin Xiang,
Kazuo Ushijima,
Changjie Tang:
Efficient loopless generation of Gray codes for k-ary trees.
Inf. Process. Lett. 76(4-6): 169-174 (2000) |
| 1999 |
|---|
| 30 | EE | Yusuke Nonaka,
Katsuhiko Hatano,
Yoshinari Nomura,
Jingde Cheng,
Kazuo Ushijima:
A System Dependence Net Generator for Ada Programs.
APSEC 1999: 441-448 |
| 29 | EE | Sukanya Suranauwarat,
Hideo Taniguchi,
Kazuo Ushijima:
Evaluation of Process Scheduling Mechanism for a Web Server Based on Its Behavior while Executing.
APSEC 1999: 80-87 |
| 28 | | Gou Masuda,
Rei Yano,
Norihiro Sakamoto,
Kazuo Ushijima:
Discovering and Visualizing Attribute Associations Using Bayesian Networks and Their Use in KDD.
PKDD 1999: 61-70 |
| 27 | | Ryoji Matsuno,
Yutaka Tsutsumi,
Kazuo Ushijima:
Interactive Courseware Quiz Creator: An Adaptive Zero-Programming Content Development Tool for Students Learning and Testing via Intra/Internet.
WebNet 1999: 1340-1341 |
| 26 | EE | Limin Xiang,
Kazuo Ushijima,
Selim G. Akl,
Ivan Stojmenovic:
An Efficient Implementation for the BROADCAST Instruction of BSR+.
IEEE Trans. Parallel Distrib. Syst. 10(8): 852-863 (1999) |
| 25 | EE | Limin Xiang,
Kazuo Ushijima:
Rearranging Scattered Information on BSR.
Inf. Process. Lett. 71(1): 43-47 (1999) |
| 24 | EE | Limin Xiang,
Kazuo Ushijima:
A Theorem on the Relation Between BSRk and BSR+.
Inf. Process. Lett. 71(2): 71-73 (1999) |
| 1998 |
|---|
| 23 | EE | Tetsuro Katayama,
Zengo Furukawa,
Kazuo Ushijima:
Design and Implementation of Test-Case Generation for Concurrent Programs.
APSEC 1998: 262-269 |
| 22 | EE | Jianjun Zhao,
Jingde Cheng,
Kazuo Ushijima:
A Metrics Suite for Concurrent Logic Programs.
CSMR 1998: 172-178 |
| 21 | EE | Jianjun Zhao,
Jingde Cheng,
Kazuo Ushijima:
A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance.
CSMR 1998: 60-66 |
| 20 | EE | Kazuhiro Kusunoki,
Isao Imai,
Haruyuki Ohtani,
Tetsuo Nakakawaji,
Michitaka Ohshima,
Kazuo Ushijima:
A CORBA-Based Remote Monitoring System for Factory Automation.
ISORC 1998: 396-402 |
| 19 | EE | Gou Masuda,
Norihiro Sakamoto,
Kazuo Ushijima:
Applying Design Patterns to Decision Tree Learning System.
SIGSOFT FSE 1998: 111-120 |
| 18 | EE | Limin Xiang,
Kazuo Ushijima:
ANSV Problem on BSRs.
Inf. Process. Lett. 65(3): 135-138 (1998) |
| 1997 |
|---|
| 17 | EE | Tetsuro Katayama,
Zengo Furukawa,
Kazuo Ushijima:
A Test-case Generation Method for Concurrent Programs Including Task-types.
APSEC 1997: 485-494 |
| 16 | | Kazunori Nishi,
Jingde Cheng,
Kazuo Ushijima:
Improving the Performance of Automated Forward Deduction System EnCal.
ISHPC 1997: 371-380 |
| 15 | | Limin Xiang,
Changjie Tang,
Kazuo Ushijima:
Grammar-Oriented Enumeration of Binary Trees.
Comput. J. 40(5): 278-291 (1997) |
| 1996 |
|---|
| 14 | EE | Eisuke Itoh,
Zengo Furukawa,
Kazuo Ushijima:
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs.
APSEC 1996: 345-354 |
| 13 | EE | Tetsuro Katayama,
Zengo Furukawa,
Kazuo Ushijima:
A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph.
APSEC 1996: 355- |
| 12 | | Kazuaki Goshi,
Jingde Cheng,
Kazuo Ushijima:
ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract).
ASIAN 1996: 343-344 |
| 11 | | Jingde Cheng,
Kazuo Ushijima:
Tasking Deadlocks in Ada 95 Programs and Their Detection.
Ada-Europe 1996: 135-146 |
| 10 | EE | Jianjun Zhao,
Jingde Cheng,
Kazuo Ushijima:
Static Slicing of Concurrent Object-Oriented Programs.
COMPSAC 1996: 312-320 |
| 9 | EE | Jianjun Zhao,
Jingde Cheng,
Kazuo Ushijima:
Program dependence analysis of concurrent logic programs and its applications.
ICPADS 1996: 282-291 |
| 1995 |
|---|
| 8 | EE | Yoshiaki Kasahara,
Yoshinari Nomura,
Masayuki Kamachi,
Jingde Cheng,
Kazuo Ushijima:
An Integrated Support Environment for Distributed Software Development based on Unified Program Representations.
APSEC 1995: 254-263 |
| 7 | EE | Tetsuro Katayama,
Zengo Furukawa,
Kazuo Ushijima:
Event Interactions Graph for Test-case Generation of Concurrent Programs.
APSEC 1995: 29-37 |
| 6 | | Jianjun Zhao,
Jingde Cheng,
Kazuo Ushijima:
Program Dependence Analysis of Concurrent Logic Programs and Its Applications.
ICLP 1995: 825 |
| 1994 |
|---|
| 5 | | Norihiro Sakamoto,
Kazuo Ushijima:
Designing and Integrating Human Genome Databases with Object-Oriented Technology.
DEXA 1994: 145-152 |
| 1991 |
|---|
| 4 | | Jingde Cheng,
Kazuo Ushijima:
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets.
Ada-Europe 1991: 125-146 |
| 1990 |
|---|
| 3 | | Neng-Fa Zhou,
Toshihisa Takagi,
Kazuo Ushijima:
A Matching Tree Oriented Abstract Machine for Prolog.
ICLP 1990: 159-173 |
| 1985 |
|---|
| 2 | | Toshihisa Takagi,
Fumihiro Matsuo,
Shouichi Futamura,
Kazuo Ushijima:
Implementation of Inferential Relational Database System.
FODO 1985: 539-546 |
| 1977 |
|---|
| 1 | | Kazuo Ushijima:
Step to an Efficient Program for Floating-point Summation.
Softw., Pract. Exper. 7(6): 759-769 (1977) |
