341 search results - page 22 / 69 » Redundancy elimination revisited |
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...
INFOCOM
2012
IEEE
11 years 11 months ago
2012
IEEE
—Recently, the existence of considerable amount of redundancy in the Internet traffic has stimulated the deployment of several redundancy elimination techniques within the netwo...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
Scrolling is the standard way to navigate through many types of digital documents. However, moving more than a few pages can be slow because all scrolling techniques constrain vis...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
A desired mesh architecture, based on connected-cycle modules, is constructed. To enhance the reliability, multiple bus sets and spare nodes are dynamically inserted to construct m...
JOT
2010
13 years 7 months ago
2010
Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ...