Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Hideya Iwasaki
@inproceedings{DBLP:conf/haskell/OtsukaI23, author = {Takato Otsuka and Hideya Iwasaki}, editor = {Trevor L. McDonell and Niki Vazou}, title = {Haskell Library for Safer Virtual Machine Introspection (Experience Report)}, booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023}, pages = {89--96}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3609026.3609732}, doi = {10.1145/3609026.3609732}, timestamp = {Wed, 20 Sep 2023 15:10:41 +0200}, biburl = {https://dblp.org/rec/conf/haskell/OtsukaI23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/IwasakiEMMH22, author = {Hideya Iwasaki and Kento Emoto and Akimasa Morihata and Kiminori Matsuzaki and Zhenjiang Hu}, title = {Fregel: a functional domain-specific language for vertex-centric large-scale graph processing}, journal = {J. Funct. Program.}, volume = {32}, pages = {e4}, year = {2022}, url = {https://doi.org/10.1017/S0956796821000277}, doi = {10.1017/S0956796821000277}, timestamp = {Sun, 15 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/IwasakiEMMH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jip/HirasawaIUO22, author = {Yuta Hirasawa and Hideya Iwasaki and Tomoharu Ugawa and Hiro Onozawa}, title = {Generating Virtual Machine Code of JavaScript Engine for Embedded Systems}, journal = {J. Inf. Process.}, volume = {30}, pages = {679--693}, year = {2022}, url = {https://doi.org/10.2197/ipsjjip.30.679}, doi = {10.2197/IPSJJIP.30.679}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jip/HirasawaIUO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jip/MiyajimaIK22, author = {Takumi Miyajima and Hideya Iwasaki and Yasushi Kuno}, title = {The {TABLET} Programming Learning Environment: from Block-based to Text-based Programming}, journal = {J. Inf. Process.}, volume = {30}, pages = {729--741}, year = {2022}, url = {https://doi.org/10.2197/ipsjjip.30.729}, doi = {10.2197/IPSJJIP.30.729}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jip/MiyajimaIK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwmm/MatsumotoUI22, author = {Kotaro Matsumoto and Tomoharu Ugawa and Hideya Iwasaki}, editor = {Michael Lippautz and David Chisnall}, title = {Replication-based object persistence by reachability}, booktitle = {{ISMM} '22: {ACM} {SIGPLAN} International Symposium on Memory Management, San Diego, CA, USA, 14 June 2022}, pages = {43--56}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3520263.3534653}, doi = {10.1145/3520263.3534653}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iwmm/MatsumotoUI22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwmm/OnozawaUI21, author = {Hiro Onozawa and Tomoharu Ugawa and Hideya Iwasaki}, editor = {Zhenlin Wang and Tobias Wrigstad}, title = {Fusuma: double-ended threaded compaction}, booktitle = {{ISMM} '21: 2021 {ACM} {SIGPLAN} International Symposium on Memory Management, Virtual Event, Canada, 22 June 2021}, pages = {94--106}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3459898.3463903}, doi = {10.1145/3459898.3463903}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iwmm/OnozawaUI21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jip/TannoAYNI20, author = {Haruto Tanno and Yu Adachi and Yu Yoshimura and Katsuyuki Natsukawa and Hideya Iwasaki}, title = {Region-based Detection of Essential Differences in Image-based Visual Regression Testing}, journal = {J. Inf. Process.}, volume = {28}, pages = {268--278}, year = {2020}, url = {https://doi.org/10.2197/ipsjjip.28.268}, doi = {10.2197/IPSJJIP.28.268}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jip/TannoAYNI20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jip/AoyamaI19, author = {Wataru Aoyama and Hideya Iwasaki}, title = {dajFS: {A} New File System with Per-directory Adaptive Journaling}, journal = {J. Inf. Process.}, volume = {27}, pages = {369--377}, year = {2019}, url = {https://doi.org/10.2197/ipsjjip.27.369}, doi = {10.2197/IPSJJIP.27.369}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jip/AoyamaI19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/UgawaIK19, author = {Tomoharu Ugawa and Hideya Iwasaki and Takafumi Kataoka}, title = {eJSTK: Building JavaScript virtual machines with customized datatypes for embedded systems}, journal = {J. Comput. Lang.}, volume = {51}, pages = {261--279}, year = {2019}, url = {https://doi.org/10.1016/j.cola.2019.01.003}, doi = {10.1016/J.COLA.2019.01.003}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlc/UgawaIK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/UgawaIK19, author = {Tomoharu Ugawa and Hideya Iwasaki and Takafumi Kataoka}, title = {Collecting Type Information Using Unit Tests for Customizing JavaScript Virtual Machines}, booktitle = {{ICOOOLPS} '19: Proceedings of the 14th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, London, UK, 19 July 2019}, pages = {2:1--2:4}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3340670.3342425}, doi = {10.1145/3340670.3342425}, timestamp = {Wed, 02 Feb 2022 17:09:38 +0100}, biburl = {https://dblp.org/rec/conf/ecoop/UgawaIK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/TannoI19, author = {Haruto Tanno and Hideya Iwasaki}, title = {Suspend-Less Debugging for Interactive and/or Realtime Programs}, booktitle = {12th {IEEE} Conference on Software Testing, Validation and Verification, {ICST} 2019, Xi'an, China, April 22-27, 2019}, pages = {194--205}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ICST.2019.00028}, doi = {10.1109/ICST.2019.00028}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icst/TannoI19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/MorihataEMHI18, author = {Akimasa Morihata and Kento Emoto and Kiminori Matsuzaki and Zhenjiang Hu and Hideya Iwasaki}, editor = {John P. Gallagher and Martin Sulzmann}, title = {Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers}, booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS} 2018, Nagoya, Japan, May 9-11, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10818}, pages = {166--181}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-90686-7\_11}, doi = {10.1007/978-3-319-90686-7\_11}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/flops/MorihataEMHI18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/KataokaUI18, author = {Takafumi Kataoka and Tomoharu Ugawa and Hideya Iwasaki}, editor = {Hisham M. Haddad and Roger L. Wainwright and Richard Chbeir}, title = {A framework for constructing javascript virtual machines with customized datatype representations}, booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing, {SAC} 2018, Pau, France, April 09-13, 2018}, pages = {1238--1247}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3167132.3167266}, doi = {10.1145/3167132.3167266}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/KataokaUI18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/AraiSI16, author = {Ryoya Arai and Shigeyuki Sato and Hideya Iwasaki}, editor = {Atsushi Igarashi}, title = {A Debugger-Cooperative Higher-Order Contract System in Python}, booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS} 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10017}, pages = {148--168}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-47958-3\_9}, doi = {10.1007/978-3-319-47958-3\_9}, timestamp = {Thu, 23 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aplas/AraiSI16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/KawabataI16, author = {Hideyuki Kawabata and Hideya Iwasaki}, editor = {Peter Thiemann}, title = {Improving Floating-Point Numbers: {A} Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations}, booktitle = {Programming Languages and Systems - 25th European Symposium on Programming, {ESOP} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9632}, pages = {390--418}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49498-1\_16}, doi = {10.1007/978-3-662-49498-1\_16}, timestamp = {Mon, 23 Mar 2020 12:22:51 +0100}, biburl = {https://dblp.org/rec/conf/esop/KawabataI16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/EmotoMHMI16, author = {Kento Emoto and Kiminori Matsuzaki and Zhenjiang Hu and Akimasa Morihata and Hideya Iwasaki}, editor = {Jacques Garrigue and Gabriele Keller and Eijiro Sumii}, title = {Think like a vertex, behave like a function! a functional {DSL} for vertex-centric big graph processing}, booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22, 2016}, pages = {200--213}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2951913.2951938}, doi = {10.1145/2951913.2951938}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/EmotoMHMI16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/TanimuraI16, author = {Akira Tanimura and Hideya Iwasaki}, editor = {Sascha Ossowski}, title = {Integrating lua into {C} for embedding lua interpreters in a {C} application}, booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016}, pages = {1936--1943}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2851613.2851747}, doi = {10.1145/2851613.2851747}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/TanimuraI16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpp/KobayashiSI15, author = {Tetsu Kobayashi and Shigeyuki Sato and Hideya Iwasaki}, title = {Efficient Use of Hardware Transactional Memory for Parallel Mesh Generation}, booktitle = {44th International Conference on Parallel Processing, {ICPP} 2015, Beijing, China, September 1-4, 2015}, pages = {600--609}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICPP.2015.69}, doi = {10.1109/ICPP.2015.69}, timestamp = {Thu, 23 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icpp/KobayashiSI15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/TakanoI15, author = {Yasunao Takano and Hideya Iwasaki}, editor = {Roger L. Wainwright and Juan Manuel Corchado and Alessio Bechini and Jiman Hong}, title = {Thunk recycling for lazy functional languages: operational semantics and correctness}, booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015}, pages = {2079--2086}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2695664.2695693}, doi = {10.1145/2695664.2695693}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/TakanoI15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gpce/ShiodaIS14, author = {Masato Shioda and Hideya Iwasaki and Shigeyuki Sato}, editor = {Ulrik Pagh Schultz and Matthew Flatt}, title = {LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming}, booktitle = {Generative Programming: Concepts and Experiences, GPCE'14, Vasteras, Sweden, September 15-16, 2014}, pages = {63--72}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2658761.2658770}, doi = {10.1145/2658761.2658770}, timestamp = {Thu, 23 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gpce/ShiodaIS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icde/HakutaMNI14, author = {Shizuya Hakuta and Sebastian Maneth and Keisuke Nakano and Hideya Iwasaki}, editor = {Isabel F. Cruz and Elena Ferrari and Yufei Tao and Elisa Bertino and Goce Trajcevski}, title = {XQuery streaming by Forest Transducers}, booktitle = {{IEEE} 30th International Conference on Data Engineering, Chicago, {ICDE} 2014, IL, USA, March 31 - April 4, 2014}, pages = {952--963}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/ICDE.2014.6816714}, doi = {10.1109/ICDE.2014.6816714}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icde/HakutaMNI14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwmm/MorikawaUI13, author = {Kazuya Morikawa and Tomoharu Ugawa and Hideya Iwasaki}, editor = {Perry Cheng and Erez Petrank}, title = {Adaptive scanning reduces sweep time for the Lisp2 mark-compact garbage collector}, booktitle = {International Symposium on Memory Management, {ISMM} 2013, Seattle, WA, USA, June 20, 2013}, pages = {15--26}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2491894.2466480}, doi = {10.1145/2491894.2466480}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/iwmm/MorikawaUI13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/HakutaMNI13, author = {Shizuya Hakuta and Sebastian Maneth and Keisuke Nakano and Hideya Iwasaki}, title = {XQuery Streaming by Forest Transducers}, journal = {CoRR}, volume = {abs/1311.6570}, year = {2013}, url = {http://arxiv.org/abs/1311.6570}, eprinttype = {arXiv}, eprint = {1311.6570}, timestamp = {Thu, 26 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/HakutaMNI13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/IwasakiMT11, author = {Hideya Iwasaki and Takeshi Morimoto and Yasunao Takano}, title = {Pruning with improving sequences in lazy functional programs}, journal = {High. Order Symb. Comput.}, volume = {24}, number = {4}, pages = {281--309}, year = {2011}, url = {https://doi.org/10.1007/s10990-012-9086-3}, doi = {10.1007/S10990-012-9086-3}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/IwasakiMT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpads/YamadaIU11, author = {Yuji Yamada and Hideya Iwasaki and Tomoharu Ugawa}, title = {{SAW:} Java Synchronization Selection from Lock or Software Transactional Memory}, booktitle = {17th {IEEE} International Conference on Parallel and Distributed Systems, {ICPADS} 2011, Tainan, Taiwan, December 7-9, 2011}, pages = {104--111}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICPADS.2011.112}, doi = {10.1109/ICPADS.2011.112}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icpads/YamadaIU11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/SatoI11, author = {Shigeyuki Sato and Hideya Iwasaki}, editor = {Mary W. Hall and David A. Padua}, title = {Automatic parallelization via matrix multiplication}, booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA, June 4-8, 2011}, pages = {470--479}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1993498.1993554}, doi = {10.1145/1993498.1993554}, timestamp = {Thu, 23 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pldi/SatoI11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwmm/UgawaIY10, author = {Tomoharu Ugawa and Hideya Iwasaki and Taiichi Yuasa}, editor = {Jan Vitek and Doug Lea}, title = {Improved replication-based incremental garbage collection for embedded systems}, booktitle = {Proceedings of the 9th International Symposium on Memory Management, {ISMM} 2010, Toronto, Ontario, Canada, June 5-6, 2010}, pages = {73--82}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1806651.1806664}, doi = {10.1145/1806651.1806664}, timestamp = {Tue, 22 Jun 2021 17:10:56 +0200}, biburl = {https://dblp.org/rec/conf/iwmm/UgawaIY10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfp/UgawaIY10, author = {Tomoharu Ugawa and Hideya Iwasaki and Taiichi Yuasa}, editor = {Jon L. White and Ant{\'{o}}nio Menezes Leit{\~{a}}o}, title = {Starvation-free heap size for replication-based incremental compacting garbage collection}, booktitle = {International Lisp Conference, {ILC} 2010, Reno, NV, USA, October 19-21, 2010}, pages = {43--52}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1869643.1869649}, doi = {10.1145/1869643.1869649}, timestamp = {Fri, 06 Aug 2021 15:08:55 +0200}, biburl = {https://dblp.org/rec/conf/lfp/UgawaIY10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/SatoI09, author = {Shigeyuki Sato and Hideya Iwasaki}, editor = {Zhenjiang Hu}, title = {A Skeletal Parallel Framework with Fusion Optimizer for {GPGPU} Programming}, booktitle = {Programming Languages and Systems, 7th Asian Symposium, {APLAS} 2009, Seoul, Korea, December 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5904}, pages = {79--94}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-10672-9\_8}, doi = {10.1007/978-3-642-10672-9\_8}, timestamp = {Thu, 23 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aplas/SatoI09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/TannoI09, author = {Haruto Tanno and Hideya Iwasaki}, editor = {Henk J. Sips and Dick H. J. Epema and Hai{-}Xiang Lin}, title = {Parallel Skeletons for Variable-Length Lists in SkeTo Skeleton Library}, booktitle = {Euro-Par 2009 Parallel Processing, 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5704}, pages = {666--677}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03869-3\_63}, doi = {10.1007/978-3-642-03869-3\_63}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/europar/TannoI09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpp/KarasawaI09, author = {Yuki Karasawa and Hideya Iwasaki}, title = {A Parallel Skeleton Library for Multi-core Clusters}, booktitle = {{ICPP} 2009, International Conference on Parallel Processing, Vienna, Austria, 22-25 September 2009}, pages = {84--91}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/ICPP.2009.18}, doi = {10.1109/ICPP.2009.18}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icpp/KarasawaI09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/OyamaKI09, author = {Yoshihiro Oyama and Yoshiki Kaneko and Hideya Iwasaki}, editor = {Sung Y. Shin and Sascha Ossowski}, title = {Kenro: a virtual machine monitor mostly described in Haskell}, booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009}, pages = {1940--1941}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1529282.1529714}, doi = {10.1145/1529282.1529714}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/OyamaKI09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/SugikiKI08, author = {Akiyoshi Sugiki and Kenji Kono and Hideya Iwasaki}, title = {Tuning mechanisms for two major parameters of Apache web servers}, journal = {Softw. Pract. Exp.}, volume = {38}, number = {12}, pages = {1215--1240}, year = {2008}, url = {https://doi.org/10.1002/spe.861}, doi = {10.1002/SPE.861}, timestamp = {Thu, 09 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/spe/SugikiKI08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/ShioyaOI07, author = {Tomohiro Shioya and Yoshihiro Oyama and Hideya Iwasaki}, editor = {Iliano Cervesato}, title = {A Sandbox with a Dynamic Policy Based on Execution Contexts of Applications}, booktitle = {Advances in Computer Science - {ASIAN} 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4846}, pages = {297--311}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76929-3\_28}, doi = {10.1007/978-3-540-76929-3\_28}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asian/ShioyaOI07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/MakiI07, author = {Daisuke Maki and Hideya Iwasaki}, editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira Lopes and Guy L. Steele Jr.}, title = {A portable javascript thread library for Ajax applications}, booktitle = {Companion to the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2007, October 21-25, 2007, Montreal, Quebec, Canada}, pages = {817--818}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1297846.1297903}, doi = {10.1145/1297846.1297903}, timestamp = {Mon, 12 Jul 2021 15:34:15 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/MakiI07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/MorimotoTI07, author = {Takeshi Morimoto and Yasunao Takano and Hideya Iwasaki}, editor = {Michael Hanus}, title = {Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning}, booktitle = {Practical Aspects of Declarative Languages, 9th International Symposium, {PADL} 2007, Nice, France, January 14-15, 2007}, series = {Lecture Notes in Computer Science}, volume = {4354}, pages = {65--79}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69611-7\_4}, doi = {10.1007/978-3-540-69611-7\_4}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/padl/MorimotoTI07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scjapan/AgetsumaKIM06, author = {Masakuni Agetsuma and Kenji Kono and Hideya Iwasaki and Takashi Masuda}, title = {Basic mechanism of elastic server groups - Dynamic adaptation to load fluctuation}, journal = {Syst. Comput. Jpn.}, volume = {37}, number = {8}, pages = {24--37}, year = {2006}, url = {https://doi.org/10.1002/scj.20520}, doi = {10.1002/SCJ.20520}, timestamp = {Wed, 13 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scjapan/AgetsumaKIM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infoscale/MatsuzakiIEH06, author = {Kiminori Matsuzaki and Hideya Iwasaki and Kento Emoto and Zhenjiang Hu}, editor = {Xiaohua Jia}, title = {A library of constructive skeletons for sequential style of parallel programming}, booktitle = {Proceedings of the 1st International Conference on Scalable Information Systems, Infoscale 2006, Hong Kong, May 30-June 1, 2006}, series = {{ACM} International Conference Proceeding Series}, volume = {152}, pages = {13}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1146847.1146860}, doi = {10.1145/1146847.1146860}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/infoscale/MatsuzakiIEH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scjapan/AgetsumaKIM05, author = {Masakuni Agetsuma and Kenji Kono and Hideya Iwasaki and Takashi Masuda}, title = {Exploiting mobile code for user-transparent distribution of application-level protocols}, journal = {Syst. Comput. Jpn.}, volume = {36}, number = {1}, pages = {44--57}, year = {2005}, url = {https://doi.org/10.1002/scj.10603}, doi = {10.1002/SCJ.10603}, timestamp = {Wed, 13 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scjapan/AgetsumaKIM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/SugikiKI05, author = {Akiyoshi Sugiki and Kenji Kono and Hideya Iwasaki}, editor = {St{\'{e}}phane Grumbach and Liying Sui and Victor Vianu}, title = {A Practical Approach to Automatic Parameter-Tuning of Web Servers}, booktitle = {Advances in Computer Science - {ASIAN} 2005, Data Management on the Web, 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3818}, pages = {146--159}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11596370\_14}, doi = {10.1007/11596370\_14}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asian/SugikiKI05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijpp/IwasakiH04, author = {Hideya Iwasaki and Zhenjiang Hu}, title = {A New Parallel Skeleton for General Accumulative Computations}, journal = {Int. J. Parallel Program.}, volume = {32}, number = {5}, pages = {389--414}, year = {2004}, url = {https://doi.org/10.1023/B:IJPP.0000038069.80050.74}, doi = {10.1023/B:IJPP.0000038069.80050.74}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijpp/IwasakiH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/MatsuzakiKIHA04, author = {Kiminori Matsuzaki and Kazuhiko Kakehi and Hideya Iwasaki and Zhenjiang Hu and Yoshiki Akashi}, editor = {Marco Danelutto and Marco Vanneschi and Domenico Laforenza}, title = {A Fusion-Embedded Skeleton Library}, booktitle = {Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3149}, pages = {644--653}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27866-5\_85}, doi = {10.1007/978-3-540-27866-5\_85}, timestamp = {Fri, 07 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/europar/MatsuzakiKIHA04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcnlp/IwasakiT04, author = {Hideya Iwasaki and Kumiko Tanaka{-}Ishii}, editor = {Keh{-}Yih Su and Jun'ichi Tsujii and Jong{-}Hyeok Lee and Oi Yee Kwong}, title = {An Interactive Proofreading System for Inappropriately Selected Words on Using Predictive Text Entry}, booktitle = {Natural Language Processing - {IJCNLP} 2004, First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3248}, pages = {755--764}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30211-7\_80}, doi = {10.1007/978-3-540-30211-7\_80}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcnlp/IwasakiT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/AgetsumaKIM03, author = {Masakuni Agetsuma and Kenji Kono and Hideya Iwasaki and Takashi Masuda}, editor = {Vijay A. Saraswat}, title = {Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation}, booktitle = {Advances in Computing Science - {ASIAN} 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2896}, pages = {18--32}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40965-6\_3}, doi = {10.1007/978-3-540-40965-6\_3}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asian/AgetsumaKIM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/Iwasaki02, author = {Hideya Iwasaki}, title = {Developing a Lisp-based preprocessor for {TEX} documents}, journal = {Softw. Pract. Exp.}, volume = {32}, number = {14}, pages = {1345--1363}, year = {2002}, url = {https://doi.org/10.1002/spe.485}, doi = {10.1002/SPE.485}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/spe/Iwasaki02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/Iwasaki02, author = {Hideya Iwasaki}, title = {Pruning Unnecessary Computations using Improving Sequences}, booktitle = {The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings}, pages = {46--57}, year = {2002}, timestamp = {Tue, 01 Jun 2004 13:16:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/Iwasaki02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/HuIT02, author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi}, title = {Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem}, booktitle = {The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings}, pages = {246--257}, year = {2002}, timestamp = {Tue, 01 Jun 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/HuIT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/HuIT02, author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi}, editor = {Daniel Le M{\'{e}}tayer}, title = {An Accumulative Parallel Skeleton for All}, booktitle = {Programming Languages and Systems, 11th European Symposium on Programming, {ESOP} 2002, held as Part of the Joint European Conference on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2305}, pages = {83--97}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45927-8\_7}, doi = {10.1007/3-540-45927-8\_7}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/HuIT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/patat/MiyashiroIM02, author = {Ryuhei Miyashiro and Hideya Iwasaki and Tomomi Matsui}, editor = {Edmund K. Burke and Patrick De Causmaecker}, title = {Characterizing Feasible Pattern Sets with a Minimum Number of Breaks}, booktitle = {Practice and Theory of Automated Timetabling IV, 4th International Conference, {PATAT} 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2740}, pages = {78--99}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-45157-0\_5}, doi = {10.1007/978-3-540-45157-0\_5}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/patat/MiyashiroIM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/HuIT01, author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi}, title = {An Accumulative Parallel Skeleton for All}, booktitle = {The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings}, pages = {89--101}, year = {2001}, timestamp = {Tue, 01 Jun 2004 13:15:57 +0200}, biburl = {https://dblp.org/rec/conf/aplas/HuIT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iral/IwasakiTTT00, author = {Hideya Iwasaki and Kumiko Tanaka{-}Ishii and Kei Tateno and Masato Takeichi}, editor = {Kam{-}Fai Wong and Dik Lun Lee and Jong{-}Hyeok Lee}, title = {Context-sensitive detection and correction of homonym errors in Japanese texts (poster session)}, booktitle = {Proceedings of the Fifth International Workshop on Information Retrieval with Asian Languages, 2000, Hong Kong, China, September 30 - October 01, 2000}, pages = {215--216}, publisher = {{ACM}}, year = {2000}, url = {https://doi.org/10.1145/355214.355251}, doi = {10.1145/355214.355251}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iral/IwasakiTTT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdpta/AdachiIH00, author = {Seiichi Adachi and Hideya Iwasaki and Zhenjiang Hu}, editor = {Hamid R. Arabnia}, title = {Diff: {A} Powerful Parallel Skeleton}, booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, {PDPTA} 2000, June 24-29, 2000, Las Vegas, Nevada, {USA}}, publisher = {{CSREA} Press}, year = {2000}, timestamp = {Mon, 08 Dec 2003 16:35:08 +0100}, biburl = {https://dblp.org/rec/conf/pdpta/AdachiIH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ngc/HuIT99, author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi}, title = {Calculating Accumulations}, journal = {New Gener. Comput.}, volume = {17}, number = {2}, pages = {153--173}, year = {1999}, url = {https://doi.org/10.1007/BF03037434}, doi = {10.1007/BF03037434}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ngc/HuIT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/HuTI99, author = {Zhenjiang Hu and Masato Takeichi and Hideya Iwasaki}, editor = {Olivier Danvy}, title = {Diffusion: Calculating Efficient Parallel Programs}, booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, Texas, USA, January 22-23, 1999. Technical report {BRICS-NS-99-1}}, pages = {85--94}, publisher = {University of Aarhus}, year = {1999}, timestamp = {Tue, 22 May 2012 15:24:56 +0200}, biburl = {https://dblp.org/rec/conf/pepm/HuTI99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/IwasakiHT98, author = {Hideya Iwasaki and Zhenjiang Hu and Masato Takeichi}, editor = {Masahiko Sato and Yoshihito Toyama}, title = {Towards Manipulation of Mutually Recursive Functions}, booktitle = {Third Fuji International Symposium on Functional and Logic Programming, {FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998}, pages = {61--79}, publisher = {World Scientific, Singapore}, year = {1998}, timestamp = {Tue, 30 Jul 2019 10:47:11 +0200}, biburl = {https://dblp.org/rec/conf/flops/IwasakiHT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ngc/XuTI97, author = {Liangwei Xu and Masato Takeichi and Hideya Iwasaki}, title = {Relational Semantics for Locally Nondeterministic Programs}, journal = {New Gener. Comput.}, volume = {15}, number = {3}, pages = {339--362}, year = {1997}, url = {https://doi.org/10.1007/BF03037950}, doi = {10.1007/BF03037950}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ngc/XuTI97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/HuIT97, author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi}, title = {Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {19}, number = {3}, pages = {444--461}, year = {1997}, url = {https://doi.org/10.1145/256167.256201}, doi = {10.1145/256167.256201}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/toplas/HuIT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alc/OnoueHIT97, author = {Yoshiyuki Onoue and Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi}, editor = {Richard S. Bird and Lambert G. L. T. Meertens}, title = {A calculational fusion system {HYLO}}, booktitle = {Algorithmic Languages and Calculi, {IFIP} {TC2} {WG2.1} International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France}, series = {{IFIP} Conference Proceedings}, volume = {95}, pages = {76--106}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Thu, 03 Jan 2002 11:52:45 +0100}, biburl = {https://dblp.org/rec/conf/alc/OnoueHIT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/HuITT97, author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi and Akihiko Takano}, editor = {Simon L. Peyton Jones and Mads Tofte and A. Michael Berman}, title = {Tupling Calculation Eliminates Multiple Data Traversals}, booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June 9-11, 1997}, pages = {164--175}, publisher = {{ACM}}, year = {1997}, url = {https://doi.org/10.1145/258948.258964}, doi = {10.1145/258948.258964}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/HuITT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coling/TanakaI96, author = {Kumiko Tanaka and Hideya Iwasaki}, title = {Extraction of Lexical Translations from Non-Aligned Corpora}, booktitle = {16th International Conference on Computational Linguistics, Proceedings of the Conference, {COLING} 1996, Center for Sprogteknologi, Copenhagen, Denmark, August 5-9, 1996}, pages = {580--585}, year = {1996}, url = {https://aclanthology.org/C96-2098/}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coling/TanakaI96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/HuIT96, author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi}, editor = {Luc Boug{\'{e}} and Pierre Fraigniaud and Anne Mignotte and Yves Robert}, title = {Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem}, booktitle = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume {I}}, series = {Lecture Notes in Computer Science}, volume = {1123}, pages = {553--562}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61626-8\_75}, doi = {10.1007/3-540-61626-8\_75}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/europar/HuIT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/HuIT96, author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi}, editor = {Robert Harper and Richard L. Wexelblat}, title = {Deriving Structural Hylomorphisms From Recursive Definitions}, booktitle = {Proceedings of the 1996 {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996}, pages = {73--82}, publisher = {{ACM}}, year = {1996}, url = {https://doi.org/10.1145/232627.232637}, doi = {10.1145/232627.232637}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/HuIT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/HuIT96, author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi}, editor = {Wojciech Penczek and Andrzej Szalas}, title = {Construction of List Homomorphisms by Tupling and Fusion}, booktitle = {Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1113}, pages = {407--418}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61550-4\_166}, doi = {10.1007/3-540-61550-4\_166}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/HuIT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/HuIT96, author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Cheap Tupling in Calculational Form}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {471--472}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_105}, doi = {10.1007/3-540-61756-6\_105}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/plilp/HuIT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ngc/XuIT94, author = {Liangwei Xu and Hideya Iwasaki and Masato Takeichi}, title = {Derivation of Algorithms by Introduction of Generation Functions}, journal = {New Gener. Comput.}, volume = {13}, number = {1}, pages = {75--98}, year = {1994}, url = {https://doi.org/10.1007/BF03038309}, doi = {10.1007/BF03038309}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ngc/XuIT94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plisp/Iwasaki89, author = {Hideya Iwasaki}, editor = {Takayasu Ito and Robert H. Halstead Jr.}, title = {mUtilisp: {A} Lisp Dialect for Parallel Processing}, booktitle = {Parallel Lisp: Languages and Systems, US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {441}, pages = {316--321}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0024165}, doi = {10.1007/BFB0024165}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plisp/Iwasaki89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.