Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The US, Europe, Japan and China are racing to develop the next generation of supercomputers - exascale machines capable of 10 to the 18th power calculations a second - by 2020. But the barriers are daunting: the challenge is to change the paradigm of high-performance computing.The 2012 biennial high performance workshop, held in Cetraro, Italy in June 2012, focused on the challenges facing the computing research community to reach exascale performance in the next decade. This book presents papers from this workshop, arranged into four major topics: energy, scalability, new architectural concep

High performance computing --- Supercomputers --- Heterogeneous computing --- Heterogeneous processing (Computers) --- Parallel processing (Electronic computers)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous infrastructures, including cloud, HPC and edge resources. The experts participating in the project describe how SODALITE works and how it can be exploited by end users. While multiple languages and tools are available in the literature to support DevOps teams in the automation of deployment and operation steps, still these activities require specific know-how and skills that cannot be found in average teams. The SODALITE framework tackles this problem by offering modelling and smart editing features to allow those we call Application Ops Experts to work without knowing low level details about the adopted, potentially heterogeneous, infrastructures. The framework offers also mechanisms to verify the quality of the defined models, generate the corresponding executable infrastructural code, automatically wrap application components within proper execution containers, orchestrate all activities concerned with deployment and operation of all system components, and support on-the-fly self-adaptation and refactoring.

Computer software --- Software engineering. --- Development --- Management. --- Computer software engineering --- Engineering --- Heterogeneous Computing --- Cloud, Edge --- HPC --- IaC --- DevOps --- Semantic Reasoning

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Software agents are the latest advance in the trend toward smaller, modular pieces of code, where each module performs a well-defined, focused task or set of tasks. Programmed to interact with and provide services to other agents, including humans, software agents act autonomously with prescribed backgrounds, beliefs, and operations. Systems of agents can access and manipulate heterogeneously stored data such as that found on the Internet. After a discussion of the theory of software agents, this book presents IMPACT (Interactive Maryland Platform for Agents Collaborating Together), an experimental agent infrastructure that translates formal theories of agency into a functional multiagent system that can extend legacy software code and application-specific or legacy data structures. The book describes three sample applications: a store, a self-correcting auto-pilot, and a supply chain.

Intelligent agents (Computer software) --- Heterogeneous computing. --- Computer Science --- Engineering & Applied Sciences --- Heterogeneous processing (Computers) --- Agents, Autonomous (Computer software) --- Agents, Cognitive (Computer software) --- Agents, Intelligent (Computer software) --- Assistants, Cognitive (Computer software) --- Assistants, Intelligent software --- Autonomous agents (Computer software) --- Cognitive agents (Computer software) --- Cognitive assistants (Computer software) --- IAs (Computer software) --- Intelligent agent software --- Intelligent software agents --- Intelligent software assistants --- Software agents (Computer software) --- Special agents (Computer software) --- High performance computing --- Parallel processing (Electronic computers) --- Artificial intelligence --- Computer programs --- Heterogeneous computing --- E-books --- COMPUTER SCIENCE/Robotics & Agents --- Computers --- Enterprise Applications --- Business Intelligence Tools. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Heterogeneous Wireless Access Networks provides a unified view of the state-of-the-art protocols and architectures for heterogeneous wireless networking. The chapters cover both the theoretical concepts and system-level implementation issues related to design, analysis, and optimization of architectures and protocols for heterogeneous wireless access networks. The readers will find a rich set of references at the end of each chapter to be very valuable. The book is an important resource for both researchers and practitioners in the field of wireless networks.

Computer storage devices. --- Heterogeneous computing. --- Wireless communication systems. --- Electrical & Computer Engineering --- Telecommunications --- Engineering & Applied Sciences --- Communication systems, Wireless --- Wireless data communication systems --- Wireless information networks --- Wireless telecommunication systems --- Heterogeneous processing (Computers) --- Engineering. --- Computer organization. --- Computer communication systems. --- Microwaves. --- Optical engineering. --- Electrical engineering. --- Communications Engineering, Networks. --- Computer Communication Networks. --- Microwaves, RF and Optical Engineering. --- Computer Systems Organization and Communication Networks. --- Telecommunication. --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Hertzian waves --- Electric waves --- Electromagnetic waves --- Geomagnetic micropulsations --- Radio waves --- Shortwave radio --- Electric communication --- Mass communication --- Telecom --- Telecommunication industry --- Communication --- Information theory --- Telecommuting --- Organization, Computer --- Electronic digital computers --- Mechanical engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Electric engineering --- Engineering --- Distributed processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems are now omnipresent in our life, and they may be found in several domains such as communications (ex. mobile terminals, optical switches), health (e.g. cardiac stimulators, cochlear implants), transportation (ex. automotive and aeronautical), etc. The main difficulties for their design are modelling and validation of the interactions between different components (hardware, software, analogue, RF, optical and micro-mechanical). Global Specification and Validation of Embedded Systems offers a deep understanding of concepts and practices behind the composition of heterogeneous components. After the analysis of existing computation and execution models used for the specification and validation of different sub-systems, the book introduces a systematic approach to build an execution model for systems composed of heterogeneous components. Mixed continuous/discrete and hardware/software systems will be used to illustrate these concepts. The benefit of reading this book is to give a clear vision on the theory and practice of specification and validation of complex modern systems. The examples give to the designers solutions applicable in their daily practice.

Embedded computer systems. --- Heterogeneous computing. --- Computer programs --- Validation. --- Validation of computer programs --- Validation of software --- Heterogeneous processing (Computers) --- High performance computing --- Parallel processing (Electronic computers) --- Embedded systems (Computer systems) --- Computer systems --- Architecture Analysis and Design Language --- Systems engineering. --- Information theory. --- Computer aided design. --- Computer simulation. --- Software engineering. --- Circuits and Systems. --- Theory of Computation. --- Computer-Aided Engineering (CAD, CAE) and Design. --- Simulation and Modeling. --- Special Purpose and Application-Based Systems. --- Computer software engineering --- Engineering --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Communication theory --- Communication --- Cybernetics --- Engineering systems --- System engineering --- Industrial engineering --- System analysis --- Design and construction --- Electronic circuits. --- Computers. --- Computer-aided engineering. --- Special purpose computers. --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Electronics --- Special purpose computers --- Computers --- CAE --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Machine theory --- Calculators --- Cyberspace --- Data processing