Slow running or straggler tasks can significantly reduce computation speed in distributed computation. Recently, coding-theory-inspired approaches have been applied to mitigate the effect of straggling, through embedding redundancy in certain linear computational steps of the optimization algorithm, thus completing the computation without waiting for the stragglers. In this paper, we propose an...

System verification in the broadest sense deals with those semantic properties that can be decided or deduced by analyzing a syntactical description of the system. Hence, one may consider the notions of redundancy and subsumption in this context as they are known from the area of rule-based systems. A rule is redundant if it can be removed without affecting the semantics of the system; it is su...

FPGA has found an increasingly wide utilization in automatic train control (ATC) equipment used in highspeed rail systems, which is potentially sensitive to radiation. How the space radiation caused by Geomagnetic storm affects FPGA devices was analyzed. This paper investigated the FPGA fault-tolerance techniques used nowadays and presented a new mitigation technique against upsets, duplication...

As many systems depend on electronics, concern for fault tolerance is growing rapidly. For example, a car with its steering controlled by electronics and no mechanical linkage from steering wheel to front tires (steer-by-wire) should be fault tolerant because a failure can come without any warning and its effect is devastating. In order to make system fault tolerant, there has been a body of re...

The article investigates the possibility of using cartographic redundancy to reduce the change blindness effect on spatio-temporal maps. Unlike in the case of previous research, the authors take a look at various methods of cartographic presentation and modify the visual variables in order to see how those modifications affect the user’s perception of changes on spatio-temporal maps. The study ...

A system characterized by redundancy has various elements that are able to act in the same biologic or dynamic manner, where the inhibition of one of those elements has no significant effect on the global biologic outcome or on the system's dynamic behavior. Methods that aim to predict the effectiveness of cancer therapies must include evolutionary and dynamic features that would change the sta...

Information retrieval tasks such as document retrieval and topic detection and tracking (TDT) show little degradation when applied to speech recognizer output. We claim that the robustness of the process is because of inherent redundancy in the problem: not only are words repeated, but semantically related words also provide support. We show how document and query expansion can enhance that red...