Adder architectures are presented here by an unified formalism, and analysed from the delay, complexity and power consumption points of view. An analytical model for the power consumption is derived, assuming that it is proportional to the transition density [DHNT95]. The model is subsequently validated by simulation using a signal transition probabilities propagation tool [Cra89]. Finally, gli...

Negative surges are caused by a sudden change in flow resulting from a decrease in water depth. New experiments were conducted in a horizontal channel (L = 12 m, W = 0.5 m) to record the unsteady water depth and turbulence in negative surges. The data were collected using video imagery, acoustic displacement meters and acoustic Doppler velocimetry (ADV). The experimental setup was designed to r...

Objective of this work is to explain the modelling concept of analytical function in the financial knowledge discovery model. This new simulation model of analytical function is developed for a financial knowledge discovery process that is used for the Corporate Criminal Intelligence Analysis (CCIA, in short). Model was developed for the CCIA work of the whole analytical part of the Financial p...

In this paper we present an analytical model to optimize the thermal and electrical layout for multilayer structure electronic devices through the solution to the non-linear 3-D heat equation. The thermal solution is achieved by the Kirchhoff transform and the 2-D Fourier transform. The model is general and can be easily applied to a large variety of integrated devices, provided that their stru...

From a project on upgrading an existing commercially used operating system for support of a distributed system architecture, we present results and experience from a comprehensive analytical performance evaluation of a large number of different implementation strategies for distributed lock management. The various lock management policies we consider differ in the management of the lock databas...

Silvio Renato Dahmen Instituto de F́ısica, Universidade Federal do Rio Grande do Sul, Av. Bento Gonçalves, 9500, CEP 91501-970, Porto Alegre, RS, Brazil‡ Abstract In this article we study the behavior of a group of economic agents in the context of cooperative game theory, interacting according to rules based on the Potts Model with suitable modifications. Each agent can be thought of as belongi...

In this paper, we propose an analytical model for 802.11 ad hoc wireless networks. Our model consists in replacing a finite number of nodes by an equivalent continuum characterized by a density of nodes and disseminated in the network according to some distribution function. The key feature of the proposed model is that it permits taking into account the effect of interference, the CSMA/CA mech...

Pressures are increasing on organisations to take a more systematic approach to incorporating security into their software development process. The key to this is analysing security requirements early on, rather than treating security as an add-on, as is often the case. An important component of security requirements is access control, and roles have been found to provide an effective basis for...

BACKGROUND Drusen are common features in the ageing macula associated with exudative Age-Related Macular Degeneration (ARMD). They are visible in retinal images and their quantitative analysis is important in the follow up of the ARMD. However, their evaluation is fastidious and difficult to reproduce when performed manually. METHODS This article proposes a methodology for Automatic Drusen De...