This book carefully details design tools and techniques for realizing low power and energy efficiency in a highly productive design methodology.

Important topics include:
- Microarchitectural techniques to reduce energy per operation
- Power reduction with timing slack from pipelining
- Analysis of the benefits of using multiple supply and threshold voltages
- Placement techniques for multiple supply voltages
- Verification for multiple voltage domains
- Improved algorithms for gate sizing, and assignment of supply and threshold voltages
- Power gating design automation to reduce leakage
- Relationships among tatistical timing, power analysis, and parametric yield optimization

Design examples illustrate that these techniques can improve energy efficiency by two to three times.

In 2007 The Design, Automation and Test in Europe (DATE) conference celebrated its tenth anniversary. As a tribute to the chip and system-level design and design technology community, this book presents a compilation of the three most influential papers of each year. This provides an excellent historical overview of the evolution of a domain that contributed substantially to the growth and competitiveness of the circuit electronics and systems industry.

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.

Meeting the growing demands for speed and quality in rendering computer graphics images requires new techniques. Practical parallel rendering provides one of the most practical solutions. This book addresses the basic issues of rendering within a parallel or distributed computing environment, and considers the strengths and weaknesses of multiprocessor machines and networked render farms for graphics rendering. Case studies of working applications demonstrate, in detail, practical ways of dealing with complex issues involved in parallel processing.

The year 2009 celebrates the bicentenary of Darwin's birth and the 150th - niversary of the publication of his seminal work, On the Origin of Species.If this makes 2009 a special year for the research community working in biology and evolution, the ?eld of evolutionary computation (EC) also shares the same excitement. EC techniques are e?cient, nature-inspired planning and optimi- tion methods based on the principles of natural evolution and genetics. Due to their e?ciency and simple underlying principles, these methods can be used in the context of problem solving, optimization, and machine learning. A large and ever-increasing number of researchers and professionals make use of EC te- niques in various application domains. ThisvolumepresentsacarefulselectionofrelevantECapplicationscombined with a thorough examination of the techniques used in EC. The papers in the volume illustrate the current state of the art in the application of EC and can help and inspire researchers and professionals to develop e?cient EC methods for design and problem solving.

As well as conveying a message in words and sounds, the speech signal carries information about the speaker's own anatomy, physiology, linguistic experience and mental state. These speaker characteristics are found in speech at all levels of description: from the spectral information in the sounds to the choice of words and utterances themselves.

This volume and its companion volume, LNAI 4441, constitute a state-of-the-art survey for the field of speaker classification. They approach the following questions: What characteristics of the speaker become manifest in his or her voice and speaking behavior? Which of them can be inferred from analyzing the acoustic realizations? What can this information be used for? Which methods are the most suitable for diversified problems in this area of research? How should the quality of the results be evaluated?

The 19 contributions to this volume comprise general and overview-like articles that are organized in topical sections on fundamentals, characteristics, applications, methods and features, as well as evaluation.

The 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5-9, 2007. The conference was organized by the Institute for Parallel Processing at the Bulgarian Academy of Sciences in cooperation with SIAM (Society for Industrial and Applied Ma- ematics). Partial support was also provided from project BIS-21++ funded by the European Commission in FP6 INCO via grant 016639/2005. The conference was devoted to the 60th anniversary of Richard E. Ewing. ProfessorEwingwasawardedthemedaloftheBulgarianAcademyofSciencesfor hiscontributionstotheBulgarianmathematicalcommunityandtotheAcademy ofSciences.Hiscareerspanned33years, primarilyinacademia, butalsoincluded industry. Since 1992 he worked at Texas A&M University being Dean of Science and Vice President of Research, as well as director of the Institute for Scienti?c Computation (ISC), which he founded in 1992. Professor Ewing is internati- ally well known with his contributions in applied mathematics, mathematical modeling, and large-scale scienti?c computations. He inspired a generation of researchers with creative enthusiasm for doing science on scienti?c compu- tions. The preparatorywork on this volume was almost done when the sad news came to us: Richard E. Ewing passed away on December 5, 2007 of an apparent heart attack while driving home from the o?ce.

