Kazuo Ushijima

Publication Activity (10 Years)

Years Active: 1977-2010
Publications (10 Years): 0

Publications

Limin Xiang, Kai Cheng, Kazuo Ushijima
Efficient Generation of Gray Codes for Reflectable Languages. ICCSA (4) (2010)
Limin Xiang, Kai Cheng, Kazuo Ushijima
Sequence Analysis in Constant Time on BSR. PDCAT (2006)
Kai Cheng, Limin Xiang, Toyohiko Hirota, Kazuo Ushijima
A Web-Based Classroom Environment for Enhanced Residential College Education. ICWL (2005)
Limin Xiang, Kai Cheng, Kazuo Ushijima
Encoding a Binary Search Tree in Constant Time on BSR. PDCAT (2005)
Kazuo Ushijima
Construction and Practice of a New Educational Environment with Lecture Recording System. AINA (1) (2004)
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)
Limin Xiang, Kazuo Ushijima, Jianjun Zhao
Time Optimal n-Size Matching Parentheses and Binary Tree Decoding Algorithms on a p-Processor BSR. Parallel Process. Lett. 12 (3-4) (2002)
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) (2002)
Limin Xiang, Kazuo Ushijima
O(1) Time Algorithm on BSR for Computing Convex Hull. IASTED PDCS (2002)
Limin Xiang, Kazuo Ushijima, Yuichi Asahiro
Coding k-ary Trees for Efficient Loopless Generation in Lexicographic Order. ITCC (2002)
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
A Program Dependence Model for Concurrent Logic Programs and its Applications. ICSM (2001)
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
Computing Executable Slices for Concurrent Logic Programs. APAQS (2001)
Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng
A Run-Time Deadlock Detector for Concurrent Java Programs. APSEC (2001)
Limin Xiang, Kazuo Ushijima
On Time Bounds, the Work-Time Scheduling Principle, and Optimality for BSR. IEEE Trans. Parallel Distributed Syst. 12 (9) (2001)
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
CLPKIDS: A Program Analysis System for Concurrent Logic Programs. COMPSAC (2001)
Limin Xiang, Kazuo Ushijima
On O(1) Time Algorithms for Combinatorial Generation. Comput. J. 44 (4) (2001)
Limin Xiang, Kazuo Ushijima, Changjie Tang
On generating k-ary trees in computer representation. Inf. Process. Lett. 77 (5-6) (2001)
Hirotatsu Sakamoto, Yoshihiro Okada, Toshihiko Shimokawa, Kazuo Ushijima
Component Based Video Communication Tool for Collaborative Virtual Environment. ICOIN (2001)
Limin Xiang, Kazuo Ushijima, Selim G. Akl
Generating Regular k-ary Trees Efficiently. Comput. J. 43 (4) (2000)
Toshihiko Shimokawa, Norihiko Yoshida, Kazuo Ushijima
Flexible Server Selection using DNS. ICDCS Workshop on Internet (2000)
Limin Xiang, Kazuo Ushijima
Optimal Parallel Merging Algorithms on BSR. ISPAN (2000)
Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng
Monitoring facilities in languages supporting development of concurrent self-measurement programs. APSEC (2000)
Limin Xiang, Kazuo Ushijima, Changjie Tang
Efficient loopless generation of Gray codes for k-ary trees. Inf. Process. Lett. 76 (4-6) (2000)
Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima
A Supporting Tool for Development of Self-Measurement Ada Programs. Ada-Europe (2000)
Gou Masuda, Rei Yano, Norihiro Sakamoto, Kazuo Ushijima
Discovering and Visualizing Attribute Associations Using Bayesian Networks and Their Use in KDD. PKDD (1999)
Sukanya Suranauwarat, Hideo Taniguchi, Kazuo Ushijima
Evaluation of Process Scheduling Mechanism for a Web Server Based on Its Behavior while Executing. APSEC (1999)
Limin Xiang, Kazuo Ushijima
. Inf. Process. Lett. 71 (2) (1999)
Limin Xiang, Kazuo Ushijima
Rearranging Scattered Information on BSR. Inf. Process. Lett. 71 (1) (1999)
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)
Limin Xiang, Kazuo Ushijima, Selim G. Akl, Ivan Stojmenovic
An Efficient Implementation for the BROADCAST Instruction of BSR+. IEEE Trans. Parallel Distributed Syst. 10 (8) (1999)
Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima
A System Dependence Net Generator for Ada Programs. APSEC (1999)
Kazuhiro Kusunoki, Isao Imai, Haruyuki Ohtani, Tetsuo Nakakawaji, Michitaka Ohshima, Kazuo Ushijima
A CORBA-Based Remote Monitoring System for Factory Automation. ISORC (1998)
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
A Metrics Suite for Concurrent Logic Programs. CSMR (1998)
Limin Xiang, Kazuo Ushijima
ANSV Problem on BSRs. Inf. Process. Lett. 65 (3) (1998)
Gou Masuda, Norihiro Sakamoto, Kazuo Ushijima
Applying Design Patterns to Decision Tree Learning System. SIGSOFT FSE (1998)
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
Design and Implementation of Test-Case Generation for Concurrent Programs. APSEC (1998)
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance. CSMR (1998)
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
A Test-case Generation Method for Concurrent Programs Including Task-types. APSEC (1997)
Kazunori Nishi, Jingde Cheng, Kazuo Ushijima
Improving the Performance of Automated Forward Deduction System EnCal. ISHPC (1997)
Limin Xiang, Changjie Tang, Kazuo Ushijima
Grammar-Oriented Enumeration of Binary Trees. Comput. J. 40 (5) (1997)
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. APSEC (1996)
Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima
ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). ASIAN (1996)
Gou Masuda, Norihiro Sakamoto, Kazuo Ushijima
A Practical Object-Oriented Concept Learning System in Clinical Medicine. IEA/AIE (1996)
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
Static Slicing of Concurrent Object-Oriented Programs. COMPSAC (1996)
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
Program dependence analysis of concurrent logic programs and its applications. ICPADS (1996)
Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs. APSEC (1996)
Jingde Cheng, Kazuo Ushijima
Tasking Deadlocks in Ada 95 Programs and Their Detection. Ada-Europe (1996)
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)
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
Program Dependence Analysis of Concurrent Logic Programs and Its Applications. ICLP (1995)
Akio Nishikawa, Kenji Satou, Emiko Furuichi, Satoru Kuhara, Kazuo Ushijima
Data Classification Component in a Deductive Database System and Its Application to Protein Structural Analysis. IEICE Trans. Inf. Syst. (11) (1995)
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
Event Interactions Graph for Test-case Generation of Concurrent Programs. APSEC (1995)
Norihiro Sakamoto, Kazuo Ushijima
Designing and Integrating Human Genome Databases with Object-Oriented Technology. DEXA (1994)
Eisuke Itoh, Yutaka Kawaguchi, Zengo Furukawa, Kazuo Ushijima
Ordered sequence testing criteria for concurrent programs and the support tool. APSEC (1994)
Toshihisa Takagi, Takahiko Suzuki, Susumu Goto, Kazuo Ushijima
Evaluation of a deductive database system for CAD applications. Systems and Computers in Japan 23 (13) (1992)
Jingde Cheng, Kazuo Ushijima
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. Ada-Europe (1991)
Neng-Fa Zhou, Kazuo Ushijima, Toshihisa Takagi
Bidirectional inference of mode information for logic programs. Systems and Computers in Japan 22 (4) (1991)
Jingde Cheng, Yoshiaki Kasahara, Kazuo Ushijima
A tasking deadlock detector for Ada programs. COMPSAC (1991)
Neng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima
A Matching Tree Oriented Abstract Machine for Prolog. ICLP (1990)
Jingde Cheng, Kazuo Ushijima
Entailment as a logical basis for incremental generation of causal relations. COMPSAC (1989)
Keijiro Araki, Kazuo Ushijima
The use of Ada in the development of distributed systems: experience implementing a communications system. WADAS (1986)
Toshihisa Takagi, Fumihiro Matsuo, Shouichi Futamura, Kazuo Ushijima
Implementation of Inferential Relational Database System. FODO (1985)
Kazuo Ushijima
Step to an Efficient Program for Floating-point Summation. Softw. Pract. Exp. 7 (6) (1977)