Search results for "KL1"

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