Become smartphone savvy with Dummies Android Smartphones For Dummies is the all-new guide to Android phones with the familiar Dummies charm everyone loves. This book will give Android rookies a crash-course in how to use these popular phones. You'll go beyond the basics of texting and taking photos--we'll walk you through all the pro tips and tricks for customizing your phone, optimizing all your settings, using social media (safely), and making the most of apps and widgets. We'll even teach you how to make calls, because phones can still do that. Set up and customize your new Android phone Take stunning pictures, video, and even selfies Find the best apps to make your life easier and more fun Keep your data secure and private while you browse the internet New and inexperienced Android users will love the helpful, step-by-step guidance and friendly advice in Android Smartphones For Dummies.

Systems Management Server (SMS) 2003 provides a comprehensive solution for managing the Microsoft platform, enabling organizations to proactively manage their environment. SMS 2003 provides key capabilities likeApplication deployment Asset management Security patch management Remote user management Mobile systems management Integration of people, processes, and technology to help solve specific customer scenarios

"SMS 2003 Recipes: A Problem-Solution Approach" provides you with hundreds of quick-reference solutions. It addresses a wide range of problems that all levels of SMS administrators have encountered. Some are simple beginning implementation solutions, while others address high-end automation techniques. The recipes in this book were selected to help you take your SMS environment to a new level of success.

This book constitutes the refereed proceedings of the 5th International Conference on Machines, Computations, and Universality, MCU 2007, held in Orleans, France, September 10-13, 2007.

The 18 revised full papers presented together with 9 invited papers were carefully reviewed and selected. The topics include Turing machines, register machines, word processing, cellular automata, tiling of the plane, neural networks, molecular computations, BSS machines, infinite cellular automata, real machines, and quantum computing.

Negli ultimi decenni il rapido sviluppo delle tecnologie IT ha influito in maniera determinante nella vita dell'uomo, trasformando, spesso inconsapevolmente il suo lavoro, le sue abitudini, il suo modo di interagire con il mondo che lo circonda. Il fenomeno della "globalizzazione" dei mercati e solo una delle trasformazioni che l'intero pianeta sta attraversando. Anche se i vantaggi derivanti dall'utilizzo delle moderne tecnologie di comunicazione ci facilitano nel lavoro e nella attivita ludiche e personali, molte sono le perplessita e i dubbi che attanagliano tutti coloro che le utilizzano. Se l'Information Technology rappresenta il "combustibile" indispensabile per la sopravvivenza delle aziende e delle attivita dell'uomo, nel contempo puo generare problematicita di grande rilievo. Il testo tratta alcune delle problematiche che destano preoccupazioni rilevanti nel mondo intero come il consumo energetico dei sistemi informatici (incontrollabili e inquinanti), il problema della garanzia della privacy e dell'integrita dei dati su Internet, l'utilizzo della rete Internet come strumento di controllo delle masse, la possibile sparizione degli attuali sistemi operativi che potranno essere sostituiti dal sistema operativo Web Operating System."

Evolutionary computation (EC) techniques are e?cient nature-inspired pl- ning and optimization methods based on the principles of natural evolution and genetics. Due to their e?ciency and the simple underlying principles, these methods can be used for a large number of problems in the context of problem solving, optimization, andmachinelearning. Alargeandcontinuouslyincreasing number of researchers and practitioners make use of EC techniques in many - plication domains. The book at hand presents a careful selection of relevant EC applications combined with thorough examinations of techniques for a successful application of EC. The presented papers illustrate the current state of the art in the application of EC and should help and inspire researchers and practitioners to develop e?cient EC methods for design and problem solving. All papers in this book were presented during EvoWorkshops 2005, which was a varying collection of workshops on application-oriented aspects of EC. Since 1999, the format of the EvoWorkshops has proved to be very successful and well representative of the advances in the application of EC. Consequently, over the last few years, EvoWorkshops has become one of the major events addressing the application of EC. In contrast to other large conferences in the EC ?eld, the EvoWorkshops focus solely on application aspects of EC and are an important link between EC research and the application of EC in a large variety of di?erent domain

