Kazuo Ushijima

According to our database, Kazuo Ushijima authored at least 61 papers between 1977 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2010

Efficient Generation of Gray Codes for Reflectable Languages.

Limin Xiang, Kai Cheng, Kazuo Ushijima

Proceedings of the Computational Science and Its Applications, 2010

2006

Sequence Analysis in Constant Time on BSR.

Limin Xiang, Kai Cheng, Kazuo Ushijima

Proceedings of the Seventh International Conference on Parallel and Distributed Computing, 2006

2005

Encoding a Binary Search Tree in Constant Time on BSR.

Limin Xiang, Kai Cheng, Kazuo Ushijima

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

A Web-Based Classroom Environment for Enhanced Residential College Education.

Kai Cheng, Limin Xiang, Toyohiko Hirota, Kazuo Ushijima

Proceedings of the Advances in Web-Based Learning - ICWL 2005, 4th International Conference, Hong Kong, China, July 31, 2005

2004

O(1) Time Algorithm on BSR for Constructing a Binary Search Tree with Best Frequencies.

Limin Xiang, Kazuo Ushijima, Kai Cheng, Jianjun Zhao, Cunwei Lu

Proceedings of the Parallel and Distributed Computing: Applications and Technologies, 2004

Construction and Practice of a New Educational Environment with Lecture Recording System.

Kazuo Ushijima

Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 2004

2002

Development and operation of a document database for university research and education activities.

Yusuke Nonaka, Sozo Inoue, Katsuhiko Hatano, Tsutomu Harada, Yoshinari Nomura, Mizuho Iwaihara, Tsunenori Mine, Kazuo Ushijima

Syst. Comput. Jpn., 2002

Time Optimal n-Size Matching Parentheses and Binary Tree Decoding Algorithms on a p-Processor BSR.

Limin Xiang, Kazuo Ushijima, Jianjun Zhao

Parallel Process. Lett., 2002

O(1) Time Algorithm on BSR for Computing Convex Hull.

Limin Xiang, Kazuo Ushijima

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002

Coding k-ary Trees for Efficient Loopless Generation in Lexicographic Order.

Limin Xiang, Kazuo Ushijima, Yuichi Asahiro

Proceedings of the 2002 International Symposium on Information Technology (ITCC 2002), 2002

2001

On Time Bounds, the Work-Time Scheduling Principle, and Optimality for BSR.

Limin Xiang, Kazuo Ushijima

IEEE Trans. Parallel Distributed Syst., 2001

On generating k-ary trees in computer representation.

Limin Xiang, Kazuo Ushijima, Changjie Tang

Inf. Process. Lett., 2001

On O(1) Time Algorithms for Combinatorial Generation.

Limin Xiang, Kazuo Ushijima

Comput. J., 2001

A Program Dependence Model for Concurrent Logic Programs and its Applications.

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Proceedings of the 2001 International Conference on Software Maintenance, 2001

Component Based Video Communication Tool for Collaborative Virtual Environment.

Hirotatsu Sakamoto, Yoshihiro Okada, Toshihiko Shimokawa, Kazuo Ushijima

Proceedings of the 15th International Conference on Information Networking, 2001

CLPKIDS: A Program Analysis System for Concurrent Logic Programs.

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

A Run-Time Deadlock Detector for Concurrent Java Programs.

Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

Computing Executable Slices for Concurrent Logic Programs.

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000

Efficient loopless generation of Gray codes for k-ary trees.

Limin Xiang, Kazuo Ushijima, Changjie Tang

Inf. Process. Lett., 2000

Generating Regular k-ary Trees Efficiently.

Limin Xiang, Kazuo Ushijima, Selim G. Akl

Comput. J., 2000

Optimal Parallel Merging Algorithms on BSR.

Limin Xiang, Kazuo Ushijima

Proceedings of the 5th International Symposium on Parallel Architectures, 2000

Flexible Server Selection using DNS.

Toshihiko Shimokawa, Norihiko Yoshida, Kazuo Ushijima

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Monitoring facilities in languages supporting development of concurrent self-measurement programs.

Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

A Supporting Tool for Development of Self-Measurement Ada Programs.

Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima

Proceedings of the Reliable Software Technologies, 2000

1999

An Efficient Implementation for the BROADCAST Instruction of BSR+.

Limin Xiang, Kazuo Ushijima, Selim G. Akl, Ivan Stojmenovic

IEEE Trans. Parallel Distributed Syst., 1999

A Theorem on the Relation Between BSR_k and BSR⁺.

Limin Xiang, Kazuo Ushijima

Inf. Process. Lett., 1999

Rearranging Scattered Information on BSR.

Limin Xiang, Kazuo Ushijima

Inf. Process. Lett., 1999

Interactive Courseware Quiz Creator: An Adaptive Zero-Programming Content Development Tool for Students Learning and Testing via Intra/Internet.

