The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for KL1 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1987-1992 (20) 1993-1999 (11)
Publication types (Num. hits)
article(5) inproceedings(26)
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
57Evan Tick, Bruce D'Ambrosio Evaluating Bayes nets with concurrent process networks. Search on Bibsonomy IPPS The full citation details ... 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
57Naoshi Uchihira, Shinichi Honiden Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. Search on Bibsonomy HICSS (2) The full citation details ... 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
53Takashi Chikayama, Tetsuro Fujise, Daigo Sekita A Portable and Efficient Implementation of KL1. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
30Andrew Davison KL1 and the Early Days of the FGCS Project. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
30Masahiko Yamauchi, Masa-aki Sato, Takashi Chikayama Distributed Pool for Efficient Data Distribution in KL1. Search on Bibsonomy Workshop on Design and Impl. of Parallel Logic Programming Systems The full citation details ... 1994 DBLP  BibTeX  RDF
30Takashi Chikayama KLIC: A KL1 Implementation for Unix Systems. Search on Bibsonomy New Gener. Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
30Henri E. Bal Evaluation of KL1 and the inference machine. Search on Bibsonomy Future Gener. Comput. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
30Takashi Chikayama, Tetsuro Fujise, Hiroshi Yashiro A Portable and Reasonably Efficient Implementation of KL1. Search on Bibsonomy ICLP The full citation details ... 1993 DBLP  BibTeX  RDF
30Kasumi Susaki, Takashi Chikayama Programming in KL1 and AYA. Search on Bibsonomy LPE The full citation details ... 1992 DBLP  BibTeX  RDF
30Kiyoshi Hirano KL1 Optimization Techniques for RISC Architecture. Search on Bibsonomy IJCSLP Workshop on Concurrent and Parallel Implementations The full citation details ... 1992 DBLP  BibTeX  RDF
30Johann Schumann KPROP - An AND-parallel Theorem Prover for Propositional Logic implemented in KL1 (System Abstract). Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
30Keiji 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 FGCS The full citation details ... 1992 DBLP  BibTeX  RDF
30Takashi Chikayama Operating System PIMOS and Kernel Language KL1. Search on Bibsonomy FGCS The full citation details ... 1992 DBLP  BibTeX  RDF
30Akira Matsumoto Locally Parallel Cache Design Based on KL1 Memory Access Characteristics. Search on Bibsonomy New Gener. Comput. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
30Rajiv Trehan A Process Based Tracer for KL1 on PIM. Search on Bibsonomy LPE The full citation details ... 1991 DBLP  BibTeX  RDF
30Hiroshi Fujita 0002, Ryuzo Hasegawa A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm. Search on Bibsonomy ICLP The full citation details ... 1991 DBLP  BibTeX  RDF
30Nobuyuki Ichiyoshi, Kazuaki Rokusawa, Katsuto Nakajima, Yu Inamura A new external reference management and distributed unification for KL1. Search on Bibsonomy New Gener. Comput. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
30Yu Inamura, Satoshi Onishi A Detection Algorithm of Perpetual Suspension in KL1. Search on Bibsonomy ICLP The full citation details ... 1990 DBLP  BibTeX  RDF
30Katsuto Nakajima, Nobuyuki Ichiyoshi Evaluation of Inter-processor Communication in the KL1 Implementation on the Multi-PSI. Search on Bibsonomy ICPP (1) The full citation details ... 1990 DBLP  BibTeX  RDF
30Katsuto Nakajima, Yu Inamura, Kazuaki Rokusawa, Nobuyuki Ichiyoshi, Takashi Chikayama Distributed Implementation of KL1 on the Multi-PSI/V2. Search on Bibsonomy ICLP The full citation details ... 1989 DBLP  BibTeX  RDF
30Jonas Barklund, Nils Hagner, Malik Wafin KL1 in Condition Graphs on a Connection Machine. Search on Bibsonomy FGCS The full citation details ... 1988 DBLP  BibTeX  RDF
30Nobuyuki Ichiyoshi, Kazuaki Rokusawa, Katsuto Nakajima, Yu Inamura A New External Reference Management and Distributed Unification for KL1. Search on Bibsonomy FGCS The full citation details ... 1988 DBLP  BibTeX  RDF
30Tsuyoshi Shinogi, Kouichi Kumon, Akira Hattori, Atsuhiro Goto, Yasunori Kimura, Takashi Chikayama Macro-Call Instruction for the Efficient KL1 Implementation on PIM. Search on Bibsonomy FGCS The full citation details ... 1988 DBLP  BibTeX  RDF
30Yasunori Kimura, Takashi Chikayama An Abstract KL1 Machine and Its Instruction Set. Search on Bibsonomy SLP The full citation details ... 1987 DBLP  BibTeX  RDF
30Masatoshi Sato, Hajime Shimizu, Akira Matsumoto, Kazuaki Rokusawa, Atsuhiro Goto KL1 Execution Model for PIM Cluster with Shared Memory. Search on Bibsonomy ICLP The full citation details ... 1987 DBLP  BibTeX  RDF
30Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1. Search on Bibsonomy ICLP The full citation details ... 1987 DBLP  BibTeX  RDF
23Patricio Letelier 0001, Pedro Sánchez, Isidro Ramos Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Hayato Ohwada, Fumio Mizoguchi Parallel Execution for Speeding Up Inductive Logic Programming Systems. Search on Bibsonomy Discovery Science The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Kazuaki Rokusawa, Akihiko Nakase, Takashi Chikayama Quiescence Detection in a Distributed KLIC Implementation. Search on Bibsonomy Euro-Par The full citation details ... 1995 DBLP  DOI  BibTeX  RDF quiescence detection, distributed implementation, weighted reference counting, termination detection, concurrent logic programming
23Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita 0002 MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
23Atsuhiro Goto, Akira Matsumoto, Evan Tick Design and Performance of a Coherent Cache for Parallel Logic Programming Architectures. Search on Bibsonomy ISCA The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #31 of 31 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license