This book presents the refereed joint proceedings of seven workshops on evolutionary computing, EvoWorkshops 2006, held in Budapest in April 2006. 65 revised full papers and 13 revised short papers presented were carefully reviewed and selected from a total of 149 submissions. The book is organized in topical sections including evolutionary bioinformatics, evolutionary computation in communications, networks, and connected systems, and more.

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 selected as the host of this conference due to its traditions in organizing international scienti?c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the ?fth in the series of these high-quality scienti?c conf- ences. In addition to the overall signi?cance of such a pan-European event, this year's conference was a special one due to historic reasons. The roots of EDCC date back to the moment when the Iron Curtain fell. Originally, two groups of scientists from di?erent European countries in Western and Eastern Europe - who were active in research and education related to dependability created a - joint forum in order to merge their communities as early as in 1989. This trend has continued up to today. This year's conference was the ?rst one where the overwhelming majority of the research groups belong to the family of European nations united in the European Union. During the past 16 years we observed that the same roots in all the professional, cultural and scienti?c senses led to a seamless integration of these research communities previously separated ar- ?cially for a long time. EDCC has become one of the main European platforms to exchange new - searchideasinthe?eldofdependability.

Thisvolumeconstitutestheproceedingsofthe2005 Advanced Research Working C- ference on Correct Hardware-like Design and Veri?cation Methods. CHARME 2005 washeldattheVictor sResidenz-Hotel, Saarbruck ] en, Germany,3 6October2005. CHARME2005wasthethirteenthinaseriesofworkingconferencesdevotedtothe developmentandtheuseofleading-edgeformaltechniquesandtoolsforthespeci?- tion, design and veri?cationof hardwareand hardware-likesystems. Previousconf- encesundertheCHARMEnamehavebeenheldinTurin(1991), Arles(1993), Fra- furt (1995), Montreal (1997), Bad Herrenalb (1999), Edinburgh (2001) and L Aquila (2003).Prioreventsintheserieswerestartedintheearlydaysofformalhardwarev- i?cation, and wereheld undervariousnamesin Darmstadt (1984), Edinburgh(1985), Grenoble(1986), Glasgow (1988), and Leuven(1989).It is nowwell established that CHARMEtakesplaceonodd-numberedyears, androtatesprimarilyinEurope.Itisthe biennialcounterpartofitssisterconferenceFMCAD, whichhastakenplaceeveryeven yearintheUSAsince1996. CHARME 2005 was sponsored by the IFIP TC10/WG10.5 Working Group on Design and Engineering of Electronic Systems and its Special Interest Group SIG- CHARME. It was organized by the Computer Science Department of Saarland University. Thisyear, twokindsofcontributionsweresolicited: (i)fullpapers, describingor- inalresearchwork, intendedforanoralplenarypresentation, (ii)shortpapers, descr- ingongoinglessmatureresearchworkintendedforpresentationaspostersorresearch prototypedemonstrations. Two very long sessions were allocated to poster and int- active presentations, with the aim of giving an emphasis on the working aspect of the working conference, where discussion of new or un?nished results and feedback are an essential aspect of the event.The community was extremely responsiveto this viewpoint: we received a total number of 79 submitted papers, out of which 21 long contributionsand 18 short contributionswere accepted for presentationat the conf- enceandinclusioninthisvolume.Allpapersreceivedaminimumofthreereviews. For the conferenceprogram outside the refereed talks we put emphasis on the - latedtopicsoftoolintegrationandpervasivesystemveri?cation.Thedayprecedingthe workingconferencefeaturedhands-ondemonstrationsfornumerousveri?cationtools; italsofeaturedatutorialonsystemveri?cationbymembersoftheVerisoftproject.The overall program of CHARME 2005 included an invited keynote address by Wolfram B] uttner on industrial processor veri?cation and a round table discussion about mixed techniquesforverylargehardware-softwaresystemsinitiatedwithaninvitedpresen- tionbyMasaharuImaiandAkiraKitajima. A quality conference such as CHARME results from the work of many people. We wish to thank the membersof the ProgramCommittee and the externalreviewers fortheirhardworkinevaluatingthesubmissionsandinselectinghighqualitypapers

