Personal computers Books

For the editors of this book, as well as for many other researchers in the area of fault-tolerant computing, Dr. William Caswell Carter is one of the key figures in the formation and development of this important field. We felt...

This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based...

This book constitutes the refereed proceedings of the 13th International Conference on Entertainment Computing, ICEC 2014, held in Sydney, Australia, in October 2013. The 20 full papers, 6 short papers and 8 posters presented were carefully reviewed and...

We have written this book principally for users and practitioners of computer graphics. In particular, system designers, independent software vendors, graphics system implementers, and application program developers need to...

This book constitutes the refereed proceedings of the 12th International Conference on Entertainment Computing, ICEC 2013, held in Sao Paulo, Brazil, in October 2013. The 13 full papers, 6 short papers, 11 posters presented were carefully reviewed and...

The First Conference on the History of Nordic Computing (HiNC1) was organized in Trondheim, in June 2003. The HiNC1 event focused on the early years of computing, that is the years from the 1940s through the 1960s, although it...

Hardware-intrinsic security is a young field dealing with secure secret key storage. By generating the secret keys from the intrinsic properties of the silicon, e.g., from intrinsic Physical Unclonable Functions (PUFs), no...

Before use, standard ERP systems such as SAP R/3 need to be customized to meet the concrete requirements of the individual enterprise. This book provides an overview of the process models, methods, and tools offered by SAP and...

This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for...

Konrad Zuse is one of the great pioneers of the computer age. He created thefirst fully automated, program controlled, freely programmable computer using binary floating-point calculation. It was operational in 1941. ...

Scalable Coherent Interface (SCI) is an innovative interconnect standard (ANSI/IEEE Std 1596-1992) addressing the high-performance computing and networking domain. This book describes in depth one specific application of SCI:...

Truly personal handheld and wearable technologies should be small and unobtrusive and allow access to information and computing most of the time and in most circumstance. Complimentary, environment-based technologies make...

The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, who were pre viously involved in research and teaching in the ?eld of fault...

This volume originates from the School on Embedded Systems held in Veldhoven, The Netherlands, in November 1996 as the first event organized by the European Educational Forum. Besides thoroughly reviewed and revised chapters...

This book constitutes the refereed proceedings of 10 international workshops held in conjunction with the merged 1998 IPPS/SPDP symposia, held in Orlando, Florida, US in March/April 1998. The volume comprises 118 revised full...

Die Direktmontage ungehäuster Halbleiter auf Substraten bringt als Systemintegrationsverfahren eine neue Qualität in die mikroelektronische Aufbau- und Verbindungstechnik. Für dieses Handbuch wurden die aktuellen Ergebnisse aus...

The objective of this workshop was to bring together engineers from industry and scientists from universities to focus attention on new developments and practical enhancements for using adaptive control in industry. The...

The object of this book is to present a systematic method for auxiliary signal design in fault detection and diagnosis. It covers systems that can be represented by linear or linearised multiple-input, multiple-output ...

While the present edition is bibliographically the third one of Vol. 8 of the Springer Series in Information Sciences (IS 8), the book actually stems from Vol. 17 of the series Communication and Cybernetics (CC 17), entitled...

In this second edition every chapter of the first edition of Pattern Analysis has been updated and expanded. The general view of a system for pattern analysis and understanding has remained unchanged, but many details have been...

This book constitutes the refereed proceedings of the International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2006, held in Vilnius, Lithuania in November 2006. The 29 revised full...

It was a wager, but it has worked. MobileH CIuse dt obe a w orkshop,of ten heldi n conjunction with other events. Instead, this time it was a true symposium. I felt there was a need for this change because ofth e ever ...

Ubiquitous computing is coming of age. In the few short years of the lifetime of this conference, we have seen major changes in our emerging research community. When the conference started in 1999, as Handheld and Ubiquitous...

The International Workshop on Power and Timing Modeling, Optimization, and Simulation PATMOS 2002, was the 12th in a series of international workshops 1 previously held in several places in Europe. PATMOS has over the years...

This thesis is a summary of my work as a research assistant in the Computer Engineering Research Group of the Computer Science Department at Brandenburg Technical University, Cottbus, Germany. It embraces the concepts,...

This book constitutes the refereed proceedings of the Third International Conference on Ubiquitous Computing, Ubicomp 2001, held in Atlanta, GA, USA in September/October 2001. The 14 revised full papers and 15 revised technical...

The Internet has now become an integral part of everyday life for hundreds of millions of people around the world. The uses of the Internet have augmented commerce, communication, education, governance, entertainment, health...

The SAMOS workshop is an international gathering of highly quali?ed researchers from academia and industry, sharing in a 3-day lively discussion on the quiet and - spiring northern mountainside of the Mediterranean island of...

Context-awareness is one of the drivers of the ubiquitous computing paradigm. Well-designed context modeling and context retrieval approaches are key p- requisites in any context-aware system. Location is one of the primary...

It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European research area. Budapest was...

Twenty years ago, informatics was introduced as a compulsory subject in A- trian secondary schools. During this period informatics has experienced drastic evolutions and even some shifts of paradigms. This applies to an even...

Digital cities constitutes a multidisciplinary field of research and development, where researchers, designers and developers of communityware interact and collaborate with social scientists studying the use and effects of...

These are the proceedings of the ?fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA. The conference provides a forum for presenting state-of-the-art...

In the mid 1960s, when a single chip contained an average of 50 transistors, Gordon Moore observed that integrated circuits were doubling in complexity every year. In an in?uential article published by Electronics Magazine in...

This volume contains the proceedings of CHARME 2003, the12th Advanced - search Working Conference on Correct Hardware Design and Veri?cation - thods. CHARME 2003 continues the series of working conferences devoted to the...

Applications of communication networks lead to radical changes in human life. Fieldbus technology is part of this development acting in close connection to systems control and in critical domains. Equipped with sensitive...

New manufacturing technologies have made possible the integration of entire systems on a single chip. This new design paradigm, termed system-on-chip (SOC), together with its associated manufacturing problems, represents a real...

The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation for describing hardware. VHDL is the result of a collaborative effort between IBM, Intermetrics, and Texas Instruments; sponsored...

Describing and designing complex electronic systems has become an overwhelming activit)' for which VHDL is showing increasingly useful and promising support. Although created as a description language. VHDL is being ...

A Guide to VHDL, Second Edition is intended for the working engineer who needs to develop, document, simulate, and synthesize a design using the VHDL language. It is for system and chip designers who are working with VHDL CAD...

Model Generation in Electronic Design covers a wide range of model applications and research. The book begins by describing a model generator to create component models. It goes on to discuss ASIC design and ASIC library...

An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally...