Orchestrating the Dynamic Adaptation of Distributed Software with Process Technology Giuseppe Valetto Software systems are becoming increasingly complex to develop, understand, analyze, validate, deploy, configure, manage and maintain. Much of that complexity is related to ensuring adequate quality levels to services provided by software systems after they are deployed in the field, in particul...

In this study acoustic emission (AE) techniques were investigated to determine in situ rock stress from rock cores. The stresses were estimated from the AE behaviour and compared with the values calculated using conventional Hollow Inclusion (HI) cells. Stresses in three different directions such as normal to bedding and parallel to the strike and dip of bedding were determined from the rock co...

KAT (Kleene Algebra with Tests) have proved to be useful for reasoning about programs in a partial correctness framework. We describe DRA (demonic Re nement Algebra), a variation of KAT for total correctness and illustrate its modeling and reasoning power with a number of applications and examples. TUCS Laboratory TUCS Learning and Reasoning Laboratory

This paper explores the concept of micro-architectural loops and discusses their impact on processor pipelines. In particular, we establish the relationship between loose loops and pipeline length and configuration, and show their impact on performance. We then evaluate the load resolution loop in detail and propose the distributed register algorithm (DRA) as a way of reducing this loop. It dec...

One of the foremost aims of component technology is the replacement of large monolithic applications with sets of smaller components, whose particular functionality and interoperation can be adapted to users' needs. However, the adaptation mechanisms of component software are still limited. Most proposals concentrate on adaptations that can be achieved either at compile time or at link time. Cu...

This paper examines the performance of a new Dynamic Resource Allocation (DRA) Strategy for a 3G Hierarchical Cellular Structure (HCS). With rising demands on wireless communication systems there is a need to improve the resource utilisation of mobile network. This can be achieved with the implementation of HCS along with a suitable self-adaptive DRA strategy. The main focus of attention is to ...

This paper presents an efficient approach for exciting a dielectric resonator antenna (DRA) in the terahertz frequencies by means of a graphene plasmonic dipole. Design and analysis are performed in two steps. First, the propagation properties of hybrid plasmonic onedimensional and two-dimensional structures are obtained by using transfer matrix theory and the finite-element method. The couplin...

Since 1990 the DRA Speech Research Unit has conducted research into applications of speech recognition technology to speech and language development for young children. This has been done in collaboration with Hereford and Worcester County Council Education Department (HWCC) and, more recently, with Sherston Software Limited, one of the UK’s leading independent educational software publishers. ...

Our activity has to do with the design of Direct Radiating Arrays (DRA) for satellite communications. The objective is to have a reduced number of controls in order to minimize the manufacturing and operating complexity. The DRAs will create a set of simultaneously overlapped multi-beams in the frequency range of 20 GHz and will satisfy certain specifications (End of Coverage (EOC) gain, gratin...

PURPOSE Dark adaptation can induce a rapid functional shift in the retina, and after that, the retinal function is believed to remain stable during the continuous dark exposure. However, we found that electroretinograms (ERG) b-waves gradually shifted during 24 hours' dark exposure in rodents. Detailed experiments were designed to explore this non-classical dark adaptation. METHODS In vivo ER...