3639 search results - page 290 / 728 » Provenance as Dependency Analysis |
194
click to vote
SRDS
2000
IEEE
15 years 11 months ago
2000
IEEE
Obtaining good performance from a distributed replicated database that allows update transactions to originate at any site while ensuring one-copy serializability is a challenge. ...
183
click to vote
CAIP
1997
Springer
15 years 11 months ago
1997
Springer
: A new hardware structure for implementation of soft morphological filters is presented in this paper. This is based on the modification of the majority gate technique. A pipeline...
168
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation rogram's heap. We first describe how an abstrac...
176
click to vote
ADCM
2007
15 years 7 months ago
2007
The purpose of this paper is to develop a spectral analysis of the Hessenberg matrix obtained by the GMRES algorithm used for solving a linear system with a singular matrix. We pr...
210
click to vote
FUIN
2007
15 years 7 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...