To improve energy efficiency and comply with the power budgets, it is important to be able measure consumption of cloud computing servers. Intel’s Running Average Power Limit (RAPL) interface a powerful tool for this purpose. RAPL provides limiting features accurate readings CPUs DRAM, which are easily accessible through different interfaces on large distributed systems. Since its introduction, has been used extensively in measurement modeling. However, advantages disadvantages have not well...

A lot of optimal and heuristic algorithms for solving facility layout problem (FLP) have been developed in the past few decades. The majority these approaches adopt a formulation known as quadratic assignment (QAP) that is particularly suitable equal area facilities. Unequal FLP comprises class extremely difficult widely applicable optimization problems arising many diverse areas to meet requirements real-world applications. Unfortunately, most are based on single objective. While, FLPs...

Energy efficiency has become a primary concern for data centers in recent years. Understanding where the energy been spent within software is fundamental energy-efficiency study as whole. In this paper, we take first step towards direction by building an profiling module on top of IgProf. IgProf application profiler developed at CERN scientific computing workloads. The based sampling and obtains measurements from Running Average Power Limit (RAPL) interface present latest Intel processors....

Field workforces have to implement day-to-day control decisions keep the large scale real-world systems (e. g. Water Distribution Systems) operational. However, existing customized Decision Support Tools (DSTs) for field operate on static and predefined datasets, available in workers' devices. This results planning actions that may appear safe local context but can cause conflicts disturbances elsewhere system. To enable informed decision making, we discuss a generic architecture supports...

A number of graph processing platforms have emerged recently as a result the growing demand on data analytics with complex and large-scale structured datasets. These been tailored for iterative computations can offer an order magnitude performance gain over generic data-flow frameworks like Apache Hadoop Spark. Nevertheless, increasing availability such their functionality overlap necessitates comparative study various aspects platforms, including applications, energy efficiency. In this...

With the move toward mobile computing being trend of this technology era it is clear that our way life and how we deal with objects in changing. This swift shift from large desktop computers to inexpensive, low power applications are easily carried pockets or placed next a cup coffee on living room table clearly changed interact media contact friends, colleagues family members. also created advancement field digital forensics as every device coming market, studies have been conducted...

Field engineers working on water distribution systems have to implement day-to-day operational decisions. Since pipe networks are highly interconnected, the effects of such decisions correlated with hydraulic and quality conditions elsewhere in network. This makes provision predictive decision support tools (DSTs) for field critical optimizing engineering work We describe how we created DSTs run lightweight mobile devices by using Web 2.0 technique known as Software a Service. designed our...

No one can deny the importance of mobility in modern communication networks and Internet is no exception. IETF has introduced Network Mobility (NEMO) protocol to support a moving network. NEMO solves many problems Mobile IP (MIP) group users, but introduces some its own like suboptimal routing multiple levels encapsulation. These occur because basic (NEMO BSP) does not route optimization nested mobile networks. Many solutions have been proposed literature solve these problems. In this...

This paper is aimed at designing of an effective interleaver for parallel concatenated coding schemes which utilizes the weight distribution as design criterion. We present a method here achieving minimum free distance code word so that error floor can be decreased. The expected to achieve separation radicN in output word. proposed has advantage complexity grows linearly with length.

Abstract We describe a dynamic, real-time workflow for gas lift surveillance and troubleshooting that allows engineers to quickly identify range of potential problems with the well ways optimize performance. This functionality has been implemented as software program makes innovative use dynamic visualization, mathematical models, data, rule-based reasoning. The logic uses PVT multiphase flow correlations allow understand main variables affect performance wells. algorithms incorporate simple...

Automated Theorem Proving systems are enormously powerful computer programs capable of solving immensely difficult problems. The extreme capabilities these lie on some well-established proof systems. Semantic tableau is such a system used to prove the validity formula by contradiction and can produce counterexample if it fails. It also be whether logical consequence set formulas. Tableau in propositional logic, predicate modal temporal other non-classical logics. In this paper, we describe...

Automated Theorem Proving systems are enormously powerful computer programs capable of solving immensely difficult problems. The extreme capabilities these lie on some well-established proof systems, such as Semantic tableau. It is used to prove the validity a formula by contradiction and it can produce counterexample if fails. also be whether logical consequence set formulas. Tableau in propositional logic, predicate modal temporal other non-classical logics. In this article, we describe...