Sciweavers

341 search results - page 12 / 69
» Redundancy elimination revisited
Sort
View
P2P
2005
IEEE
112views Communications» more  P2P 2005»
15 years 5 months ago
Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems
Distributed peer-to-peer systems rely on voluntary participation of peers to effectively manage a storage pool. In such systems, data is generally replicated for performance and a...
Ronaldo A. Ferreira, Murali Krishna Ramanathan, An...
CADE
2004
Springer
16 years 10 hour ago
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in combination with a selection function, can be used to obt...
Yevgeny Kazakov, Hans de Nivelle
CADE
1998
Springer
15 years 4 months ago
A Resolution Decision Procedure for the Guarded Fragment
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in combination with a selection function, can be used to obt...
Hans de Nivelle
101
Voted
PODS
2006
ACM
114views Database» more  PODS 2006»
15 years 11 months ago
On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF
A recently introduced information-theoretic approach to analyzing redundancies in database design was used to justify normal forms like BCNF that completely eliminate redundancies...
Solmaz Kolahi, Leonid Libkin
ISSRE
2008
IEEE
15 years 6 months ago
Static Detection of Redundant Test Cases: An Initial Study
As software systems evolve, the size of their test suites grow due to added functionality and customer-detected defects. Many of these tests may contain redundant elements with pr...
Nuo Li, Patrick Francis, Brian Robinson