Sharif Digital Repository

Hardware prefetching schemes which divide the misses into streams are generally preferred to other hardware based schemes. But, as they do not know when the next miss of a stream happens, they cannot prefetch a block in appropriate time. Some of them use a substantial amount of hardware storage to keep the predicted miss blocks from all streams. The other approaches follow the program flow and prefetch all target addresses including those blocks which already exist in the L1 data cache. The approach presented predicts the stream of next miss and then prefetches only the next miss address of the stream. It offers a general prefetching framework, two-phase prediction algorithm (TPP), that lets... 

This paper investigates a class of mobile wireless sensor networks that are unconnected most of the times; we refer to them as delay-tolerant wireless sensor networks (DTWSN). These networks inherit their characteristics from both delay tolerant networks (DTN) and traditional wireless sensor networks. After introducing DTWSNs, three main problems in the design space of these networks are discussed: routing, data gathering, and neighbor discovery. A general protocol is proposed for DTWSNs based on opportunistic broadcasting in delay-tolerant networks with radio device on-off periods. Three performance measures are defined in the study: the energy for sending queries to ask for data from... 

This paper investigates a class of mobile wireless sensor networks that are unconnected most of the times; we refer to them as delay-tolerant wireless sensor networks (DTWSN). These networks inherit their characteristics from both delay tolerant networks (DTN) and traditional wireless sensor networks. After introducing DTWSNs, three main problems in the design space of these networks are discussed: routing, data gathering, and neighbor discovery. A general protocol is proposed for DTWSNs based on opportunistic broadcasting in delay-tolerant networks with radio device on-off periods. Three performance measures are defined in the study: the energy for sending queries to ask for data from... 

Variants of dataflow specification models are widely used to synthesize streaming applications for distributed-memory parallel processors. We argue that current practice of specifying streaming applications using rigid dataflow models, implicitly prohibits a number of platform oriented optimizations and hence limits portability and scalability with respect to number of processors. We motivate Functionally-cOnsistent stRucturally-MalLEabe Streaming Specification, dubbed FORMLESS, which refers to raising the abstraction level beyond fixed-structure dataflow to address its portability and scalability limitations. To demonstrate the potential of the idea, we develop a design space exploration... 

To enhance performance, common processors feature relaxed memory models that reorder instructions. However, the correctness of concurrent programs is often dependent on the preservation of the program order of certain instructions. Thus, the instruction set architectures offer memory fences. Using fences is a subtle task with performance and correctness implications: using too few can compromise correctness and using too many can hinder performance. Thus, fence insertion algorithms that given the required program orders can automatically find the optimum fencing can enhance the ease of programming, reliability, and performance of concurrent programs. In this paper, we consider the class of... 

Constraint automata are formalisms to describe the behavior and possible data flow in coordination models. In this paper we introduce a linear time temporal logic, called temporal logic of steps (TLS), for specifying the executions of constraint automata. TLS is the first attempt in presenting a linear temporal logic for constraint automata. Having TLS in hand, we are able to design model checking algorithms for verification of concurrent systems modeled by constraint automata. © 2008 Springer-Verlag  

Reo is an exogenous coordination language for component connectors extending data flow networks with synchronization and context-dependent behavior. We propose an operational model of Reo based on Büchi automata in which port synchronization is modeled by records labeling the transitions, whereas context dependencies are stored in the states. We provide a composition operator which models the joining of two connectors, and show that it can be obtained by using two standard operators: alphabet extension and automata product. Our semantics has the advantage over previous models in that it is based on standard automata theory, so that existing theories and tools can be easily reused. Moreover,... 

The main contribution of this paper is utilizing bio-inspired evolutionary algorithm for reliability oriented high level synthesis. In this paper genetic algorithm is used to schedule a data-flow graph considering latency and resource allocation considering resource constraints and area overhead. Then a co-evolutionary strategy merges the results of these solutions to find the RT level design of the circuit which satisfies both performance and area constraints. To satisfy the user-defined reliability, another genetic algorithm is developed to insert some hardware redundancies to the resulted data-path. Experimental results show using the proposed approach results in an acceptable reliability... 

Techniques of production data analysis for single-phase oil and gas reservoirs have advanced significantly over the past few years. These techniques range from traditional (Arps and Fetkovich) to modern (for the variation of operating conditions at the wellbore). The application of these techniques for analysis of the production data of a gas condensate reservoir may not yield reliable answers due to the fact that the flow of fluid in gas condensate reservoirs is not single-phase. This paper presents the treatment of a modern method of production data analysis (single-phase flow) to analyze the production data of a gas condensate reservoir (two-phase flow). For this purpose, a single-phase... 

A multicomponent analysis method based on principal component analysis-artificial neural network model (PC-ANN) is proposed for the simultaneous determination of levodopa (LD) and benserazide hydrochloride (BH). The method is based on the reaction of levodopa and benserazide hydrochloride with silver nitrate as an oxidizing agent in the presence of PVP and formation of silver nanoparticles. The reaction monitored at analytical wavelength 440 nm related to surface plasmon resonance band of silver nanoparticles. Differences in the kinetic behavior of the levodopa and benserazide hydrochloride were exploited by using principal component analysis, an artificial neural network (PC-ANN) to resolve... 

