You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 17th International Conference on Compiler Construction, CC 2008, held in Budapest, Hungary, in March 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 17 revised full papers presented together with two invited papers and one tool demonstration were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on analysis and transformations, compiling for parallel architectures, runtime techniques and tools, analyses, and atomicity and transactions.
This book constitutes the proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering, FASE 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 22 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 80 submissions. They are organized in topical sections named: models and synthesis; testing and fault localization; modeling; verification; modeling and adaptation; and applications.
The advent of multicore processors has renewed interest in the idea of incorporating transactions into the programming model used to write parallel programs. This approach, known as transactional memory, offers an alternative, and hopefully better, way to coordinate concurrent threads. The ACI (atomicity, consistency, isolation) properties of transactions provide a foundation to ensure that con-current reads and writes of shared data do not produce inconsistent or incorrect results. At a higher level, a computation wrapped in a transaction executes atomically---either it completes successfully and commits its result in its entirety or it aborts. In addition, isolation ensures the transaction...
The advent of multicore processors has renewed interest in the idea of incorporating transactions into the programming model used to write parallel programs. This approach, known as transactional memory, offers an alternative, and hopefully better, way to coordinate concurrent threads. The ACI (atomicity, consistency, isolation) properties of transactions provide a foundation to ensure that concurrent reads and writes of shared data do not produce inconsistent or incorrect results. At a higher level, a computation wrapped in a transaction executes atomically - either it completes successfully and commits its result in its entirety or it aborts. In addition, isolation ensures the transaction ...
With the rapid advancement of corneal topography and wavefront technologies and the increased application of corneal topography not only in refractive but also in premium IOL surgery, a new edition of the best-selling Corneal Topography: A Guide for Clinical Application in the Wavefront Era will be the foremost resource for both ophthalmologists and optometrists. In this Second Edition, Dr. Ming Wang, Dr. Tracy Swartz and over 50 contributors combine the important topics of refractive and premium lens surgeries and put corneal topography in the context of wavefront technology. With over 500 images, this edition gives special attention to the latest advances in these technologies. The state-o...
Stressing total quality in all aspects of architectural practice, the J.J. Pan monograph features a rich collection of building types. According to Taiwanese architect, Joshua Jih Pan, such total quality includes at least design, service and delivery whi
The long-awaited, first Western-language reference guide, this work offers a wealth of information on writers, genres, literary schools and terms of the Chinese literary tradition from earliest times to the seventh century C.E.
This book constitutes the refereed proceedings of the international Joint Modular Languages Conference, JMLC 2006. The 23 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on languages, implementation and linking, formal and modelling, concurrency, components, performance, and case studies.
ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread of object technology. It is a collage of events, including outstanding invited speakers, carefully refereed technical - pers, practitioner reports re?ecting real-world experience, panels, topic-focused workshops, demonstrations, and an interactive posters session. The 18th ECOOP 2004 conference held during June 14–18, 2004 in Oslo, Norway represented another year of continued success in object-oriented p- gramming, both as a topic of academic study and as a vehicle for industrial software develo...
The world is anything but unfamiliar with diaspora: Jewish, African, Armenian, Roma-Gipsy, Filipino/a, Tamil, Irish or Italian, even Japanese. But few have carried so global a resonance as that of China. What, then, of literary-cultural expression, the huge body of fiction which has addressed itself to that plurality of lives and geographies and which has come to be known as “After China”? This collection of essays offers bearings on those written in English, and in which both memory and story are central, spanning the USA to Australia, Canada to the UK, Hong Kong to Singapore, with yet others of more transnational nature.This collection opens with a reprise of woman-authored Chinese Ame...