Search results for "Multi-PSI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
59	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
38	Masakazu Furuichi, Kazuo Taki, Nobuyuki Ichiyoshi	A Multi-Level Load Balancing Scheme for OR-Parallel Exhaustive Search Programs on the Multi-PSI.	PPoPP	1990	DBLP DOI BibTeX RDF
19	Kazuo Taki, Nobuyuki Ichiyoshi	Parallel processing on the multi-PSI computer and its evaluation - a programming paradigm based on a small-grain highly concurrent object model.	Syst. Comput. Jpn.	1994	DBLP DOI BibTeX RDF
19	Katsuto Nakajima, Nobuyuki Ichiyoshi	Evaluation of Inter-processor Communication in the KL1 Implementation on the Multi-PSI.	ICPP (1)	1990	DBLP BibTeX RDF
19	Yu Inamura, Nobuyuki Ichiyoshi, Kazuaki Rokusawa, Katsuto Nakajima	Optimizing Techniques Using the MRB and Their Evaluation on the Multi-PSI/V2.	NACLP	1989	DBLP BibTeX RDF
19	Katsuto Nakajima, Yu Inamura, Kazuaki Rokusawa, Nobuyuki Ichiyoshi, Takashi Chikayama	Distributed Implementation of KL1 on the Multi-PSI/V2.	ICLP	1989	DBLP BibTeX RDF
19	Kanae Masuda, Hirokazu Ishizuka, Hiroaki Iwayama, Kazuo Taki, Eiji Sugino	Preliminary Evaluation of the Connection Network for the Multi-PSI System.	ECAI	1988	DBLP BibTeX RDF
19	M. Ichiyoshi, T. Miyazaki, Kazuo Taki	A Distributed Implementation of Flat GHC on the Multi-PSI.	ICLP	1987	DBLP BibTeX RDF
15	Shunichi Uchida	Toward the Parallel Inference Machine.	CONPAR	1986	DBLP DOI BibTeX RDF