the direct way to access the petrophysical property of hydrocarbon reservoir is based on well data but due to its high cost, the seismic data has been used to obtain these parameters. for this purpose, many different methods are available and each has its own advantages and limitations. from these methods the seismic inversion is the best tool to study the reservoir characterization. the outcom...

Despite the advantages and simplicity of stack machines, they are not very often found or supported in commercial computer systems. This paper explains the need for stacks in modern programming languages and describes three dimensions used to categorize the different stack implementations. Furthermore, we will discuss the application and support of stacks and their integration in modern computi...

The open source GSM protocol stack of the OsmocomBB project offers a versatile development environment regarding the data link and network layer. There is no solution available for developing physical layer baseband algorithms in combination with the data link and network layer. In this paper, a baseband development framework architecture with a suitable interface to the protocol stack of Osmoc...

Embedded speciications in object-oriented (OO) languages such as Eiiel and Sather are based on a rigorous approach towards validation, compatibility and reusability of sequential programs. The underlying method of \design-by-contract" is based on Hoare logic for which concurrency extensions exist. However concurrent OO languages are still in their infancy. They have inherently imperative facets...

We study sorting machines consisting of a stack and a pop stack in series, with or without a queue between them. While there are, a priori, four such machines, only two are essentially different: a pop stack followed directly by a stack, and a pop stack followed by a queue and then by a stack. In the former case, we obtain complete answers for the basis and enumeration of the sortable permutati...

The Intel R © Itanium R © architecture contains a number of innovative compiler-controllable features designed to exploit instruction level parallelism. New code generation and optimization techniques are critical to the application of these features to improve processor performance. For instance, the Itanium R © architecture provides a compilercontrollable virtual register stack to reduce the ...

We show how the yardstick construction of Stockmeyer, also developed as counter bootstrapping by Lipton, can be adapted and extended to obtain new lower bounds for the coverability problem for two prominent classes of systems based on Petri nets: Ackermann-hardness for unordered data Petri nets, and Tower-hardness for pushdown vector addition systems.

The conversion of a nucleic acid from single strands to double strands is thought to involve slow nucleation followed by fast double-strand propagation. Here, for RNA double-strand propagation, we propose an atomic resolution reaction mechanism. This mechanism, called the stack-ratchet, is based on data-mining of three-dimensional structures and on available thermodynamic information. The stack...

In a data center, an IO from an application to distributed storage traverses not only the network, but also several software stages with diverse functionality. This set of ordered stages is known as the storage or IO stack. Stages include caches, hypervisors, IO schedulers, file systems, and device drivers. Indeed, in a typical data center, the number of these stages is often larger than the nu...

In this article, a MATLAB program for a three-dimensional simulation of multipollutants (CO, NOx, SO2, and TH) dispersion from an industrial stack using a Multiple Cell Model is presented. The program verification was conducted by checking the simulation results against experimental data and Gaussian Model and better agreements were obtained in comparison with the Gaussian model. The effects of...