 | 1986 |
17 |  | Masahiro Fujita,
Shinji Kono,
Hidehiko Tanaka,
Tohru Moto-Oka:
Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog.
ICLP 1986: 695-709 |
| 1985 |
16 |  | Shinya Fushimi,
Masaru Kitsuregawa,
Hidehiko Tanaka,
Tohru Moto-Oka:
Multidimensional Clustering Techniques for Large Relational Database Machines.
FODO 1985: 293-308 |
15 |  | Masaru Kitsuregawa,
Shinya Fushimi,
Hidehiko Tanaka,
Tohru Moto-Oka:
Memory Management Algorithms in Pipeline Merge Sorter.
IWDM 1985: 208-232 |
14 |  | T. Aoyagi,
Masahiro Fujita,
Tohru Moto-Oka:
Temporal Logic Programming Language Tokio - Programming in Tokio.
LP 1985: 128-137 |
13 |  | Masahiro Fujita,
Makoto Ishisone,
Hiroshi Nakamura,
Hidehiko Tanaka,
Tohru Moto-Oka:
Using the Temporal Logic Programming Language Tokio for Algorithm Description and Automatic CMOS Gate Array Synthesis.
LP 1985: 246-255 |
12 |  | Tsutomu Maruyama,
Keiji Hirata,
Hidehiko Tanaka,
Tohru Moto-Oka:
A Note on the Elementary Execution Unit in a Parallel Inference Machine.
LP 1985: 25-34 |
11 |  | Shinya Fushimi,
Masaru Kitsuregawa,
Masaya Nakayama,
Hidehiko Tanaka,
Tohru Moto-Oka:
Algorithm and Performance Evaluation of Adaptive Multidimensional Clustering Technique.
SIGMOD Conference 1985: 308-318 |
| 1984 |
10 |  | Tohru Moto-Oka,
Hidehiko Tanaka,
Hitoshi Aida,
Keiji Hirata,
Tsutomu Maruyama:
The Architecture of a Parallel Inference Engine - PIE.
FGCS 1984: 479-488 |
9 |  | Masahiro Fujita,
Hidehiko Tanaka,
Tohru Moto-Oka:
Specifying Hardware in temporal Logic & Efficient Synthesis of State-Diagrams Using Prolog.
FGCS 1984: 572-581 |
8 |  | Atsuhiro Goto,
Hidehiko Tanaka,
Tohru Moto-Oka:
Highly Parallel Inference Engine PIE: Goal Rewriting Model and Machine Architecture.
New Generation Comput. 2(1): 37-58 (1984) |
| 1983 |
7 |  | Tohru Moto-Oka,
Kazuhiro Fuchi:
The Architectures in the Fifth Generation Computers.
IFIP Congress 1983: 589-602 |
6 |  | Tohru Moto-Oka:
Overview to the Fifth Generation Computer System Project
ISCA 1983: 417-422 |
5 |  | Tohru Moto-Oka:
On the Founding of This Journal.
New Generation Comput. 1(1): 1-2 (1983) |
4 |  | Masaru Kitsuregawa,
Hidehiko Tanaka,
Tohru Moto-Oka:
Application of Hash to Data Base Machine and Its Architecture.
New Generation Comput. 1(1): 63-74 (1983) |
3 |  | Hitoshi Aida,
Hidehiko Tanaka,
Tohru Moto-Oka:
A Prolog Extension for Handling Negative Knowledge.
New Generation Comput. 1(1): 87-91 (1983) |
2 |  | Masahiro Fujita,
Hidehiko Tanaka,
Tohru Moto-Oka:
Temporal Logic Based Hardware Description and Its Verification with Prolog.
New Generation Comput. 1(2): 195-203 (1983) |
| 1982 |
1 |  | Masaru Kitsuregawa,
Hidehiko Tanaka,
Tohru Moto-Oka:
Relational Algebra Machine GRACE.
RIMS Symposium on Software Science and Engineering 1982: 191-214 |