Techniques of production data analysis for single-phase oil and gas reservoirs have advanced significantly over the past few years. These techniques range from traditional (Arps and Fetkovich) to modern (for the variation of operating conditions at the wellbore). The application of these techniques for analysis of the production data of a gas condensate reservoir may not yield reliable answers due to the fact that the flow of fluid in gas condensate reservoirs is not single-phase. This paper presents the treatment of a modern method of production data analysis (single-phase flow) to analyze the production data of a gas condensate reservoir (two-phase flow). For this purpose, a single-phase... 

Models of computation abstract away a number of implementation details in favor of well-defined semantics. While this has unquestionable benefits, we argue that analysis of models solely based on operational semantics (implementation oblivious analysis) is unfit to drive implementation design space exploration. Specifically, we study the tradeoff between buffer size and streaming throughput in applications modeled as synchronous data flow (SDF) graphs. We demonstrate the inherent inaccuracy of implementation-oblivious approach, which only considers SDF operational semantic. We propose a rigorous transformation, which equips the state of the art buffer-throughput tradeoff analysis technique... 

Models of computation abstract away a number of implementation details in favor of well-defined semantics. While this has unquestionable benefits, we argue that analysis of models solely based on operational semantics (implementationoblivious analysis) is unfit to drive implementation design space exploration. Specifically, we study the tradeoff between buffer size and streaming throughput in applications modeled as synchronous data flow (SDF) graphs. We demonstrate the inherent inaccuracy of implementationoblivious approach, which only considers SDF operational semantic. We propose a rigorous transformation, which equips the state of the art buffer-throughput tradeoff analysis technique... 

Pulsating heat pipes are complex heat transfer devices, and their optimum thermal performance is largely dependent on different parameters. In this paper, in order to investigate these parameters, first a closed-loop pulsating heat pipe (CLPHP) was designed and manufactured. The CLPHP was made of copper tubes with internal diameters of 1.8 mm. The lengths of the evaporator, adiabatic, and condenser sections were 60, 150, and 60 mm, respectively. Afterward, the effect of various parameters, including the working fluid (water and ethanol), the volumetric filling ratio (30%, 40%, 50%, 70%, 80%), and the input heat power (5 to 70 W), on the thermal performance of the CLPHP was investigated... 

In the present paper, a crack propagation-based fatigue life estimation approach has been proposed for resistance spot welds. The presented approach also takes into account the effect of welding residual stresses. It can provide an accurate and systematic prediction of the life of spot weld joints with various dimensions and shapes. Experimental verification tests confirmed the validity of the calculations and good agreement was found between the theoretical predictions and experimental data  

Large Multi-Processor Systems-on-Chip use Networks-on-Chip with a high degree of reusability and scalability for message communication. Therefore, network infrastructure is a crucial element affecting the overall system performance. On the other hand, technology improvements may lead to much energy consumption in micro-routers of an on-chip network. This necessitates an exhaustive analysis of NoCs for future designs. This paper presents a comprehensive analytical model to predict message latency for different data flows traversing across the network. This model considers channel buffers of multiple flits which were not previously studied in NoC context. Also, architectural descriptions of... 

Capillary pressure experiments were performed at the water/hexane interface including adsorption and mass exchange of hexanol under different conditions. The results from growing drop experiments show that instabilities due to Marangoni convection not only depend on the same parameters as have been reported for quasi-static interfaces, such as direction of mass transfer, distribution coefficient and ratio of diffusion coefficients, but also on the experimental conditions such as dispersed phase flow rate, capillary tip size, size of growing drop and its lifetime. Based on a new flow expansion model for mass transfer, a new approach is presented for data analysis, which includes the various... 

In this work, the selectivity coefficients of ionic liquids in liquid-liquid systems were correlated and predicted by the NRTL, UNIQUAC, and Wilson-NRF Gibbs free energy models and also by an artificial neural network system. The three thermodynamic models need six binary interaction parameters between solvent(1)-solvent(2), solvent(1)-ionic liquid, and solvent(2)-ionic liquid pairs in obtaining the selectivity of ionic liquid in liquid-liquid systems. Also, the selectivity coefficients of ionic liquids were modeled using an artificial neural network system. In the proposed neural network system, temperature, molecular weight of ionic liquid, molecular weight of solvents, and mole fractions... 

With the declining energy resources and increase of pollutant emissions, a great deal of efforts has been focused on the development of alternatives for fossil fuels. One of the promising alternative fuels to gasoline in the internal combustion engine is natural gas [1-5]. The application of natural gas in current internal combustion engines is realistic due to its many benefits. The higher thermal efficiency due to the higher octane value and lower exhaust emissions including CO2 as a result of the lower carbon to hydrogen ratio of the fuel are the two important feature of using CNG as an alternative fuel. It is well known that computer simulation codes are valuable economically as a cost...