Sciweavers

6054 search results - page 277 / 1211
» Implementation of Andorra-based Languages
Sort
View
ACMMSP
2006
ACM
278views Hardware» more  ACMMSP 2006»
16 years 20 days ago
Atomicity via source-to-source translation
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...
Benjamin Hindman, Dan Grossman
ADBIS
2004
Springer
136views Database» more  ADBIS 2004»
16 years 3 days ago
SBQL Views - Prototype of Updateable Views
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...
Hanna Kozankiewicz, Kazimierz Subieta
168
Voted
CAISE
2004
Springer
16 years 2 days ago
AutoMed: A BAV Data Integration System for Heterogeneous Data Sources
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...
PADL
2004
Springer
16 years 1 days ago
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions
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. ...
Martin Erwig, Zhe Fu
ECSQARU
1997
Springer
15 years 11 months ago
Assumption-Based Modeling Using ABEL
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
Bernhard Anrig, Rolf Haenni, Jürg Kohlas, Nor...