Sciweavers

626 search results - page 61 / 126
» Logical Foundations for Data Integration
Sort
View
POPL
2003
ACM
14 years 9 months ago
Discovering affine equalities using random interpretation
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
Sumit Gulwani, George C. Necula
KBSE
2007
IEEE
14 years 3 months ago
Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...
Kobi Inkumsah, Tao Xie
WWW
2003
ACM
14 years 9 months ago
Implementing XML Schema inside a relational database
XML Schema has emerged as a promising data model that unites structured and unstructured content. The Oracle database has led the commercial database community in integrating supp...
Sandeepan Banerjee
EUROPAR
2003
Springer
14 years 1 months ago
Distributed Application Monitoring for Clustered SMP Architectures
Abstract. Performance analysis for terascale computing requires a combination of new concepts including distribution, on-line processing and automation. As a foundation for tools r...
Karl Fürlinger, Michael Gerndt
NGITS
1997
Springer
14 years 26 days ago
Maintaining Information Resources
With the proliferation of the World Wide Web, it has become very important to provide advanced tools for maintaining referential integrity of information resources. The growing te...
Sofus A. Macskassy, Leon A. Shklar