841 search results - page 22 / 169 » Generalized Projection Based M-Estimator: Theory and Applica... |
PASTE
2005
ACM
14 years 1 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
In this paper, an intersection theory for generic differential polynomials is presented. The intersection of an irreducible differential variety of dimension d and order h with a g...
CADE
2004
Springer
14 years 8 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
PPOPP
2006
ACM
14 years 1 months ago
2006
ACM
This work presents a general methodology for estimating the performance of an HPC workload when running on a future hardware architecture. Further, it demonstrates the methodology...
POLICY
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents ongoing research and current results on the development of flexible access control infrastructure for complex resource provisioning (CRP) in Grid-based applica...