Book Description







Proceedings of the International Conference on Human-centric Computing 2011 and Embedded and Multimedia Computing 2011


Book Description

Proceedings of the International Conference on Human-centric Computing and Embedded and Multimedia Computing (HumanCom & EMC 2011) will cover topics of HumanCom and EMC, the current hot topics satisfying the world-wide ever-changing needs. Human-centric computing is to create novel solutions so that the humans are always connected, portable, and available. As with pervasive-computing, human-centric computing requires a variety of devices; however, such devices exist simply to obtain inputs from the human and are embedded in objects that humans interact with on a daily basis. Moreover, during the past couple of decades, Information Science technologies influenced and changed every aspect of our lives and our cultures. Without various Information Science technology-based applications, it would be difficult to keep information stored securely, to process information efficiently, and to communicate conveniently. Embedded computing ranges from portable devices such as digital watches and MP3 players, to large stationary installations like traffic lights, factory controllers, or the systems controlling nuclear power plants. Complexity varies from low, with a single microcontroller chip, to very high with multiple units, peripherals and networks mounted inside a large chassis or enclosure. Multimedia computing covers multimedia I/O devices, OS, storage systems, streaming media middleware, continuous media representations, media coding, media processing, etc., and also includes multimedia communications; real-time protocols, end-to-end streaming media, resource allocation, multicast protocols, and multimedia applications; databases, distributed collaboration, video conferencing, 3D virtual environments.




Software Architecture


Book Description

This book constitutes the refereed post-proceedings of the Third European Workshop on Software Architecture, EWSA 2006, held in France in September 2006. The 13 revised full research papers and five revised position papers presented together with one invited talk were carefully reviewed and selected. All current aspects of software architectures are addressed ranging from foundational and methodological issues to application issues of practical relevance.




Algorithms and Architectures for Parallel Processing


Book Description

This book constitutes the proceedings of the 10th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP. The 47 papers were carefully selected from 157 submissions and focus on topics for researchers and industry practioners to exchange information regarding advancements in the state of art and practice of IT-driven services and applications, as well as to identify emerging research topics and define the future directions of parallel processing.




Trusted Systems


Book Description

This book constitutes the proceedings of the International Conference on Trusted Systems, held in Beijing, China, in December 2009.




Network and Parallel Computing


Book Description

This book constitutes the refereed proceedings of the IFIP International Conference on Network and Parallel Computing, NPC 2005, held in Beijing, China in November/December 2005. The 48 revised full papers and 20 revised short papers presented together with 3 invited papers were carefully selected from a total of 320 submissions. The papers are organized in topical sections on grid and system software, grid computing, peer-to-peer computing, web techniques, cluster computing, parallel programming and environment, network architecture, network security, network storage, multimedia service, and ubiquitous computing.




Transactions on High-Performance Embedded Architectures and Compilers I


Book Description

Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. It publishes original research on systems targeted at specific computing tasks as well as systems with broad application bases. Its scope covers all aspects of computer architecture, code generation and compiler optimization methods.




Graph Drawing and Network Visualization


Book Description

This book constitutes revised selected papers from the 25th International Symposium on Graph Drawing and Network Visualization, GD 2017, held in Boston, MA, USA, in September 2017.The 34 full and 9 short papers presented in this volume were carefully reviewed and selected from 87 submissions. Also included in this book are 2 abstracts of keynote presentations, 16 poster abstracts, and 1 contest report. The papers are organized in topical sections named: straight-line representations; obstacles and visibility; topological graph theory; orthogonal representations and book embeddings; evaluations; tree drawings; graph layout designs; point-set embeddings; special representations; and beyond planarity.




Tests and Proofs


Book Description

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.