Thepapersinthis volumewerepresentedatthe4thInternationalConferenceon Large-Scale Scienti?c Computations ICLSSC 2003. It was held in Sozopol, B- garia, June 4-8, 2003. The conference was organized and sponsored by the C- tral Laboratory for Parallel Processing at the Bulgarian Academy of Sciences. Support was also provided from the Center of Excellence "BIS 21" (funded by the European Commission), SIAM and GAMM. A co-organizer of this tra- tional scienti?c meeting was the Division of Numerical Analysis and Statistics of the University of Rousse. The success of the conference and the present volume in particular are the outcome of the joint e?orts of many colleagues from various institutions and organizations. First thanks to all the members of the Scienti?c Committee for their valuable contribution to forming the scienti?c face of the conference, as well as for their help in reviewing contributed papers. We would like to specially thank the organizers of the special sessions: R. Blaheta, N. Dimitrova, A. Ebel, K. Georgiev, O. Iliev, A. Karaivanova, H. Kosina, M. Krastanov, U. Langer, P. Minev, M. Neytcheva, M. Sch. afer, V. Veliov, and Z. Zlatev. We are also grateful to the sta? involved in the local organization. Special Events: - The conference was devoted to the 60th anniversary of Raytcho Lazarov. - During the conference, the nomination for the World Level of the Hall of Fame for Engineering, Science and Technology, HOFEST, was o?cially awarded to Owe Axelsson.

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 1965, Moore predicted that this trend would continue for the next 10 years. Despite being criticized for its unrealistic optimism, Moore s prediction has remained valid for far longer than even he imagined: today, chips built using state-- the-art techniques typically contain several million transistors. The advances in fabrication technology that have supported Moore s law for four decades have fuelled the computer revolution. However, this exponential increase in transistor density poses new design challenges to engineers and computer scientists alike. New techniques for managing complexity must be developed if circuits are to take full advantage of the vast numbers of transistors available. In this monograph we investigate both (i) the design of high-level languages for hardware description, and (ii) techniques involved in translating these hi- level languages to silicon. We propose SAFL, a ?rst-order functional language designedspeci?callyforbehavioralhardwaredescription, anddescribetheimp- mentation of its associated silicon compiler. We show that the high-level pr- erties of SAFL allow one to exploit program analyses and optimizations that are not employed in existing synthesis systems. Furthermore, since SAFL fully abstracts the low-leveldetails of the implementation technology, we show how it can be compiled to a range of di?erent design styles including fully synchronous design and globally asynchronous locally synchronous (GALS) circuits."

"ATL Server: High Performance C++ on .NET" is the only book on the market written by the same people who created the ATL Server library. Crivat, Grewal, Kumar and Leeall members of the ATL Server teamprovide a comprehensive look at the ATL Server library, which was designed for building high-end web applications and web services.

You won't find such in-depth information written anywhere else. (Even books about ISAPI do not provide insight on the very library designed to simplify its development!) From foundation concepts, to deeper discussion about extensibility and customization, "ATL Server: High Performance C++ on .NET" covers everything you want to know about the ATL Server framework.

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 development and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and hardware-like systems. Previous events in the 'CHARME' series were held in Edinburgh (2001), Bad Herrenalb (1999), Montreal (1997), Frankfurt (1995), Arles (1993) and - rin (1991). This series of meetings were organized in cooperation with IFIP WG 10.5and10.2.Priormeetings,stretchingbacktotheearliestdaysofformalha- wareveri?cationwereheldundervariousnamesinMiami(1990),Leuven(1989), Glasgow (1988), Grenoble (1986), Edinburgh (1985) and Darmstadt (1984). We now have a well-established convention whereby the European CHARME con- rence alternates with its biennial counterpart, the International Conference on Formal Methods in Computer-Aided Design(FMCAD),whichisheldinev- numbered years in the USA. CHARME 2003 took place during 21-24 October 2003 at the Computer Science Department of the University of L'Aquila, Italy. It was cosponsored by the IFIP TC10/WG10 Working Group on Design and Engineering of Electronic Systems. The CHARME 2003 scienti?c program was comprised of: - A morning Tutorial by Daniel Geist aimed at industrial and academic - terchange. - Two Invited Lectures by Wolfgang Roesner and Fabio Somenzi. - Regular Sessions, featuring 24 papers selected out of 65 submissions, r- ging from foundational contributions to tool presentations. - Short Presentations, featuring 8 short contributions accompanied by a short presentation. The conference, of course, also included informal tool demonstrations, not announced in the o?cial program.

