Kazuo Ushijima

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