Ryoji Matsuno, Yutaka Tsutsumi, Kazuo Ushijima

Proceedings of WebNet 99, 1999

Discovering and Visualizing Attribute Associations Using Bayesian Networks and Their Use in KDD.

Gou Masuda, Rei Yano, Norihiro Sakamoto, Kazuo Ushijima

Proceedings of the Principles of Data Mining and Knowledge Discovery, 1999

Evaluation of Process Scheduling Mechanism for a Web Server Based on Its Behavior while Executing.

Sukanya Suranauwarat, Hideo Taniguchi, Kazuo Ushijima

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

A System Dependence Net Generator for Ada Programs.

Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998

ANSV Problem on BSRs.

Limin Xiang, Kazuo Ushijima

Inf. Process. Lett., 1998

Applying Design Patterns to Decision Tree Learning System.

Gou Masuda, Norihiro Sakamoto, Kazuo Ushijima

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

A CORBA-Based Remote Monitoring System for Factory Automation.

Kazuhiro Kusunoki, Isao Imai, Haruyuki Ohtani, Tetsuo Nakakawaji, Michitaka Ohshima, Kazuo Ushijima

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

A Metrics Suite for Concurrent Logic Programs.

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998

A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance.

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998

Design and Implementation of Test-Case Generation for Concurrent Programs.

Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997

Grammar-Oriented Enumeration of Binary Trees.

Limin Xiang, Changjie Tang, Kazuo Ushijima

Comput. J., 1997

Improving the Performance of Automated Forward Deduction System EnCal.

Kazunori Nishi, Jingde Cheng, Kazuo Ushijima

Proceedings of the High Performance Computing, International Symposium, 1997

A Test-case Generation Method for Concurrent Programs Including Task-types.

Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996

A Practical Object-Oriented Concept Learning System in Clinical Medicine.

Gou Masuda, Norihiro Sakamoto, Kazuo Ushijima

Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1996

Static Slicing of Concurrent Object-Oriented Programs.

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Proceedings of the COMPSAC '96, 1996

ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract).

Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima

Proceedings of the Concurrency and Parallelism, 1996

A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph.

Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs.

Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

Tasking Deadlocks in Ada 95 Programs and Their Detection.

Jingde Cheng, Kazuo Ushijima

Proceedings of the Reliable Software Technologies, 1996

1995

Data Classification Component in a Deductive Database System and Its Application to Protein Structural Analysis.

Akio Nishikawa, Kenji Satou, Emiko Furuichi, Satoru Kuhara, Kazuo Ushijima

IEICE Trans. Inf. Syst., 1995

Program Dependence Analysis of Concurrent Logic Programs and Its Applications.

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Proceedings of the Logic Programming, 1995

Event Interactions Graph for Test-case Generation of Concurrent Programs.

Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

An Integrated Support Environment for Distributed Software Development based on Unified Program Representations.

Yoshiaki Kasahara, Yoshinari Nomura, Masayuki Kamachi, Jingde Cheng, Kazuo Ushijima

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994

Designing and Integrating Human Genome Databases with Object-Oriented Technology.

Norihiro Sakamoto, Kazuo Ushijima

Proceedings of the Database and Expert Systems Applications, 5th International Conference, 1994

Ordered sequence testing criteria for concurrent programs and the support tool.

Eisuke Itoh, Yutaka Kawaguchi, Zengo Furukawa, Kazuo Ushijima

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1992

Evaluation of a deductive database system for CAD applications.

Toshihisa Takagi, Takahiko Suzuki, Susumu Goto, Kazuo Ushijima

Syst. Comput. Jpn., 1992

1991

Bidirectional inference of mode information for logic programs.

Neng-Fa Zhou, Kazuo Ushijima, Toshihisa Takagi

Syst. Comput. Jpn., 1991

A tasking deadlock detector for Ada programs.

Jingde Cheng, Yoshiaki Kasahara, Kazuo Ushijima

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets.

Jingde Cheng, Kazuo Ushijima

Proceedings of the Ada: The Choice for '92, Ada-Europe International Conference, 1991

1990

A Matching Tree Oriented Abstract Machine for Prolog.

Neng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima

Proceedings of the Logic Programming, 1990

1989

Entailment as a logical basis for incremental generation of causal relations.

Jingde Cheng, Kazuo Ushijima

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1986

The use of Ada in the development of distributed systems: experience implementing a communications system.

Keijiro Araki, Kazuo Ushijima

Proceedings of the Third Annual Washington Ada Symposium on Ada, 1986

1985

Implementation of Inferential Relational Database System.

Toshihisa Takagi, Fumihiro Matsuo, Shouichi Futamura, Kazuo Ushijima

Proceedings of the Foundations of Data Organization, 1985

1977

Step to an Efficient Program for Floating-point Summation.

Kazuo Ushijima

Softw. Pract. Exp., 1977