Proceedings. Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) (IEEE Cat. No. 06EX1398)
2006 Edition, January 1, 2006 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

The following topics are dealt with: formal methods; model checking; rule-based hardware design; hardware verification; transaction level modeling; programming models; SoC-implemented architectures; time and clocks; and scheduling.

Water-Constrained Geographic Load Balancing in Data Centers
Volume PP - IEEE Computer Society

Spreading across many parts of the world and presently hard striking California, extended droughts could even potentially threaten reliable electricity production and local water supplies, both of which are critical for data center operation. While numerous efforts have been...

Phase–Reconfigurable Shuffle Optimization for Hadoop MapReduce
Volume PP - IEEE Computer Society

Hadoop MapReduce is a leading open source framework that supports the realization of the Big Data revolution and serves as a pioneering platform in ultra large amount of information storing and processing. However, tuning a MapReduce system has become a difficult work because a large...

Price-Sensitivity Aware Load Balancing for Geographically Distributed Internet Data Centers in Smart Grid Environment
Volume PP - IEEE Computer Society

In this paper, we investigate the problem of developing a geographical load balancing (GLB) scheme for distributed Internet data centers (IDCs) when they are price-makers in the deregulated electricity markets, i.e., GLB may impose impact on electricity prices in IDC locations due to...

Cost-Aware Multimedia Data Allocation for Heterogeneous Memory Using Genetic Algorithm in Cloud Computing
Volume PP - IEEE Computer Society

Recent expansions of Internet-of-Things (IoT) applying cloud computing have been growing at a phenomenal rate. As one of the developments, heterogeneous cloud computing has enabled a variety of cloud-based infrastructure solutions, such as multimedia big data. Numerous prior researches have...

AGATE: Adaptive Gray Area-based TEchnique to Cluster Virtual Machines with Similar Behavior
Volume PP - IEEE Computer Society

As cloud computing data centers grow in size and complexity to accommodate an increasing number of virtual machines, the scalability of monitoring and management processes becomes a major challenge. Recent research studies show that automatically clustering virtual machines that are...

A Holistic Approach to Distributed Dimensionality Reduction of Big Data
Volume PP - IEEE Computer Society

With the exponential growth of data volume, big data have placed an unprecedented burden on current computing infrastructure. Dimensionality reduction of big data attracts a great deal of attention in recent years as an efficient method to extract the core data which is smaller to...

Converged Network--Cloud Service Composition with End-to-End Performance Guarantee
Volume PP - IEEE Computer Society

The crucial role of networking in Cloud computing calls for federated management of both computing and networking resources for end-to-end service provisioning. Application of the Service-Oriented Architecture (SOA) in both Cloud computing and networking enables a...

Stability of Cloud-based UAV Systems Supporting Big Data Acquisition and Processing
Volume PP - IEEE Computer Society

Unmanned Aerial Vehicle (UAV) technology has been widely applied in both military and civilian applications. Recent researches on UAV systems feature in the dramatic augment of the variety and number of equipped sensors, which results in such an issue that multiple UAVs cannot...

Two-Aggregator Topology Optimization using Multiple Paths in Data Center Networks
Volume PP - IEEE Computer Society

In this paper we focus on the problem of data aggregation using two aggregators in a data center network, where the source racks are allowed to split their data and send to the aggregators using multiple paths. We show that the problem of finding a topology that minimizes aggregation...