|
СТ |
Program Synthesis Based on the Equivalent Transformation Computation Model |
2003 |
Akama K., Nantajeewarawat E., Koike H. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |
|
СТ |
A Theoretical Foundation of Program Synthesis by Equivalent Transformation |
2001 |
Akama K., Koike H., Mabuchi H. |
|
|
|
Lecture Notes in Computer Science |
06.02.2002 |
|
СТ |
Equivalent Transformation by Safe Extension of Data Structures |
2001 |
Akama K., Koike H., Mabuchi H. |
|
|
|
Lecture Notes in Computer Science |
06.02.2002 |
|
СТ |
VisuaLinda: A Framework for Visualizing Parallel Linda Programs |
1997 |
Koike H., Takada T., Masui T. |
|
|
|
Proc. of 1997 IEEE Symp. on Visual Languages |
18.03.1998 |
|
СТ |
A Performance Debugger for Parallel Logic Programming Language Fleng |
1995 |
Tatemura J., Koike H., Tanaka H. |
|
|
|
Lecture Notes in Computer Science |
19.05.1995 |
|
СТ |
A Static Load Partitioning Method Based on Execution Profile for Committed Choice Languages |
1991 |
Hidaka Y., Koike H., Tatemura J., Tanaka H. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
04.01.1995 |
|
СТ |
The Role of Another Spatial Dimension in Software Visualization |
1993 |
Koike H. |
|
|
|
ACM Trans. Information Systems |
29.12.1993 |
|
СТ |
Control and Data Flow Visualization for Parallel Logic Programs on a Multi-window Debugger HyperDEBU |
1993 |
Tatemura J., Koike H., Tanaka H. |
|
|
|
Lecture Notes in Computer Science |
29.07.1993 |
|
СТ |
Multiple Threads in Cyclic Register Windows |
1993 |
Hidaka Y., Koike H., Tanaka H. |
|
|
|
Computer Architecture News |
24.06.1993 |
|
СТ |
Architecture of Parallel Management Kernel for PIE64 |
1992 |
Hidaka Y., Koike H., Tanaka H. |
|
|
|
Lecture Notes in Computer Science |
29.07.1992 |
