1237 search results - page 97 / 248 » Strictness and Totality Analysis |
151
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
149
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. This paper presents a new algorithm for non-rigid registration between two doubly-connected regions. Our algorithm is based on harmonic analysis and the theory of optimal...
144
click to vote
DASFAA
2007
IEEE
16 years 17 days ago
2007
IEEE
Abstract. Distributed transactional systems require an atomic commitment protocol to preserve atomicity of the ACID properties. However, the industry leading standard, 2PC, is slow...
155
click to vote
DOCENG
2004
ACM
15 years 11 months ago
2004
ACM
This research’s primary contribution is providing a relatively straightforward, sustainable infrastructure for integrating documents and services. Users see a totally integrated...
167
click to vote
AAIM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Longest Common Subsequence (LCS) problem is a classic and well-studied problem in computer science. The LCS problem is a common task in DNA sequence analysis with man...