Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("TAKEICHI, Masato")

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 20 of 20

  • Page / 1
Export

Selection :

  • and

Deterministic higher-order patterns for program transformationYOKOYAMA, Tetsuo; ZHENJIANG HU; TAKEICHI, Masato et al.Lecture notes in computer science. 2004, pp 128-142, issn 0302-9743, isbn 3-540-22174-3, 15 p.Conference Paper

Systematic derivation of tree contraction algorithmsMATSUZAKI, Kiminori; ZHENJIANG HU; KAKEHI, Kazuhiko et al.Parallel processing letters. 2005, Vol 15, Num 3, pp 321-336, issn 0129-6264, 16 p.Article

Deterministic second-order patternsYOKOYAMA, Tetsuo; ZHENJIANG HU; TAKEICHI, Masato et al.Information processing letters. 2004, Vol 89, Num 6, pp 309-314, issn 0020-0190, 6 p.Article

Generation of efficient programs for solving maximum multi-marking problemsSASANO, Isao; HU, Zhenjiang; TAKEICHI, Masato et al.Lecture notes in computer science. 2001, pp 72-91, issn 0302-9743, isbn 3-540-42558-6Conference Paper

An accumulative parallel skeleton for allHU, Zhenjiang; IWASAKI, Hideya; TAKEICHI, Masato et al.Lecture notes in computer science. 2002, pp 83-97, issn 0302-9743, isbn 3-540-43363-5Conference Paper

A programmable editor for developing structured documents based on bidirectional transformationsZHENJIANG HU; MU, Shin-Cheng; TAKEICHI, Masato et al.Higher-order and symbolic computation. 2008, Vol 21, Num 1-2, pp 89-118, issn 1388-3690, 30 p.Article

An algebraic approach to bi-directional updatingMU, Shin-Cheng; ZHENJIANG HU; TAKEICHI, Masato et al.Lecture notes in computer science. 2004, pp 2-20, issn 0302-9743, isbn 3-540-23724-0, 19 p.Conference Paper

An efficient staging algorithm for binding-time analysisMURAKAMI, Takuma; ZHENJIANG HU; KAKEHI, Kazuhiko et al.Lecture notes in computer science. 2004, pp 106-107, issn 0302-9743, isbn 3-540-22174-3, 2 p.Conference Paper

An injective language for reversible computationMU, Shin-Cheng; ZHENJIANG HU; TAKEICHI, Masato et al.Lecture notes in computer science. 2004, pp 289-313, issn 0302-9743, isbn 3-540-22380-0, 25 p.Conference Paper

Swapping arguments and results of recursive functionsMORIHATA, Akimasa; KAKEHI, Kazuhiko; ZHENJIANG HU et al.Lecture notes in computer science. 2006, pp 379-396, issn 0302-9743, isbn 3-540-35631-2, 1Vol, 18 p.Conference Paper

Consistent Web site updating based on bidirectional transformationNAKANO, Keisuke; ZHENJIANG HU; TAKEICHI, Masato et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 6, pp 453-468, issn 1433-2779, 16 p.Conference Paper

Type-Based Specialization of XML TransformationsMATSUDA, Kazutaka; ZHENJIANG HU; TAKEICHI, Masato et al.ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation. 2009, pp 61-71, isbn 978-1-60558-327-3, 1Vol, 11 p.Conference Paper

The Third Homomorphism Theorem on Trees : Downward & Upward Lead to Divide-and-ConquerMORIHATA, Akimasa; MATSUZAKI, Kiminori; ZHENJIANG HU et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 177-185, issn 1523-2867, 9 p.Conference Paper

Program Optimizations and Transformations in Calculation FormZHENJIANG HU; YOKOYAMA, Tetsuo; TAKEICHI, Masato et al.Lecture notes in computer science. 2006, pp 144-168, issn 0302-9743, isbn 3-540-45778-X, 1Vol, 25 p.Conference Paper

Parallelization with tree skeletonsMATSUZAKI, Kiminori; ZHENJIANG HU; TAKEICHI, Masato et al.Lecture notes in computer science. 2003, pp 789-798, issn 0302-9743, isbn 3-540-40788-X, 10 p.Conference Paper

A compositional framework for mining longest rangesHAIYAN ZHAO; ZHENJIANG HU; TAKEICHI, Masato et al.Lecture notes in computer science. 2002, pp 406-413, issn 0302-9743, isbn 3-540-00188-3, 8 p.Conference Paper

Write it Recursively : A Generic Framework for Optimal Path QueriesMORIHATA, Akimasa; MATSUZAKI, Kiminori; TAKEICHI, Masato et al.ACM SIGPLAN notices. 2008, Vol 43, Num 9, pp 169-178, issn 1523-2867, 10 p.Conference Paper

Bidirectionalization transformation based on automatic derivation of view complement functionsMATSUDA, Kazutaka; ZHENJIANG HU; NAKANO, Keisuke et al.ACM SIGPLAN notices. 2007, Vol 42, Num 9, pp 47-58, issn 1523-2867, 12 p.Conference Paper

Automatic inversion generates divide-and-conquer parallel programsMORITA, Kazutaka; MORIHATA, Akimasa; MATSUZAKI, Kiminori et al.ACM SIGPLAN notices. 2007, Vol 42, Num 6, pp 146-155, issn 1523-2867, 10 p.Conference Paper

Surrounding Theorem : Developing Parallel Programs for Matrix-ConvolutionsEMOTO, Kento; MATSUZAKI, Kiminori; ZHENJIANG HU et al.Lecture notes in computer science. 2006, pp 605-614, issn 0302-9743, isbn 3-540-37783-2, 1Vol, 10 p.Conference Paper

  • Page / 1