The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper presents a new methodology for obtaining piecewise affine (PWA) models using Voronoi partitions. To develop a PWA model, a new function approximation method using a set of linearisation points (SLP) and Voronoi partitions is proposed. An automated approximation procedure using the SLP method is outlined. The SLP method is compared to a uniform grid (UG) approximation, which is the current...
At current date the problem of how to build distributed and replicated software transactional memory (STM) to enhance both dependability and performance is still largely unexplored. This paper fills this gap by presenting D2STM, a replicated STM whose consistency is ensured in a transparent manner, even in the presence of failures. Strong consistency is enforced at transaction commit time by a non-blocking...
Gossip, or epidemic, protocols have emerged as a highly scalable and resilient approach to implement several application level services such as reliable multicast, data aggregation, publish-subscribe, among others. All these protocols organize nodes in an unstructured random overlay network. In many cases, it is interesting to bias the random overlay in order to optimize some efficiency criteria,...
This paper defines a new class of hybrid systems called piecewise polynomial (PWP) systems in strict form and develops a backstepping controller synthesis methodology for these systems. The main contribution of the paper is to formulate controller design for a large class of PWP systems as a convex feasibility problem. The controller synthesis problem for PWP systems in strict feedback form is divided...
This paper addresses the problem of robust stability of piecewise affine (PWA) uncertain systems with unknown time-varying delay in the state. It is assumed that the uncertainty is norm-bounded and that upper bounds on the state delay and its rate of change are available. A set of linear matrix inequalities (LMI) is derived providing sufficient conditions for the stability of the system. These conditions...
Topological worms, such as those that propagate by following links in an overlay network, have the potential to spread faster than traditional random scanning worms because they have knowledge of a subset of the overlay nodes, and choose these nodes to propagate themselves; and also because they can avoid traditional detection mechanisms. Furthermore, this worm propagation strategy is likely to become...
The Weak Mutual Exclusion (WME) is a recently proposed abstraction which, analogously to classical Distributed Mutual Exclusion (DME), permits to serialize concurrent accesses to a shared resource. Unlike DME, however, the WME abstraction regulates the access to a replicated shared resource and is solvable in the presence of less restrictive synchrony assumptions, i.e. in an asynchronous system augmented...
In this paper we define the weak mutual exclusion (WME) problem. Analogously to classical distributed mutual exclusion (DME), WME serializes the accesses to a shared resource. Differently from DME, however, the WME abstraction regulates the access to a replicated shared resource, whose copies are locally maintained by every participating process. Also, in WME, processes suspected to have crashed are...
Information extraction systems are used to extract only relevant text information in digital repositories. The current work proposes an automatic system to extract information in semi-structured official journals. In our approach, given an input document, a Machine Learning (ML) algorithm classifies the documentpsilas fragments into class labels which correspond to the data fields to be extracted...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.