In this paper‎, ‎an efficient dropping criterion has been used to compute the IUL factorization obtained from Backward Factored APproximate INVerse (BFAPINV) and ILU factorization obtained from Forward Factored APproximate INVerse (FFAPINV) algorithms‎. ‎We use different drop tolerance parameters to compute the preconditioners‎. ‎To study the effect of such a dropping on the quality of the ILU ...

in this paper‎, ‎an efficient dropping criterion has been used to compute the iul factorization obtained from backward factored approximate inverse (bfapinv) and ilu factorization obtained from forward factored approximate inverse (ffapinv) algorithms‎. ‎we use different drop tolerance parameters to compute the preconditioners‎. ‎to study the effect of such a dropping on the quality of the ilu ...

A recently developed theory of local reasoning with diagrams is applied to a practical domain, that of inserting a node into a singly linked list, to illustrate its explanatory power. Prior to this demonstration there was only an informal feel as to why diagrams used to explain the generation of imperative code for similar applications should work. This paper is a partial answer to the charge t...

We define a new property testing model for algorithms that do not have arbitrary query access to the input, but must instead traverse it in a manner that respects the underlying data structure in which it is stored. In particular, we consider the case when the underlying data structure is a linked list, and the testing algorithm is allowed to either sample randomly from the list, or walk to nod...

We present a highly tuned mergesort algorithm that improves the cost bounds when used to sort linked lists of elements. We provide empirical comparisons of our algorithm with other mergesort algorithms. The paper also illustrates the sort of techniques that allow to speed a divide-and-conquer algorithm.

As file systems are increasingly being deployed on ever larger systems with many cores and multi-gigabytes of memory, scaling the internal data structures of file systems has taken greater importance and urgency. A doubly-linked list is a simple and very commonly used data structure in file systems but it is not very friendly to multi-threaded use. While special cases of lists, such as queues a...

A new algorithm is presented that automatically uncovers memory errors such as NULL pointers dereference and memory leaks in C programs. The algorithm is conservative, i.e., it can never miss an error but may report \false alarms". When applied to several intricate C programs manipulating singly linked lists, the new algorithm yields more accurate results, does not report any false alarm and us...