Authors:Tomasz Plewa, Timur Linde, V. Gregory Weir,
Publisher: Springer
Keywords: adaptive, refinement, mesh, lecture, notes, science, engineering, sept, computational, workshop, theory, applications, proceedings, chicago, methods
Number of Pages: 554
Published: 2005-01-12
List price: $139.00
ISBN-10: 3540211470
ISBN-13: 9783540211471

The past two decades have seen an unprecedented rise of advanced numerical computations in science. At the forefront of these advances are adaptive mesh refinement (AMR) methods for solving multi-scale problems that arise in a wide range of scientific disciplines. Originally developed for computational fluid dynamics (CFD) applications these methods have propagated to fields as diverse as astrophysics, climate modeling, combustion, biophysics and many others. While the underlying models and equations used in these fields are very different, practitioners from diverse disciplines face many simi

Author: Robb Thompson
Publisher: Thomas Nelson
Keywords: power, hidden, refinement, solitary
Number of Pages: 190
Published: 2008-03-18
List price: $22.99
ISBN-10: 1599510294
ISBN-13: 9781599510293

In the frantic pace of everyday demands, finding even a few moments of quality "alone-time" for yourself is nearly impossible. Solitary Refinement shows you not only how to find precious time alone but to use it to catapult you to greater levels of health, happiness, and success. Not only do we crave and need time for ourselves but we must know how to make the most of it - to benefit ourselves as well as others. Whether you are always on the go or lonely in the middle of it all, Solitary Refinement shows you how to find and embrace alone-time using it productively to change your thoughts and

Author: Iain D. Craig
Publisher: Springer
Keywords: kernels, system, operating, refinement, formal
Number of Pages: 336
Published: 2007-07-25
List price: $119.00
ISBN-10: 1846289661
ISBN-13: 9781846289668

The kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation. The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. The formal refinement process ensures that the code meets the specification in a precise sense. Two kernels are specified and refined. The first is small and of the kind often used in embedded and real-time systems. It closely resembles t

Author: Richard Lyman Bushman
Publisher: Vintage
Keywords: cities, houses, persons, america, refinement
Number of Pages: 528
Published: 1993-08-31
List price: $18.95
ISBN-10: 0679744142
ISBN-13: 9780679744146

This lively and authoritative volume makes clear that the quest for taste and manners in America has been essential to the serious pursuit of a democratic culture. Spanning the material world from mansions and silverware to etiquette books, city planning, and sentimental novels, Richard L. Bushman shows how a set of values originating in aristocratic court culture gradually permeated almost every stratum of American society and served to prevent the hardening of class consciousness. A work of immense and richly nuanced learning, The Refinement of America newly illuminates every facet of both o

Author: Luca Aceto
Publisher: Cambridge University Press
Keywords: dissertations, computer, science, distinguished, algebras, refinement, process, action
Number of Pages: 283
Published: 1992-08-28
List price: $105.00
ISBN-10: 0521431115
ISBN-13: 9780521431118

Dr. Aceto studies the notion of action refinement in the setting of process description languages, together with behavioral equivalences for them and their associated proof systems. The presentation is organized into three parts. In the first, a semantic theory of processes based on atomic actions is used to give results that serve as a stepping stone toward the more complex theories needed to support action refinement. The core of the book then develops suitable notions of process equivalence for increasingly complex languages with operators for action refinement. This approach is used to hig

Authors:Ralph-Johan Back, Joakim Wright,
Publisher: Springer
Keywords: computer, science, texts, introduction, calculus, systematic, refinement
Number of Pages: 519
Published: 1998-04-13
List price: $149.00
ISBN-10: 0387984178
ISBN-13: 9780387984179

Much current research in computer science is concerned with two questions: is a program correct? and how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for t

Authors:Chao Wang, Gary D. Hachtel, Fabio Somenzi,
Publisher: Springer
Keywords: integrated, circuits, systems, checking, model, refinement, large, scale, abstraction
Number of Pages: 186
Published: 2006-07-20
List price: $119.00
ISBN-10: 0387341552
ISBN-13: 9780387341552

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today’s digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; s