We study the following max-type difference equation xn = max{A(n)/x(n-r), x(n-k)}, n = 1,2,…, where {A(n)} n=1 (+∞) is a periodic sequence with period p and k, r ∈ {1,2,…} with gcd(k, r) = 1 and k ≠ r, and the initial conditions x(1-d), x(2-d),…, x 0 are real numbers with d = max{r, k}. We show that if p = 1 (or p ≥ 2 and k is odd), then every well-defined solution of this equation is eventuall...

In cloud computing environments, data storage systems often rely on optimistic replication to provide good performance and availability even in the presence of failures or network partitions. In this scenario, it is important to be able to accurately and efficiently identify updates executed concurrently. Current approaches to causality tracking in optimistic replication have problems with conc...

Article history: Received 11 March 2009 Received in revised form 18 July 2013 Accepted 19 May 2014 Available online 2 July 2014

We introduce the concept of deadlock immunity—a program’s ability to avoid all deadlocks that match patterns of deadlocks experienced in the past. We present here an algorithm for enabling large software systems to automatically acquire such immunity without any programmer assistance. We prove that the algorithm is sound and complete under reasonable assumptions. We implemented the described te...

Ein zentrales Versprechen von BigData ist die Lösung von Problemen bezüglich scheinbar unmöglicher Datenvolumina und Änderungsfrequenzen. Die typischen Beispiele für erfolgreiche BigData Anwendungen decken dabei Probleme ab, die mit traditionellen Enterprise-Architekturen und -Technologien trotz Optimierung dieser Architekturen und Technologien kläglich scheitern – oder mit gutem Grund – überha...

In this paper we introduce the notion of eventually periodic switching signal. We prove that if a family of linear vector fields satisfies a mild finite time controllability condition, and for each initial state there exists a time-dependent switching signal which asymptotically drives the system to the origin (possibly allowing different signals for different initial states), then the same goa...