Kazuo Ushijima

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Efficient Generation of Gray Codes for Reflectable Languages.
Proceedings of the Computational Science and Its Applications, 2010

2006
Sequence Analysis in Constant Time on BSR.
Proceedings of the Seventh International Conference on Parallel and Distributed Computing, 2006

2005
Encoding a Binary Search Tree in Constant Time on BSR.
Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

A Web-Based Classroom Environment for Enhanced Residential College Education.
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.
Proceedings of the Parallel and Distributed Computing: Applications and Technologies, 2004

Construction and Practice of a New Educational Environment with Lecture Recording System.
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.
Syst. Comput. Jpn., 2002

Time Optimal n-Size Matching Parentheses and Binary Tree Decoding Algorithms on a p-Processor BSR.
Parallel Process. Lett., 2002

O(1) Time Algorithm on BSR for Computing Convex Hull.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002

Coding k-ary Trees for Efficient Loopless Generation in Lexicographic Order.
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.
IEEE Trans. Parallel Distributed Syst., 2001

On generating k-ary trees in computer representation.
Inf. Process. Lett., 2001

On O(1) Time Algorithms for Combinatorial Generation.
Comput. J., 2001

A Program Dependence Model for Concurrent Logic Programs and its Applications.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

Component Based Video Communication Tool for Collaborative Virtual Environment.
Proceedings of the 15th International Conference on Information Networking, 2001

CLPKIDS: A Program Analysis System for Concurrent Logic Programs.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

A Run-Time Deadlock Detector for Concurrent Java Programs.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

Computing Executable Slices for Concurrent Logic Programs.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000
Efficient loopless generation of Gray codes for k-ary trees.
Inf. Process. Lett., 2000

Generating Regular k-ary Trees Efficiently.
Comput. J., 2000

Optimal Parallel Merging Algorithms on BSR.
Proceedings of the 5th International Symposium on Parallel Architectures, 2000

Flexible Server Selection using DNS.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Monitoring facilities in languages supporting development of concurrent self-measurement programs.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

A Supporting Tool for Development of Self-Measurement Ada Programs.
Proceedings of the Reliable Software Technologies, 2000

1999
An Efficient Implementation for the BROADCAST Instruction of BSR+.
IEEE Trans. Parallel Distributed Syst., 1999

A Theorem on the Relation Between BSR<sub>k</sub> and BSR<sup>+</sup>.
Inf. Process. Lett., 1999

Rearranging Scattered Information on BSR.
Inf. Process. Lett., 1999

Interactive Courseware Quiz Creator: An Adaptive Zero-Programming Content Development Tool for Students Learning and Testing via Intra/Internet.
Proceedings of WebNet 99, 1999

Discovering and Visualizing Attribute Associations Using Bayesian Networks and Their Use in KDD.
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.
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

A System Dependence Net Generator for Ada Programs.
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998
ANSV Problem on BSRs.
Inf. Process. Lett., 1998

Applying Design Patterns to Decision Tree Learning System.
Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

A CORBA-Based Remote Monitoring System for Factory Automation.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

A Metrics Suite for Concurrent Logic Programs.
Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998

A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance.
Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998

Design and Implementation of Test-Case Generation for Concurrent Programs.
Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997
Grammar-Oriented Enumeration of Binary Trees.
Comput. J., 1997

Improving the Performance of Automated Forward Deduction System EnCal.
Proceedings of the High Performance Computing, International Symposium, 1997

A Test-case Generation Method for Concurrent Programs Including Task-types.
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.
Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1996

Static Slicing of Concurrent Object-Oriented Programs.
Proceedings of the COMPSAC '96, 1996

ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract).
Proceedings of the Concurrency and Parallelism, 1996

A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph.
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.
Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

Tasking Deadlocks in Ada 95 Programs and Their Detection.
Proceedings of the Reliable Software Technologies, 1996

1995
Data Classification Component in a Deductive Database System and Its Application to Protein Structural Analysis.
IEICE Trans. Inf. Syst., 1995

Program Dependence Analysis of Concurrent Logic Programs and Its Applications.
Proceedings of the Logic Programming, 1995

Event Interactions Graph for Test-case Generation of Concurrent Programs.
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.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994
Designing and Integrating Human Genome Databases with Object-Oriented Technology.
Proceedings of the Database and Expert Systems Applications, 5th International Conference, 1994

Ordered sequence testing criteria for concurrent programs and the support tool.
Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1992
Evaluation of a deductive database system for CAD applications.
Syst. Comput. Jpn., 1992

1991
Bidirectional inference of mode information for logic programs.
Syst. Comput. Jpn., 1991

A tasking deadlock detector for Ada programs.
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets.
Proceedings of the Ada: The Choice for '92, Ada-Europe International Conference, 1991

1990
A Matching Tree Oriented Abstract Machine for Prolog.
Proceedings of the Logic Programming, 1990

1989
Entailment as a logical basis for incremental generation of causal relations.
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.
Proceedings of the Third Annual Washington Ada Symposium on Ada, 1986

1985
Implementation of Inferential Relational Database System.
Proceedings of the Foundations of Data Organization, 1985

1977
Step to an Efficient Program for Floating-point Summation.
Softw. Pract. Exp., 1977


  Loading...