Sciweavers

7971 search results - page 144 / 1595
» On unbounded operators and applications
Sort
View
FAST
2010
15 years 8 months ago
Discovery of Application Workloads from Network File Traces
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. ...
MCM
2011
14 years 9 months ago
Approximating the Riemann-Stieltjes integral by a trapezoidal quadrature rule with applications
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...
S. S. Dragomir
ACL
2001
15 years 7 months ago
A Generic Approach to Parallel Chart Parsing with an Application to LinGO
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...
Marcel P. Van Lohuizen
MOC
2000
79views more  MOC 2000»
15 years 6 months ago
Computational scales of Sobolev norms with application to preconditioning
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...
CCS
2008
ACM
15 years 8 months ago
Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach
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...
Ralf Küsters, Tomasz Truderung