GDI+ both wraps arcane API calls and extends them for much easier use. Programmers no longer have to make do with the familiar but simplistic VB 6.0 drawing model, nor do they have to dig down into the GDI API in order to get any real work done. In GDI+, Microsoft has come up with a complete, but still extensible, set of classes for all of the .NET programmers drawing needs.

GDI+ requires different techniques than the Windows GDI API, as it is completely stateless. "GDI+ Programming in C# and VB .NET" starts out with an explanation of GDI+ and how it relates to GDI. The book then dives deep into the GDI+ namespaces and classes. The book begins with basic drawing in the early chapters and then explains in an understandable manner more complex drawing techniques, including paths, gradients, alpha blends, matrix operations, and transformations.

Later chapters cover how to work with bitmaps and other images, as well as advanced drawing and printing techniques. The final two chapters are devoted to useful projects that show the subject matter of the previous chapters in real-world examples.

Throughout "GDI+ Programming in C# and VB .NET," author Nick Symmonds not only explains the different namespaces and classes relating to GDI+, but also takes the time to cover the best practices of graphics programming. Woven throughout the book are numerous examples that tie together different aspects of programming in .NET that teach programmers how to get the best possible speed and efficiency out of their code.

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on DNA-Based Computers, DNA7, held in Tampa, Florida, USA, in June 2001.The 26 revised full papers presented together with 9 poster papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on experimental tools, theoretical tools, probabilistic computational models, computer simulation and sequence design, algorithms, experimental solutions, nano-tech devices, biomimetic tools, new computing models, and splicing systems and membranes.

This book was originally published in 1995. At the time of publication, distributed file systems were monolithic and only supported single file abstractions. Network storage devices needed to be able to accommodate emerging information media such as digital audio and video, with data radically different in characteristics to traditional text and binary that file systems were optimised for. By combining emerging and traditional media, information could be recorded and presented in the most suitable way, and the value of a piece of information could be further enhanced by linking together related pieces. However composite data and cross-reference between data items raised a number of system issues that had not been addressed properly before. In this book Dr Lo defined a multi-service storage architecture that could meet the needs of existing and emerging applications and support multiple file abstractions. He also explored a number of related design issues.

The engineering life cycle for complex systems design and development requires the set-up of adequate and controlled processes involving different partners and disciplines. The design integration and the final physical/functional integration and qualification imply a high degree of cross-interaction among all partners.This book documents the outcome of a European project on distributed system environments by presenting the results of the user's requirements analysis and assessing the current available technology such as collaboration systems design, analysis, and verification; middleware; product data and workflow management; multicast communication; network QoS management; and groupware. Besides technical results, the book surveys and classifies existing products and tools for collaborative distributed systems engineering.

This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Large-Scale Scientific Computing, LSSC 2001, held in Sozopol, Bulgaria, in June 2001.The 7 invited full papers and 45 selected revised papers were carefully reviewed for inclusion in the book. The papers are organized in topical sections on robust preconditioning algorithms, Monte-Carlo methods, advanced programming environments for scientific computing, large-scale computations in air pollution modeling, large-scale computations in mechanical engineering, and numerical methods for incompressible flow.

This book constitutes the refereed proceedings of the 5th International Conference on Mobile Agents, MA 2001, held in Atlanta, GA, USA in December 2001.The 18 revised full papers presented were carefully reviewed and selected from 75 submissions. The papers are organized in topical sections on security, models and architectures, applications, communication, run-time support, and quantitative evaluation and benchmarking.