Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sri...
We present a new interface for Object-Oriented Database Management Systems (OODBMSs). The GOODIES1 system combines and expands the functions of many existing interface systems, in...
Juliano Lopes de Oliveira, Ricardo de Oliveira Ani...
Abstract. In this paper we present two improvements to the partitioning process: 1) A new dynamic bu er management strategy is employed to increase the average block size of I/O-tr...
: We consider the Submodular Welfare Problem where we have m items and n players with given utility functions wi : 2[m] R+. The utility functions are assumed to be monotone and su...
We introduce the formal framework of a generalized interaction scheme for information access between users and information sources. Within this framework we describe an interactio...