World Scienti Publishing

Mathematical Models and Methods in Applied Sciences (2007)

World Scienti Publishing, Craig C. Douglas, Gundolf Haase, Mohamed Iskandarani, Stefan Reitzinger

this paper, we have analyzed three preconditioners for SEOM from a memory viewpoint. What we discovered for a eld speci c example (the NAB08 dataset) is included in Table 2. Table 2. Methods and...

International Journal of Foundations of Computer Science (2007)

World Scienti Publishing, Ralf Hinze

The purpose of this article is twofold. First, we show that Prolog's control constructs can be smoothly integrated into a functional language like Haskell. The resulting `language', termed...