Nakashima, H., Nakajima, K., Kondoh S., Takeda Y., Inamura, Y., Onishi, S. and Masuda, K.: Architecture and implementation of PIM/m, Proc. FGCS'92, pp. 425--435 (1992). Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Non-Horn Magic Sets to Incorporate Top-down.. - Hasegawa, Inoue.. (1997) (3 citations) (Correct)
....It checks the satisfiability of a given set of clauses by trying to generate models for the given clause set. Triggered by this work, a parallel model generation based theorem prover MGTP [9, 13] has been developed in KL1 [20] and exhibits good performance on a parallel inference machine PIM [15] and a UNIX workstation [11, 12] The basic model generation method detects a violated clause that is not satisfied by a certain interpretation (a set of atoms) called a model candidate, then extends the model candidate so as to satisfy that clause. However, SATCHMO might choose a clause ....
Nakashima, H., Nakajima, K., Kondoh S., Takeda Y., Inamura, Y., Onishi, S. and Masuda, K.: Architecture and implementation of PIM/m, Proc. FGCS'92, pp. 425--435 (1992).
Working Within the FGCS National Project - Tick (1992) (Correct)
....yet been implemented in the current PIM compilers. The ICOT research schedule began with the development of the personal inference machines (PSI I,II,III) followed by mockup PIMs (Multi PSI V1 2, the latter built of PSI IIs) and finally the various PIMs: PIM p (Fujitsu) 46] PIM m (Mitsubishi) [59], PIM i (Oki) 67] PIM c (Hitachi) 56] and PIM k (Toshiba) 4] A great deal of credit must go to ICOT s central management of these efforts, based on a virtual machine instruction set called PSL used to describe a virtual PIM (VPIM) running on a Sequent Symmetry [74] VPIM was shared (with ....
....I believe both these technologies required significant intellectual efforts to conceptualize, design, implement, and apply in real systems. The former represents a bottom up technology and the latter a top down technology. Bottom up technologies are easier to introduce into designs, e.g. PIM m [59] incorporates wormhole routing (and can execute GDCC, a constraint language [76] whereas the Intel machines [49] and other experimental supercomputers at this level, such as the CM 5 [77] and iWARP [9] do not yet have implementations of constraint languages, or in fact any vendor offered ....
[Article contains additional citation context not shown here]
H. Nakashima, K. Nakajima, S. Kondo, Y. Takeda, Y. Inamura, S. Onishi, and K. Masuda. Architecture and Implementation of PIM/m. In International Conference on Fifth Generation Computer Systems, pages 425--435, Tokyo, June 1992. ICOT.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC