Choose an application

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

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.

Automatic theorem proving --- Engineering & Applied Sciences --- Computer Science --- Information Technology --- Software Engineering --- Computer science. --- Computer communication systems. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Software Engineering. --- Programming Techniques. --- Computer Communication Networks. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Software Engineering/Programming and Operating Systems. --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- 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 --- Network computers --- Informatics --- Science --- Programming --- Distributed processing --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory

Choose an application

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

Artificial intelligence --- Machine learning --- Computer networks

Choose an application

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

The surge of multicore processors coming into the market and on users' desktops has made parallel computing the focus of attention once again. This time, however, it is led by the industry, which ensures that multicore computing is here to stay. Nevertheless, there is still so much research work to be done in multicore hardware-software designs before consumer applications can leverage the benefits of this new paradigm. This e-book is being put forward as a platform for immediate collection of state-of-the-art technologies in both hardware and software designs for multicore computing. With the

Computer software --- Software engineering. --- Computer input-output equipment. --- Development.

Choose an application

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

This book covers new developments and advances in the field of Computational Strategies for next-generation computing. The contributing authors share diverse perspectives on and extensive discussions of issues concerning the theory, applications, and future prospects. Addressing computing methodologies, hardware information systems and networks, this interdisciplinary book will appeal to all scholars with an interest in computing methodologies, hardware information systems and networks. .

Computer hardware. --- Computer Communication Networks. --- Engineering. --- Computer Hardware. --- Computational Intelligence. --- Construction --- Industrial arts --- Technology --- Computer communication systems. --- Computational intelligence. --- Intelligence, Computational --- Artificial intelligence --- Soft computing --- 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 --- Distributed processing

Choose an application

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

System on Chip (SoC) platforms have become the de facto enabling technology for mobile multimedia personal communication and entertainment embedded systems. Among various architecture choices, application-specific instruction-set processors (ASIP) that incorporate sub-word parallelism provide a low-cost high-performance solution particularly suitable for manipulating short word-length multimedia data streams. Hardware Software Co-Design of a Multimedia SOC Platform is one of the first of its kinds to provide a comprehensive overview of the design and implementation of the hardware and software of an SoC platform for multimedia applications. Topics covered in this book range from system level design methodology, multimedia algorithm implementation, a sub-word parallel, single-instruction-multiple data (SIMD) processor design, and its virtual platform implementation, to the development of an SIMD parallel compiler as well as a real-time operating system (RTOS). Hardware Software Co-Design of a Multimedia SOC Platform is written for practitioner engineers and technical managers who want to gain first hand knowledge about the hardware-software design process of an SoC platform. It offers both tutorial-like details to help readers become familiar with a diverse range of subjects, and in-depth analysis for advanced readers to pursue further.

Electrical engineering --- Programming --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- multimedia --- hardware --- software engineering --- KI (kunstmatige intelligentie) --- CAD (computer aided design) --- architectuur (informatica) --- elektrische circuits