Reliable Synchronization Primitives for Java

Java is an architecture-independent, object-oriented language designed to facilitate code-sharing across the Internet in general, via the Web in particular. Java is multithreaded, providing thread creation and synchronization constructs based on generalized monitors. Although these primitives are appropriate for many windowing applications, they are not necessarily well-suited for the larger class of multithreaded programs that occur as part of distributed systems. We demonstrate how the Java primitives, in conjunction with the object-oriented aspects of the language, can be used to implement a collection of other traditional synchronization paradigms. These paradigms are formally specified, their implementations are rigorously verified, and their use is illustrated with several examples

Decision support system for the environmental impact of e-business

With less than half a century's development, e-business and the Information and Communication Technologies it relies on, have been growing rapidly. With an even shorter history than the technology itself, the study of its impact on the environment and sustainable development in general, is still in its infancy. A review of past literature has revealed that the problem is complex. Both negative and positive impacts have been identified. Traditional systematic approaches have been found to be insufficient for this research topic. To explore the relationship further, a new methodology is proposed in this thesis. In particular the main objective of this PhD study is to demonstrate and develop an Expert Decision Support System at the meso level, to simulate the relationship between e-business and the environment. In pursuit of this aim, results are presented of two surveys that were conducted to collect data and build a knowledge base. Analysis of the data using various techniques was considered, based on data mining technologies and Fuzzy Logic. The development of the Expert Decision Support System is then discussed, adopting a two-way simulation approach. The forward chain of the system is developed based on Decision Support System technology, with the heart of the system built on Neural Networks. Calculation, estimation and prediction of environmental indicator values based e-business indicators are conducted in this part. The backward chain is based on Expert System technology, where conditions and rules are presented to reach certain pre-defined environmental targets. An individual company should then be able to use this system within a certain industry, for example, to simulate its environmental performance by adopting or limiting Information and Communication technologies. A demonstration of how the system can be used and operated on various occasions for different purposes is presented, based on four application scenarios: predictions, simulations, comparisons and solutions. It is claimed that the results from the Expert Decision Support System, which ideally should be integrated into a company's financial system and other information management systems, will provide important information that could be incorporated into a company's strategic plans, action plans and technological reformation. The research presents a pilot study which tries to not only build a quantitative model but also to construct a decision support system to simulate this relationship in the real world. It is claimed that the work both extends research methodologies in this field and endows traditional Neural Network applications with new meanings and challenges.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Internet Predictions

More than a dozen leading experts give their opinions on where the Internet is headed and where it will be in the next decade in terms of technology, policy, and applications. They cover topics ranging from the Internet of Things to climate change to the digital storage of the future. A summary of the articles is available in the Web extras section

Reverse Remodeling of the Atria After Treatment of Chronic Stretch in Humans Implications for the Atrial Fibrillation Substrate

ObjectivesThe aim of this report was to study the effect of chronic stretch reversal on the electrophysiological characteristics of the atria in humans.BackgroundAtrial stretch is an important determinant for atrial fibrillation. Whether relief of stretch reverses the substrate predisposed to atrial fibrillation is unknown.MethodsTwenty-one patients with mitral stenosis undergoing mitral commissurotomy (MC) were studied before and after intervention. Catheters were placed at multiple sites in the right atrium (RA) and sequentially within the left atrium (LA) to determine: effective refractory period (ERP) at 10 sites (600 and 450 ms) and P-wave duration (PWD). Bi-atrial electroanatomic maps determined conduction velocity (CV) and voltage. In 14 patients, RA studies were repeated ≥6 months after MC.ResultsImmediately after MC, there was significant increase in mitral valve area (2.1 ± 0.2 cm2, p < 0.0001) with decrease in LA (23 ± 7 mm Hg to 10 ± 4 mm Hg, p < 0.0001) and pulmonary arterial pressures (38 ± 16 mm Hg to 27 ± 12 mm Hg, p < 0.0001) and LA volume (75 ± 20 ml to 52 ± 18 ml, p < 0.0001). This was associated with reduction in PWD (139 ± 19 ms to 135 ± 20 ms, p = 0.047), increase in CV (LA: 1.3 ± 0.3 mm/ms to 1.7 ± 0.2 mm/ms, p = 0.006; and RA: 1.0 ± 0.1 mm/ms to 1.3 ± 0.3 mm/ms, p = 0.002) and voltage (LA: 1.7 ± 0.6 mV to 2.5 ± 1.0 mV, p = 0.005; and RA: 1.8 ± 0.6 mV to 2.2 ± 0.7 mV, p = 0.09), and no change in ERP. Late after MC, mitral valve area remained at 2.1 ± 0.3 cm2 (p = 0.7) but with further decrease in PWD (113 ± 19 ms, p = 0.04) and RA ERP (at 600 ms, p < 0.0001), with increase in CV (1.0 ± 0.1 mm/ms to 1.3 ± 0.2 mm/ms, p = 0.006) and voltage (1.8 ± 0.7 mV to 2.8 ± 0.6 mV, p = 0.002).ConclusionsThe atrial electrophysiologic and electroanatomic abnormalities that result from chronic stretch due to MS reverses after MC. These observations suggest that the substrate predisposing to atrial arrhythmias might be reversed

Synchronization Landscapes in Small-World-Connected Computer Networks

Motivated by a synchronization problem in distributed computing we studied a simple growth model on regular and small-world networks, embedded in one and two-dimensions. We find that the synchronization landscape (corresponding to the progress of the individual processors) exhibits Kardar-Parisi-Zhang-like kinetic roughening on regular networks with short-range communication links. Although the processors, on average, progress at a nonzero rate, their spread (the width of the synchronization landscape) diverges with the number of nodes (desynchronized state) hindering efficient data management. When random communication links are added on top of the one and two-dimensional regular networks (resulting in a small-world network), large fluctuations in the synchronization landscape are suppressed and the width approaches a finite value in the large system-size limit (synchronized state). In the resulting synchronization scheme, the processors make close-to-uniform progress with a nonzero rate without global intervention. We obtain our results by ``simulating the simulations", based on the exact algorithmic rules, supported by coarse-grained arguments.Comment: 20 pages, 22 figure

Roughening of the (1+1) interfaces in two-component surface growth with an admixture of random deposition

We simulate competitive two-component growth on a one dimensional substrate of $L$ sites. One component is a Poisson-type deposition that generates Kardar-Parisi-Zhang (KPZ) correlations. The other is random deposition (RD). We derive the universal scaling function of the interface width for this model and show that the RD admixture acts as a dilatation mechanism to the fundamental time and height scales, but leaves the KPZ correlations intact. This observation is generalized to other growth models. It is shown that the flat-substrate initial condition is responsible for the existence of an early non-scaling phase in the interface evolution. The length of this initial phase is a non-universal parameter, but its presence is universal. In application to parallel and distributed computations, the important consequence of the derived scaling is the existence of the upper bound for the desynchronization in a conservative update algorithm for parallel discrete-event simulations. It is shown that such algorithms are generally scalable in a ring communication topology.Comment: 16 pages, 16 figures, 77 reference

A Graph based architectural (re)configuration language

For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during the execution. Support for such evolution can be conceived in terms of a language for specifying the dynamic reconfiguration of systems. In this paper, continuing our work on the development of a formal platform for architectural design, we present a high-level language to describe architectures and for operating changes over a configuration (i.e., an architecture instance), such as adding, removing or substituting components or interconnections. The language follows an imperative style and builds on a semantic domain established in previous work. Therein, we model architectures through categorical diagrams and dynamic reconfiguration through algebraic graph rewriting