Model checkers find failures in software by exploring every possible execution schedule. Java PathFinder (JPF), a Java model checker, has been extended recently to cover networked applications by caching data transferred in a communication channel. A target process is executed by JPF, whereas its peer process runs on a regular virtual machine outside. However, non-deterministic target programs ...

Virtualization is an ongoing process that transforming daily activities and interactions. Such transformations will be reflected in irreversible changes the organization functioning of societies (socio-historical changes).Virtualization built by reconstructing information communication functions set us apart as human beings are specific to our societies. This text deals with performance these b...

For a long time, the term virtualization implied talking about hypervisor-based virtualization. However, in the past few years container-based virtualization got mature and especially Docker gained a lot of attention. Hypervisor-based virtualization provides strong isolation of a complete operating system whereas container-based virtualization strives to isolate processes from other processes a...

Wireless Sensor Network (WSN) is leading to a new paradigm of Internet of Everything (IoE). WSNs have a wide range of applications but are usually deployed in a particular application. However, the future of WSNs lies in the aggregation and allocation of resources, serving diverse applications. WSN virtualization by the middleware is an emerging concept that enables aggregation of multiple inde...

Cloud computing is an amazing technology that uses an internet and central remote server to maintain data in different applications .This technology allows delivery of computing resources over the internet. Cloud offers scalability, availability, elasticity and multitenancy.The most fundamental issue in cloud computing is virtualization .Virtualization is a technique which allows to run multipl...

As IT industry is shifting to cloud computing, virtualization has become the key enabling technology for server consolidation and elastic resource management in cloud infrastructures. On the other hand, increasing networking demands of cloud workloads is driving network speed rapidly migrate to 10Gbps and beyond. High speed networks require general purpose servers to provide highly efficient ne...

Recently, data centres have been called out for their particularly high energy consumption, which already accounts for 1.5% of the total global electricity consumption and is among the world’s fastest growing energy consumptions. To reduce the data centres’ environmental impacts, technologies such as free cooling and sustainable power sources are used. Another newly developed strategy to improv...

As the rapid development of virtualization technology, traditional data centers are gradually superseding physical machines with virtual machines (VMs) to provide services. Virtual machines hosting different applications (e.g. database server, mail server) run on the same physical host. Apart from improving hardware utilization, virtualization enables migrating applications seamlessly to a diff...