Search dblp for Publications

export results for "toc:db/conf/tppp/tppp1994.bht:"

 download as .bib file

@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}
}