Integrated asset management: a case study of technical and economic optimization of surface and well facilities

Abstract Oil production could be increased by using optimization techniques in each stage of oil production system from field to production unit.However, the maximum profit will be obtained once integrated optimization of surface and subsurface components of the oil production system is implemented.In addition, when using high-tech equipment and fa

read more

Sequentializing Parameterized Programs

We exhibit assertion-preserving (reachability preserving) transformations from parameterized concurrent shared-memory programs, virginia mill works tobacco road acacia under a k-round scheduling of processes, to sequential programs.The salient feature of the sequential program is that it tracks the local variables of only one thread at any point, a

read more