We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...
In this paper we describe a prototype implementation of updateable views called “SBQL Views”. The prototype follows a novel approach to view updates based on the Stack-Based Ap...
Abstract. This paper describes the AutoMed repository and some associated tools, which provide the first implementation of the both as view (BAV) approach to data integration. Apa...
Michael Boyd, Sasivimol Kittivoravitkul, Charalamb...
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...