|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20 occurrences of 20 keywords
|
|
|
Results
Found 31 publication records. Showing 31 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
57 | Evan Tick, Bruce D'Ambrosio |
Evaluating Bayes nets with concurrent process networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 805-810, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Bayes nets, concurrent process networks, total probability mass, leaf node, general Bayes network, ancestor nodes, high mass minterms, partial minterms, child nodes, KL1, parallel algorithms, computational complexity, computation complexity, probability, message passing, directed graphs, directed acyclic graphs, search problems, Bayes methods, conditional probabilities, concurrent algorithm |
57 | Naoshi Uchihira, Shinichi Honiden |
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 359-368, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
fifth generation systems, compositional adjustment, correct concurrent program development, temporal logic constraints, MENDELS ZONE, program adjustment, finite-state process, arbiter process, partial serialization, imperfect processes, harmful nondeterministic behaviors, large-scale compound target processes, process equivalence theory, Multi-PSI, MENDEL concurrent programming language, kernel language, KL1, parallel computer, temporal logic, programming environments, programming environment, program debugging, high-level Petri net, constraint handling, multiprocessing programs, formal approach |
53 | Takashi Chikayama, Tetsuro Fujise, Daigo Sekita |
A Portable and Efficient Implementation of KL1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, pp. 25-39, 1994, Springer, 3-540-58402-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
30 | Andrew Davison |
KL1 and the Early Days of the FGCS Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 29(7), pp. 39-41, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
30 | Masahiko Yamauchi, Masa-aki Sato, Takashi Chikayama |
Distributed Pool for Efficient Data Distribution in KL1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Design and Impl. of Parallel Logic Programming Systems ![In: Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994, pp. 83-92, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
30 | Takashi Chikayama |
KLIC: A KL1 Implementation for Unix Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 12(1), pp. 123-124, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
30 | Henri E. Bal |
Evaluation of KL1 and the inference machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 9(2), pp. 119-125, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
30 | Takashi Chikayama, Tetsuro Fujise, Hiroshi Yashiro |
A Portable and Reasonably Efficient Implementation of KL1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993, pp. 833, 1993, MIT Press, 0-262-73105-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
30 | Kasumi Susaki, Takashi Chikayama |
Programming in KL1 and AYA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), November 13th, 1992, In conjunction with JICSLP 1992, Washington, DC, USA. Technical Report TR 92-143., pp. 42-47, 1992, Case Western Reserver University, Cleveland. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
30 | Kiyoshi Hirano |
KL1 Optimization Techniques for RISC Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
30 | Johann Schumann |
KPROP - An AND-parallel Theorem Prover for Propositional Logic implemented in KL1 (System Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 740-742, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Keiji Hirata 0001, Reki Yamamoto, Akira Imai, Hideo Kawai, Kiyoshi Hirano, Tsuneyoshi Takagi, Kazuo Taki, Akihiko Nakase, Kazuaki Rokusawa |
Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, June 1-5, Tokyo, Japan., pp. 436-459, 1992, IOS Press, 90-5199-099-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
30 | Takashi Chikayama |
Operating System PIMOS and Kernel Language KL1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, June 1-5, Tokyo, Japan., pp. 73-88, 1992, IOS Press, 90-5199-099-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
30 | Akira Matsumoto |
Locally Parallel Cache Design Based on KL1 Memory Access Characteristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 9(2), pp. 149-170, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
30 | Rajiv Trehan |
A Process Based Tracer for KL1 on PIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6, pp. 33-41, 1991, University of Orléans, France. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
30 | Hiroshi Fujita 0002, Ryuzo Hasegawa |
A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991, pp. 535-548, 1991, MIT Press, 0-262-56058-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
30 | Nobuyuki Ichiyoshi, Kazuaki Rokusawa, Katsuto Nakajima, Yu Inamura |
A new external reference management and distributed unification for KL1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 7(2-3), pp. 159-177, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Yu Inamura, Satoshi Onishi |
A Detection Algorithm of Perpetual Suspension in KL1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 18-30, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
30 | Katsuto Nakajima, Nobuyuki Ichiyoshi |
Evaluation of Inter-processor Communication in the KL1 Implementation on the Multi-PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP (1) ![In: Proceedings of the 1990 International Conference on Parallel Processing, Urbana-Champaign, IL, USA, August 1990. Volume 1: Architecture., pp. 613-614, 1990, Pennsylvania State University Press, 0-271-00728-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
30 | Katsuto Nakajima, Yu Inamura, Kazuaki Rokusawa, Nobuyuki Ichiyoshi, Takashi Chikayama |
Distributed Implementation of KL1 on the Multi-PSI/V2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 436-451, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
30 | Jonas Barklund, Nils Hagner, Malik Wafin |
KL1 in Condition Graphs on a Connection Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1041-1050, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
30 | Nobuyuki Ichiyoshi, Kazuaki Rokusawa, Katsuto Nakajima, Yu Inamura |
A New External Reference Management and Distributed Unification for KL1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 904-913, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
30 | Tsuyoshi Shinogi, Kouichi Kumon, Akira Hattori, Atsuhiro Goto, Yasunori Kimura, Takashi Chikayama |
Macro-Call Instruction for the Efficient KL1 Implementation on PIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 953-961, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
30 | Yasunori Kimura, Takashi Chikayama |
An Abstract KL1 Machine and Its Instruction Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 468-477, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
30 | Masatoshi Sato, Hajime Shimizu, Akira Matsumoto, Kazuaki Rokusawa, Atsuhiro Goto |
KL1 Execution Model for PIM Cluster with Shared Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 338-355, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
30 | Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa |
An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 894-909, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
23 | Patricio Letelier 0001, Pedro Sánchez, Isidro Ramos |
Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings, pp. 31-45, 1999, Springer, 3-540-65527-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Hayato Ohwada, Fumio Mizoguchi |
Parallel Execution for Speeding Up Inductive Logic Programming Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, Second International Conference, DS '99, Tokyo, Japan, December, 1999, Proceedings, pp. 277-286, 1999, Springer, 3-540-66713-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Kazuaki Rokusawa, Akihiko Nakase, Takashi Chikayama |
Quiescence Detection in a Distributed KLIC Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings, pp. 539-551, 1995, Springer, 3-540-60247-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
quiescence detection, distributed implementation, weighted reference counting, termination detection, concurrent logic programming |
23 | Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita 0002 |
MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 776-780, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Atsuhiro Goto, Akira Matsumoto, Evan Tick |
Design and Performance of a Coherent Cache for Parallel Logic Programming Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 16th Annual International Symposium on Computer Architecture. Jerusalem, Israel, June 1989, pp. 25-33, 1989, ACM, 0-89791-319-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|