Kazuo Ushijima - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 62 from 62

2010

Efficient Generation of Gray Codes for Reflectable LanguagesLimin Xiang, Kai Cheng, Kazuo Ushijima. iccsa 2010: 418-426 [doi]

2006

Sequence Analysis in Constant Time on BSRLimin Xiang, Kai Cheng, Kazuo Ushijima. pdcat 2006: 431-436 [doi]

2005

A Web-Based Classroom Environment for Enhanced Residential College EducationKai Cheng, Limin Xiang, Toyohiko Hirota, Kazuo Ushijima. icwl 2005: 56-65 [doi]

Encoding a Binary Search Tree in Constant Time on BSRLimin Xiang, Kai Cheng, Kazuo Ushijima. pdcat 2005: 740-744 [doi]

2004

Construction and Practice of a New Educational Environment with Lecture Recording SystemKazuo Ushijima. aina 2004: 12-15 [doi]

O(1) Time Algorithm on BSR for Constructing a Binary Search Tree with Best FrequenciesLimin Xiang, Kazuo Ushijima, Kai Cheng, Jianjun Zhao, Cunwei Lu. pdcat 2004: 218-225 [doi]

2002

2001

A Run-Time Deadlock Detector for Concurrent Java ProgramsYusuka Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng. apsec 2001: 45-52 [doi]

Component Based Video Communication Tool for Collaborative Virtual EnvironmentHirotatsu Sakamoto, Yoshihiro Okada, Toshihiko Shimokawa, Kazuo Ushijima. icoin 2001: 375-380 [doi]

On generating k-ary trees in computer representationLimin Xiang, Kazuo Ushijima, Changjie Tang. ipl, 77(5-6):231-238, 2001. [doi]

On O(1) Time Algorithms for Combinatorial GenerationLimin Xiang, Kazuo Ushijima. cj, 44(4):292-302, 2001. [doi]

On Time Bounds, the Work-Time Scheduling Principle, and Optimality for BSRLimin Xiang, Kazuo Ushijima. tpds, 12(9):912-921, 2001. [doi]

A Program Dependence Model for Concurrent Logic Programs and its ApplicationsJianjun Zhao, Jingde Cheng, Kazuo Ushijima. ICSM 2001: 672-681 [doi]

Computing Executable Slices for Concurrent Logic ProgramsJianjun Zhao, Jingde Cheng, Kazuo Ushijima. apaqs 2001: 13-22 [doi]

CLPKIDS: A Program Analysis System for Concurrent Logic ProgramsJianjun Zhao, Jingde Cheng, Kazuo Ushijima. compsac 2001: 531-537 [doi]

2000

1999

Discovering and Visualizing Attribute Associations Using Bayesian Networks and Their Use in KDDGou Masuda, Rei Yano, Norihiro Sakamoto, Kazuo Ushijima. pkdd 1999: 61-70

Interactive Courseware Quiz Creator: An Adaptive Zero-Programming Content Development Tool for Students Learning and Testing via Intra/InternetRyoji Matsuno, Yutaka Tsutsumi, Kazuo Ushijima. webnet 1999: 1340-1341

A System Dependence Net Generator for Ada ProgramsYusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima. apsec 1999: 441-448 [doi]

Evaluation of Process Scheduling Mechanism for a Web Server Based on Its Behavior while ExecutingSukanya Suranauwarat, Hideo Taniguchi, Kazuo Ushijima. apsec 1999: 80-87 [doi]

Rearranging Scattered Information on BSRLimin Xiang, Kazuo Ushijima. ipl, 71(1):43-47, 1999. [doi]

A Theorem on the Relation Between BSR::k:: and BSR:::+:::Limin Xiang, Kazuo Ushijima. ipl, 71(2):71-73, 1999. [doi]

An Efficient Implementation for the BROADCAST Instruction of BSR+Limin Xiang, Kazuo Ushijima, Selim G. Akl, Ivan Stojmenovic. tpds, 10(8):852-863, 1999. [doi]

