{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:57Z","timestamp":1725455757790},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591726"},{"type":"electronic","value":"9783540492184"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026575","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:15:04Z","timestamp":1132380904000},"page":"284-299","source":"Crossref","is-referenced-by-count":2,"title":["A performance debugger for parallel logic programming language fleng"],"prefix":"10.1007","author":[{"given":"Junichi","family":"Tatemura","sequence":"first","affiliation":[]},{"given":"Hanpei","family":"Koike","sequence":"additional","affiliation":[]},{"given":"Hidehiko","family":"Tanaka","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"14_CR1","unstructured":"M. Nilsson, and H. Tanaka: \u201cMassively Parallel Implementation of Flat GHC on the Connection Machine\u201d, Proc. of the Int. Conf. on Fifth Generation Computer Systems, p1031\u20131040 (1988)."},{"issue":"No.4","key":"14_CR2","first-page":"488","volume":"21","author":"H. Koike","year":"1989","unstructured":"H. Koike, and H. Tanaka: \u201cParallel Inference Engine PIE64\u201d, Parallel Computer Architecture, bit, Vol.21,No.4,1989, pp.488\u2013497 (in Japanese).","journal-title":"Parallel Computer Architecture"},{"key":"14_CR3","unstructured":"Y. Hidaka, H. Koike, J. Tatemura, and H. Tanaka: \u201cA Static Load Partitioning Method Based on Execution Profile for Committed Choice Languages\u201d, Proceedings of International Logic Programming Symposium '91, MIT Press, pp. 470\u2013484 (1991)."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Y. Hidaka, H. Koike, and H. Tanaka: \u201cArchitecture of Parallel Management Kernel for PIE64\u201d, Proceedings of PARLE'92, LNCS 605, Springer-Verlag, pp.685\u2013700 (1992).","DOI":"10.1007\/3-540-55599-4_118"},{"key":"14_CR5","unstructured":"H. Nakada, T. Araki, H. Koike, and H. Tanaka: \u201cA Fleug Compiler for PIE64\u201d, Proceedings of PACT '94, (1994)."},{"key":"14_CR6","unstructured":"H. Nakada, H. Koike, and H. Tanaka: \u201cStatic analysis for dynamic granuality control of fleng\u201d, IPSJ SIG Notes 94-PRG-18, pp.1\u20138 (1994) (in Japanese)."},{"key":"14_CR7","unstructured":"T. Chikayama: \u201cOperating Sysyem PIMOS and Kernel Language KL1\u201d, International Conference on Fifth Generation Computer Systems 1992, pp. 73\u201388 (1992)."},{"key":"14_CR8","unstructured":"K. Ueda, M. Morita: \u201cMessage-Oriented Parallel Implementation of Moded Flat GHC\u201d, International Conference on Fifth Generation Computer Systems 1992, pp. 799\u2013808 (1992)."},{"key":"14_CR9","unstructured":"K. Ohno, H. Nakashima, and S. Tomita: \u201cOptimization of Concurrent Logic Language with Static Analysis\u201d, IPSJ SIG Notes 94-PRG-18, pp. 17\u201324 (1994) (in Japanese)."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"T. E. Anderson and E. D. Lazowska: \u201cQuartz: A Tool for Tuning Pararell Program Performance\u201d, ACM SIGMETRIC, 1990.","DOI":"10.1145\/98457.98518"},{"key":"14_CR11","unstructured":"R. H. Halstead, Jr. and D. A. Kranz, \u201cA Replay Mechanism for Mostly Functional Parallel Programs\u201d, Proc. Int. Symposium on Shared Memory Multiprocessing, 1991."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"T. Lehr, Z. Segall, D. F. Vrsalovic, E. Caplan, A. L. Chung and E. Fineman, \u201cVisualizing Performance Debugging\u201d, IEEE Computer Octover 1989, pp.38\u201351.","DOI":"10.1109\/2.42013"},{"issue":"No.1\/2","key":"14_CR13","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0304-3975(90)90062-M","volume":"75","author":"M. Murakami","year":"1990","unstructured":"M. Murakami: \u201cA Declarative Semantics of Flat Guarded Horn Clause for Programs with Perpetual Processes\u201d, Theoret. Comp. Sci, Vol.75 No.1\/2, pp. 67\u201383 (1990).","journal-title":"Theoret. Comp. Sci"},{"key":"14_CR14","unstructured":"S. Aikawa, M. Kamiko, H. Kubo, F. Matsuzawa, and T. Chikayama: \u201cParagraph: A Graphical Tuning Tool for Multiprocessor Systems\u201d, International Conference on Fifth Generation Computer Systems 1992, pp. 286\u2013293 (1992)."},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"J. Tatemura, H. Koike, and H. Tanaka: Control and Data Flow Visualization for Parallel Logic Programs on a Multi-window Debugger HyperDEBU, PARLE '93, pp. 414\u2013425 (1993).","DOI":"10.1007\/3-540-56891-3_33"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Parallel Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026575","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:29:00Z","timestamp":1586568540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026575"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591726","9783540492184"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0026575","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}