СТ |
An Injective Language for Reversible Computation |
2004 |
Mu S. -Ch., Hu Z., Takeichi M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
СТ |
Compiler-Assisted Cache Replacement: Problem Formulation and Performance Evaluation |
2004 |
Yang H., Govindarajan R., Gao G. R., Hu Z. |
|
|
|
Lecture Notes in Computer Science |
08.04.2004 |
СТ |
Parallelization with Tree Skeletons |
2003 |
Matsuzaki K., Hu Z., Takeichi M. |
|
|
|
Lecture Notes in Computer Science |
23.09.2003 |
СТ |
Imposing Modeling Rules on Industrial Applications through Meta-modeling |
2002 |
Frohlich P., Hu Z., Schelzke M. |
|
|
|
Lecture Notes in Computer Science |
26.11.2002 |
СТ |
Towards a Modular Program Derivation via Fusion and Tupling |
2002 |
Chin W. -N., Hu Z. |
|
|
|
Lecture Notes in Computer Science |
23.11.2002 |
СТ |
Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies |
2002 |
Frohlich P., Hu Z., Schoelzke M. |
|
|
|
Lecture Notes in Computer Science |
30.10.2002 |
СТ |
An Accumulative Parallel Skeleton for All |
2002 |
Hu Z., Iwasaki H., Takeichi M. |
|
|
|
Lecture Notes in Computer Science |
08.05.2002 |
СТ |
Generation of Efficient Programs for Solving Maximum Multi-Marking Problems |
2001 |
Sasano I., Hu Z., Takeichi M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.10.2001 |
СТ |
Calculating a New Data Mining Algorithm for Market Basket Analysis |
2000 |
Hu Z., Chin W. -N., Takeichi M. |
|
|
|
Lecture Notes in Computer Science |
03.02.2000 |
СТ |
Parallelization in Calculational Forms |
1998 |
Hu Z., Takeichi M., Chin W. -N. |
|
|
|
Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages |
14.05.1998 |
СТ |
Tupling Calculation Eliminates Multiple Data Traversals |
1997 |
Hu Z., Iwasaki H., Takeichi M., Takano A. |
|
|
|
SIGPLAN Notices |
01.10.1997 |
СТ |
Deriving Structurial Hylomorphisms From Recursive Definitions |
1996 |
Hu Z., Iwasaki H., Takeichi M. |
|
|
|
SIGPLAN Notices |
11.09.1996 |