default search action
Search dblp for Publications
export results for "toc:db/conf/tppp/tppp1994.bht:"
@proceedings{DBLP:conf/tppp/1994, editor = {Takayasu Ito and Akinori Yonezawa}, title = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026561}, doi = {10.1007/BFB0026561}, isbn = {3-540-59172-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/1994.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/Broy94, author = {Manfred Broy}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {Advanced Component Interface Specification}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {369--392}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026580}, doi = {10.1007/BFB0026580}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/tppp/Broy94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/Halstead94, author = {Robert H. Halstead Jr.}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {Self-Describing Files + Smart Modules = Parallel Program Visualization}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {253--283}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026574}, doi = {10.1007/BFB0026574}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/Halstead94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/Honda94, author = {Kohei Honda}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {Notes on P-Algebra 1: Process Structure}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {25--44}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026563}, doi = {10.1007/BFB0026563}, timestamp = {Sun, 15 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tppp/Honda94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/Jagannathan94, author = {Suresh Jagannathan}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {Locality Abstractions for Parallel and Distributed Computing}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {320--345}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026577}, doi = {10.1007/BFB0026577}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/Jagannathan94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/KamadaMY94, author = {Tomio Kamada and Satoshi Matsuoka and Akinori Yonezawa}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {An Algorithm for Efficient Global Garbage Collection on Massively Parallel Computers}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {346--355}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026578}, doi = {10.1007/BFB0026578}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/KamadaMY94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/Kanovich94, author = {Max I. Kanovich}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {Simulating Guarded Programs in Linear Logic}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {45--69}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026564}, doi = {10.1007/BFB0026564}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/Kanovich94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/KawamotoI94, author = {Shin'ichi Kawamoto and Takayasu Ito}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {Multi-threaded PaiLisp with Granularity Adaptive Parallel Execution}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {94--120}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026566}, doi = {10.1007/BFB0026566}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/KawamotoI94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/KobayashiY94, author = {Naoki Kobayashi and Akinori Yonezawa}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {Higher-Order Concurrent Linear Logic Programming}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {137--166}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026568}, doi = {10.1007/BFB0026568}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/KobayashiY94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/KonakaTMIH94, author = {Hiroki Konaka and Takashi Tomokiyo and Munenori Maeda and Yutaka Ishikawa and Atsushi Hori}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {A Parallel Object-Oriented Language OCore}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {167--186}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026569}, doi = {10.1007/BFB0026569}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/KonakaTMIH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/KusakabeA94, author = {Shigeru Kusakabe and Makoto Amamiya}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {A Dataflow-Based Massively Parallel Programming Language "V" and Its Implementation on a Stock Parallel Machine}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {457--471}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026584}, doi = {10.1007/BFB0026584}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/KusakabeA94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/NishimuraO94, author = {Susumu Nishimura and Atsushi Ohori}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {A Calculus for Exploiting Data Parallelism on Recursively Defined Data}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {413--432}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026582}, doi = {10.1007/BFB0026582}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/NishimuraO94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/Pierce94, author = {Benjamin C. Pierce}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {Concurrent Objects in a Process Calculus}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {187--215}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026570}, doi = {10.1007/BFB0026570}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/Pierce94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/Pratt94, author = {Vaughan R. Pratt}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {Time and Information in Sequential and Concurrent Computation}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {1--24}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026562}, doi = {10.1007/BFB0026562}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/Pratt94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/Queinnec94, author = {Christian Queinnec}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {Sharing Mutable Objects and Controlling Groups of Tasks in a Concurrent and Distributed Language}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {70--93}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026565}, doi = {10.1007/BFB0026565}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/Queinnec94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/Reppy94, author = {John H. Reppy}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {First-class Synchronous Operations}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {235--252}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026573}, doi = {10.1007/BFB0026573}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/Reppy94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/SatoKSYS94, author = {Mitsuhisa Sato and Yuetsu Kodama and Hirofumi Sakane and Yoshinori Yamaguchi and Shuichi Sakai}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {Programming with Distributed Data Structure for {EM-X} Multiprocessor}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {472--483}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026585}, doi = {10.1007/BFB0026585}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/SatoKSYS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/SatohT94, author = {Ichiro Satoh and Mario Tokoro}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {A Formalism for Remotely Interacting Processes}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {216--228}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026571}, doi = {10.1007/BFB0026571}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/SatohT94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/TatemuraKT94, author = {Jun'ichi Tatemura and Hanpei Koike and Hidehiko Tanaka}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {A Performance Debugger for a Parallel Logic Programming Language Fleng}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {284--299}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026575}, doi = {10.1007/BFB0026575}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/TatemuraKT94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/TauraMY94, author = {Kenjiro Taura and Satoshi Matsuoka and Akinori Yonezawa}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUs}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {121--136}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026567}, doi = {10.1007/BFB0026567}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/TauraMY94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/TogashiYKS94, author = {Atsushi Togashi and Sen Yoshida and Shigetomo Kimura and Norio Shiratori}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {ProCSuS: {A} Meta System for Concurrent Process Calculi Based on {SOS}}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {229--234}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026572}, doi = {10.1007/BFB0026572}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/TogashiYKS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/Ueda94, author = {Kazunori Ueda}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {{I/O} Mode Analysis in Concurrent Logic Programming}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {356--368}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026579}, doi = {10.1007/BFB0026579}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/Ueda94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/Wakita94, author = {Ken Wakita}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {First Class Continuation Facilities in Concurrent Programming Language Harmony/2}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {300--319}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026576}, doi = {10.1007/BFB0026576}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/Wakita94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/Yoshida94, author = {Nobuko Yoshida}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {Graph Notation for Concurrent Combinators}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {393--412}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026581}, doi = {10.1007/BFB0026581}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/Yoshida94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tppp/YuasaKK94, author = {Taiichi Yuasa and Toshiro Kijima and Yutaka Konishi}, editor = {Takayasu Ito and Akinori Yonezawa}, title = {The Data-Parallel {C} Language {NCX} and Its Implementation Strategies}, booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, pages = {433--456}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0026583}, doi = {10.1007/BFB0026583}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tppp/YuasaKK94.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.