1998

1997

A Test-case Generation Method for Concurrent Programs Including Task-typesTetsuro Katayama, Zengo Furukawa, Kazuo Ushijima. apsec 1997: 485-494 [doi]

Improving the Performance of Automated Forward Deduction System EnCalKazunori Nishi, Jingde Cheng, Kazuo Ushijima. ishpc 1997: 371-380

Grammar-Oriented Enumeration of Binary TreesLimin Xiang, Changjie Tang, Kazuo Ushijima. cj, 40(5):278-291, 1997.

1996

Tasking Deadlocks in Ada 95 Programs and Their DetectionJingde Cheng, Kazuo Ushijima. Ada-Europe 1996: 135-146

ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract)Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima. asian 1996: 343-344

A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent ProgramsEisuke Itoh, Zengo Furukawa, Kazuo Ushijima. apsec 1996: 345-354 [doi]

A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions GraphTetsuro Katayama, Zengo Furukawa, Kazuo Ushijima. apsec 1996: 355 [doi]

A Practical Object-Oriented Concept Learning System in Clinical MedicineGou Masuda, Norihiro Sakamoto, Kazuo Ushijima. ieaaie 1996: 449-454

Program dependence analysis of concurrent logic programs and its applicationsJianjun Zhao, Jingde Cheng, Kazuo Ushijima. icpads 1996: 282-291 [doi]

Static Slicing of Concurrent Object-Oriented ProgramsJianjun Zhao, Jingde Cheng, Kazuo Ushijima. compsac 1996: 312-320 [doi]

1995

1994

Ordered sequence testing criteria for concurrent programs and the support toolEisuke Itoh, Yutaka Kawaguchi, Zengo Furukawa, Kazuo Ushijima. apsec 1994: 236-245 [doi]

Designing and Integrating Human Genome Databases with Object-Oriented TechnologyNorihiro Sakamoto, Kazuo Ushijima. DEXA 1994: 145-152

1992

Evaluation of a deductive database system for CAD applicationsToshihisa Takagi, Takahiko Suzuki, Susumu Goto, Kazuo Ushijima. scjapan, 23(13):15-27, 1992. [doi]

1991

Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri NetsJingde Cheng, Kazuo Ushijima. Ada-Europe 1991: 125-146

A tasking deadlock detector for Ada programsJingde Cheng, Yoshiaki Kasahara, Kazuo Ushijima. compsac 1991: 56-63 [doi]

Bidirectional inference of mode information for logic programsNeng-Fa Zhou, Kazuo Ushijima, Toshihisa Takagi. scjapan, 22(4):1-9, 1991. [doi]

1990

A Matching Tree Oriented Abstract Machine for PrologNeng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima. ICLP 1990: 159-173

1989

Entailment as a logical basis for incremental generation of causal relationsJingde Cheng, Kazuo Ushijima. compsac 1989: 719-726 [doi]

1986

The use of Ada in the development of distributed systems: experience implementing a communications systemKeijiro Araki, Kazuo Ushijima. wadas 1986: 245-251 [doi]

1985

Implementation of Inferential Relational Database SystemToshihisa Takagi, Fumihiro Matsuo, Shouichi Futamura, Kazuo Ushijima. fodo 1985: 539-546

1977

Step to an Efficient Program for Floating-point SummationKazuo Ushijima. SPE, 7(6):759-769, 1977.

All Publications

Filter by Year

[+]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Kazuo Ushijima'

Viewing Publication 1 - 62 from 62

2010

2006

2005

2004

2002

2001

2000

1999

1998

1997

1996

1995

1994

1992

1991

1990

1989

1986

1985

1977

All Publications

Filter by Year [+]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Kazuo Ushijima'

Viewing Publication 1 - 62 from 62

2010

2006

2005

2004

2002

2001

2000

1999

1998

1997

1996

1995

1994

1992

1991

1990

1989

1986

1985

1977

Filter by Year

[+]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1