An understanding of application I/O access patterns is useful in several situations. First, gaining insight into what applications are doing with their data at a semantic level he...
Neeraja J. Yadwadkar, Chiranjib Bhattacharyya, K. ...
Abstract. In this paper we provide sharp bounds for the error in approximating the Riemann-Stieltjes integral R b a f (t) du (t) by the trapezoidal rule f (a) + f (b) 2 [u (b) u (a...
Multi-processor systems are becoming more commonplace and affordable. Based on analyses of actual parsings, we argue that to exploit the capabilities of such machines, unification...
Abstract. This paper provides a framework for developing computationally efficient multilevel preconditioners and representations for Sobolev norms. Specifically, given a Hilbert s...
James H. Bramble, Joseph E. Pasciak, Panayot Vassi...
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...