|
|
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. |
IPPS |
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. |
HICSS (2) |
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. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
30 | Andrew Davison |
KL1 and the Early Days of the FGCS Project. |
ACM SIGPLAN Notices |
1994 |
DBLP DOI BibTeX RDF |
|
30 | Masahiko Yamauchi, Masa-aki Sato, Takashi Chikayama |
Distributed Pool for Efficient Data Distribution in KL1. |
Workshop on Design and Impl. of Parallel Logic Programming Systems |
1994 |
DBLP BibTeX RDF |
|
30 | Takashi Chikayama |
KLIC: A KL1 Implementation for Unix Systems. |
New Gener. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
30 | Henri E. Bal |
Evaluation of KL1 and the inference machine. |
Future Gener. Comput. Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
30 | Takashi Chikayama, Tetsuro Fujise, Hiroshi Yashiro |
A Portable and Reasonably Efficient Implementation of KL1. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
30 | Kasumi Susaki, Takashi Chikayama |
Programming in KL1 and AYA. |
LPE |
1992 |
DBLP BibTeX RDF |
|
30 | Kiyoshi Hirano |
KL1 Optimization Techniques for RISC Architecture. |
IJCSLP Workshop on Concurrent and Parallel Implementations |
1992 |
DBLP BibTeX RDF |
|
30 | Johann Schumann |
KPROP - An AND-parallel Theorem Prover for Propositional Logic implemented in KL1 (System Abstract). |
CADE |
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. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
30 | Takashi Chikayama |
Operating System PIMOS and Kernel Language KL1. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
30 | Akira Matsumoto |
Locally Parallel Cache Design Based on KL1 Memory Access Characteristics. |
New Gener. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
30 | Rajiv Trehan |
A Process Based Tracer for KL1 on PIM. |
LPE |
1991 |
DBLP BibTeX RDF |
|
30 | Hiroshi Fujita 0002, Ryuzo Hasegawa |
A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
30 | Nobuyuki Ichiyoshi, Kazuaki Rokusawa, Katsuto Nakajima, Yu Inamura |
A new external reference management and distributed unification for KL1. |
New Gener. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Yu Inamura, Satoshi Onishi |
A Detection Algorithm of Perpetual Suspension in KL1. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
30 | Katsuto Nakajima, Nobuyuki Ichiyoshi |
Evaluation of Inter-processor Communication in the KL1 Implementation on the Multi-PSI. |
ICPP (1) |
1990 |
DBLP BibTeX RDF |
|
30 | Katsuto Nakajima, Yu Inamura, Kazuaki Rokusawa, Nobuyuki Ichiyoshi, Takashi Chikayama |
Distributed Implementation of KL1 on the Multi-PSI/V2. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
30 | Jonas Barklund, Nils Hagner, Malik Wafin |
KL1 in Condition Graphs on a Connection Machine. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
30 | Nobuyuki Ichiyoshi, Kazuaki Rokusawa, Katsuto Nakajima, Yu Inamura |
A New External Reference Management and Distributed Unification for KL1. |
FGCS |
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. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
30 | Yasunori Kimura, Takashi Chikayama |
An Abstract KL1 Machine and Its Instruction Set. |
SLP |
1987 |
DBLP BibTeX RDF |
|
30 | Masatoshi Sato, Hajime Shimizu, Akira Matsumoto, Kazuaki Rokusawa, Atsuhiro Goto |
KL1 Execution Model for PIM Cluster with Shared Memory. |
ICLP |
1987 |
DBLP BibTeX RDF |
|
30 | Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa |
An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1. |
ICLP |
1987 |
DBLP BibTeX RDF |
|
23 | Patricio Letelier 0001, Pedro Sánchez, Isidro Ramos |
Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Hayato Ohwada, Fumio Mizoguchi |
Parallel Execution for Speeding Up Inductive Logic Programming Systems. |
Discovery Science |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Kazuaki Rokusawa, Akihiko Nakase, Takashi Chikayama |
Quiescence Detection in a Distributed KLIC Implementation. |
Euro-Par |
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. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Atsuhiro Goto, Akira Matsumoto, Evan Tick |
Design and Performance of a Coherent Cache for Parallel Logic Programming Architectures. |
ISCA |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|