Sciweavers

741 search results - page 82 / 149
» Memory Dependence Prediction Using Store Sets
Sort
View
JLP
2000
102views more  JLP 2000»
15 years 6 months ago
Recursive Query Plans for Data Integration
Generating query-answering plans for data integration systems requires to translate a user query, formulated in terms of a mediated schema, to a query that uses relations that are...
Oliver M. Duschka, Michael R. Genesereth, Alon Y. ...
183
Voted
EKAW
2010
Springer
15 years 4 months ago
Using Semantic Web Resources for Data Quality Management
The quality of data is a critical factor for all kinds of decision-making and transaction processing. While there has been a lot of research on data quality in the past two decades...
Christian Fürber, Martin Hepp
173
Voted
FMCAD
2004
Springer
15 years 10 months ago
Bloom Filters in Probabilistic Verification
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
Peter C. Dillinger, Panagiotis Manolios
JCNS
2000
78views more  JCNS 2000»
15 years 6 months ago
Computational Consequences of Temporally Asymmetric Learning Rules: II. Sensory Image Cancellation
Abstract. The electrosensory lateral line lobe (ELL) of mormyridelectric sh is a cerebellum-likestructure that receives primarya erent input from electroreceptors in the skin. Purk...
Patrick D. Roberts, Curtis C. Bell
EUROSYS
2009
ACM
16 years 3 months ago
Pointless tainting?: evaluating the practicality of pointer tainting
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...
Asia Slowinska, Herbert Bos