396 search results - page 37 / 80 » The missing Wendland functions |
130
Voted
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
142
click to vote
HPCC
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we present an exhaustive evaluation of the memory subsystem in a chip-multiprocessor (CMP) architecture composed of 16 cores. The characterization is performed making...
131
Voted
ICBA
2004
Springer
15 years 10 months ago
2004
Springer
This paper addresses the problem of developing an automated system for postmortem identification using dental records. The Automated Dental Identification System (ADIS) can be use...
125
Voted
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. We propose a prediction-based best-effort real-time service to support distributed, interactive applications in shared, unreserved computing environments. These applicati...
133
Voted
AGP
1997
IEEE
15 years 9 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...