Results
Found 9 publication records. Showing 9 according to the selection in the facets
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. ![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 |
38 | Masakazu Furuichi, Kazuo Taki, Nobuyuki Ichiyoshi |
A Multi-Level Load Balancing Scheme for OR-Parallel Exhaustive Search Programs on the Multi-PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), Seattle, Washington, USA, March 14-16, 1990, pp. 50-59, 1990, ACM, 0-89791-350-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 25(1), pp. 17-36, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | 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 |
|
19 | Yu Inamura, Nobuyuki Ichiyoshi, Kazuaki Rokusawa, Katsuto Nakajima |
Optimizing Techniques Using the MRB and Their Evaluation on the Multi-PSI/V2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NACLP ![In: Logic Programming, Proceedings of the North American Conference 1989, Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes, pp. 907-921, 1989, MIT Press, 0-262-62064-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
19 | 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 |
|
19 | Kanae Masuda, Hirokazu Ishizuka, Hiroaki Iwayama, Kazuo Taki, Eiji Sugino |
Preliminary Evaluation of the Connection Network for the Multi-PSI System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 8th European Conference on Artificial Intelligence, ECAI 1988, Munich, Germany, August 1-5, 1988, Proceedings., pp. 18-23, 1988, Pitmann Publishing, London, 0-273-08798-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
19 | M. Ichiyoshi, T. Miyazaki, Kazuo Taki |
A Distributed Implementation of Flat GHC on the Multi-PSI. ![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. 257-275, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
15 | Shunichi Uchida |
Toward the Parallel Inference Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: CONPAR 86: Conference on Algorithms and Hardware for Parallel Processing, Aachen, Germany, September 17-19, 1986, Proceedings, pp. 404-418, 1986, Springer, 3-540-16811-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|