الصفحة 1
الصفحة 1
From Specification to Embedded Systems Application
Application documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), which was held in August 2005 in Manaus (Brazil) and sponsored by International Federation for Information Processing (IFIP). The topics which have been chosen for this working conference are very timely: design methodology, modeling, specification, software synthesis, power management, formal verification, testing, network, communication systems, distributed control systems, resource management and special aspects in system design.
Formal Methods for Mobile Computing ; 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005. SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.
Energy Efficient Servers : Blueprints for Data Center Optimization
The book includes a deep examination of different features used in processors, memory, interconnects, I/O devices, and other platform components. It outlines the power and performance impact of these features and the role firmware and software play in initialization and control. Using examples from cloud, HPC, and enterprise environments, the book demonstrates how various power management technologies are utilized across a range of server utilization. It teaches the reader how to monitor, analyze, and optimize their environment to best suit their needs. It shares optimization techniques used by data center administrators and system optimization experts at the world’s most advanced data centers.
Ad-Hoc, mobile, and wireless networks ; Vol.3738 ; 4th International conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005, Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Ad-Hoc Networks and Wireless, ADHOiNOW 2005, The papers discuss architectures, protocols, and algorithms for: access control, scheduling, ad hoc and sensor networks analytic methods and modelling for performance evaluation, characterization, optimization, auto-configuration, incentives and pricing, location awareness, discovery, dependence, and management, mesh networks, new applications, power management, power control, and energy-efficiency, quality-of-service, resource allocation, multimedia, routing (unicast, multicast, etc.), security and privacy, service discovery, systems and testbeds, wireless internet, and data management.
