This work is focused on the application of functional-type a posteriori error estimates and corresponding indicators to a class of time-dependent problems. We consider the algorithmic part of their derivation and implementation and also discuss the numerical properties of these bounds that comply with obtained numerical results. This paper examines two different methods of approximate solution ...

We propose a reliable intersection control mechanism for strategic autonomous and connected vehicles (agents) in non-cooperative environments. Each agent has access to his/her earliest possible and desired passing times, and reports a passing time to the intersection manager, who allocates the intersection temporally to the agents in a First-ComeFirst-Serve basis. However, the agents might have...

The application of an IP-based control plane to optical networks has opened up new opportunities and challenges for network designers. Although much work has been done on standardization of protocols for IP networks, the applicability of these protocols to controlling optical networks and the overall reliability of optical networks needs further investigation. This paper provides a detailed dis...

Measuring the information content of a set by the space bounded Kolmogorov complexity of its characteristic sequence we investigate the non uniform com plexity of sets A in EXPSPACE poly that reduce to some set having very high information content Speci cally we show that if the reducibility used has a certain property called reliability then A in fact is reducible to a sparse set under the sam...

This paper describes a methodology of the automatic design process for the concurrent error detection (CED) circuits based on FPGAs. Our solution assumes the possibility of dynamical reconfiguration of the faulty part. The most important criterion is the speed of the fault detection and the safety of the whole circuit with respect to the surrounding environment. Our methodology enables cooperat...

Magnetic RAM (MRAM) is a new memory technology with access and cost characteristics comparable to those of conventional dynamic RAM (DRAM) and the non-volatility of magnetic media such as disk. Simply replacing DRAM with MRAM will make main memory non-volatile, but it will not improve file system performance. However, effective use of MRAM in a file system has the potential to significantly imp...

As VLSI geometry continues to shrink and the level of integration increases, it is expected that the probability of faults, particularly transient faults, will increase in future microprocessors. So far, fault tolerance has chiefly been considered for special purpose or safety critical systems, but future technology will likely require integrating fault tolerance techniques into commercial syst...

The PC hardware architecture and commodity operating systems such as Linux or Microsoft Windows are dominant in end-host infrastructure in the current Internet. It shows that many performance problems in high-speed long-distance networks (also called longfat networks or LFNs due to high possible volume of outstanding data between the sender and receiver) are caused by improper behaviour of end ...