263 resultater (0,36957 sekunder)

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Formal Verification of Floating-Point Hardware Design - David M. Russinoff - Bog - Springer Nature Switzerland AG - Plusbog.dk

Formal Verification of Floating-Point Hardware Design - David M. Russinoff - Bog - Springer Nature Switzerland AG - Plusbog.dk

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design, Second Edition advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating-point units over the course of more than two decades, during which the author was employed by several major microprocessor design companies. The theory is extended to the analysis of several algorithms and optimization techniques that are commonly used in commercial implementations of elementary arithmetic operations. As a basis for the formal verification of such implementations, high-level specifications of the basic arithmetic instructions of several major industry-standard floating-point architectures are presented, including all details pertaining to the handling of exceptional conditions. The methodology is illustrated in the comprehensive verification of a variety of state-of-the-art commercial floating-point designs developed by Arm Holdings. This revised edition reflects the evolving microarchitectures and increasing sophistication of Arm processors, and the variation in the design goals of execution speed, hardware area requirements, and power consumption. Many new results have been added to Parts I-III (Register-Transfer Logic, Floating-Point Arithmetic, and Implementation of Elementary Operations), extending the theory and describing new techniques. These were derived as required in the verification of the new RTL designs described in Part V.

DKK 901.00
1

Formal Verification of Floating-Point Hardware Design - David M. Russinoff - Bog - Springer Nature Switzerland AG - Plusbog.dk

Formal Verification of Floating-Point Hardware Design - David M. Russinoff - Bog - Springer Nature Switzerland AG - Plusbog.dk

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating-point units over the course of more than two decades, during which the author was employed by several major microprocessor design companies. The book consists of five parts, the first two of which present a rigorous exposition of the general theory based on the first principles of arithmetic. Part I covers bit vectors and the bit manipulation primitives, integer and fixed-point encodings, and bit-wise logical operations. Part II addresses the properties of floating-point numbers, the formats in which they are encoded as bit vectors, and the various modes of floating-point rounding. In Part III, the theory is extended to the analysis of several algorithms and optimization techniques that are commonly used in commercial implementations of elementary arithmetic operations. As a basis for the formal verification of such implementations, Part IV contains high-level specifications of correctness of the basic arithmetic instructions of several major industry-standard floating-point architectures, including all details pertaining to the handling of exceptional conditions. Part V illustrates the methodology, applying the preceding theory to the comprehensive verification of a state-of-the-art commercial floating-point unit. All of these results have been formalized in the logic of the ACL2 theorem prover and mechanically checked to ensure their correctness. They are presented here, however, in simple conventional mathematical notation. The book presupposes no familiarity with ACL2, logic design, or any mathematics beyond basic high school algebra. It will be of interest to verification engineers as well as arithmetic circuit designers who appreciate the value of a rigorous approach to their art, and is suitable as a graduate text in computer arithmetic.

DKK 689.00
1

Fintech, Small Business & the American Dream - Karen G. Mills - Bog - Springer Nature Switzerland AG - Plusbog.dk

Fintech, Small Business & the American Dream - Karen G. Mills - Bog - Springer Nature Switzerland AG - Plusbog.dk

Small businesses are the backbone of the U.S. economy. They are the biggest job creators and offer a path to the American Dream. But for many, it is difficult to get the capital they need to operate and succeed. In the Great Recession, access to capital for small businesses froze, and in the aftermath, many community banks shuttered their doors and other lenders that had weathered the storm turned to more profitable avenues. For years after the financial crisis, the outlook for many small businesses was bleak. But then a new dawn of financial technology, or “fintech,” emerged. Beginning in 2010, new fintech entrepreneurs recognized the gaps in the small business lending market and revolutionized the customer experience for small business owners. Instead of xeroxing a pile of paperwork and waiting weeks for an answer, small businesses filled out applications online and heard back within hours, sometimes even minutes. Banks scrambled to catch up. Technology companies like Amazon, PayPal, and Square entered the market, and new possibilities for even more transformative products and services began to appear. In Fintech, Small Business & the American Dream , former U.S. Small Business Administrator and Senior Fellow at Harvard Business School, Karen G. Mills, focuses on the needs of small businesses for capital and how technology will transform the small business lending market. This is a market that has been plagued by frictions: it is hard for a lender to figure out which small businesses are creditworthy, and borrowers often don’t know how much money or what kind of loan they need. New streams of data have the power to illuminate the opaque nature of a small business’ finances, making it easier for them to weather bumpy cash flows and providing more transparency to potential lenders. Mills charts how fintech has changed and will continue to change small business lending, and how financial innovation and wise regulation can restore a path to the American Dream. An ambitious book grappling with the broad significance of small business to the economy, the historical role of credit markets, the dynamics of innovation cycles, and the policy implications for regulation, Fintech, Small Business & the American Dream is relevant to bankers, fintech investors, and regulators; in fact, anyone who is interested in the future of small business in America.

DKK 282.00
1

Small States and the Changing Global Order - - Bog - Springer Nature Switzerland AG - Plusbog.dk

The Dynamics of Small Solar System Bodies - Jeremy Wood - Bog - Springer Nature Switzerland AG - Plusbog.dk

Sub-National Governance in Small States - Eva Marin Hlynsdottir - Bog - Springer Nature Switzerland AG - Plusbog.dk

Small Molecules in Hematology - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Small States and the European Migrant Crisis - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Small State Behavior in Strategic and Intelligence Studies - Patrick C. Coaty - Bog - Springer Nature Switzerland AG - Plusbog.dk

A Course on Small Area Estimation and Mixed Models - Maria Dolores Esteban - Bog - Springer Nature Switzerland AG - Plusbog.dk

Small Modular Reactors as Renewable Energy Sources - Bahman Zohuri - Bog - Springer Nature Switzerland AG - Plusbog.dk

How Small Social Systems Work - Yair Neuman - Bog - Springer Nature Switzerland AG - Plusbog.dk

How Small Social Systems Work - Yair Neuman - Bog - Springer Nature Switzerland AG - Plusbog.dk

Most of us are intuitively familiar with small social systems, such as families and soccer teams. Surprisingly, though, most of us are unaware of how complex these systems are or of the fact that they have a unique character distinguishing them from both populations and individuals. The current manuscript, which emerged from high-level scientific publications on the subject, aims to bridge this gap in our understanding of small social systems. The book aims to explain, illustrate, and model the unique and fascinating nature of small (social) systems by relying on deep scientific foundations and by using examples from sport, movies, music, and the martial arts. To support its friendly exposition of challenging scientific ideas, the book also discusses entertaining questions such as (1) why inviting your mother-in-law to dinner might be a challenging event, for reasons you have never considered; (2) why soccer teams should be messy in order to win; (3) why Nazis are deeply wrong in their understanding of the importance of entropy; and (4) why "panda fighters" failed in the UFC (Ultimate Fighting Championship). "How Small Systems Work is a welcome book, which sheds light on a branch of mathematics overlooked by scholars: how networks store information. Focusing on small systems, the book asks fundamental questions, providing the tools (and the examples) for answering them -with fun. Neuman analyses, with plenty of humor, the dynamics of a family of cats, the pleasure of listening to jazz, and the science behind football championships, while uncovering hidden gems in the history of cinema" Dr. Mario Alemi, author of "The Amazing Journey of Reason: from DNA to Artificial Intelligence"

DKK 391.00
1

Small Electric Vehicles - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Evaluation in Small Development Non-Profits - Leanne M. Kelly - Bog - Springer Nature Switzerland AG - Plusbog.dk

The Maiden Voyage of Petrus van Stijn - Michael Charles Tobias - Bog - Springer Nature Switzerland AG - Plusbog.dk

The Maiden Voyage of Petrus van Stijn - Michael Charles Tobias - Bog - Springer Nature Switzerland AG - Plusbog.dk

Crisis Management for Small and Medium-Sized Enterprises (SMEs) - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Small Satellites and Sustainable Development - Solutions in International Space Law - Kiran Krishnan Nair - Bog - Springer Nature Switzerland AG -

Small Business Valuation Methods - Yannick Coulon - Bog - Springer Nature Switzerland AG - Plusbog.dk

Small-Angle Scattering (Neutrons, X-Rays, Light) from Complex Systems - Eugen Mircea Anitas - Bog - Springer Nature Switzerland AG - Plusbog.dk

Experimenting on a Small Planet - William W. Hay - Bog - Springer Nature Switzerland AG - Plusbog.dk

Experimenting on a Small Planet - William W. Hay - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book is a thorough introduction to climate science and global change. The author is a geologist who has spent much of his life investigating the climate of Earth from a time when it was warm and dinosaurs roamed the land, to today''s changing climate. Bill Hay takes you on a journey to understand how the climate system works. He explores how humans are unintentionally conducting a grand uncontrolled experiment which is leading to unanticipated changes. We follow the twisting path of seemingly unrelated discoveries in physics, chemistry, biology, geology, and even mathematics to learn how they led to our present knowledge of how our planet works. He explains why the weather is becoming increasingly chaotic as our planet warms at a rate far faster than at any time in its geologic past. He speculates on possible future outcomes, and suggests that nature itself may make some unexpected course corrections. Although the book is written for the layman with little knowledge of science or mathematics, it includes information from many diverse fields to provide even those actively working in the field of climatology with a broader view of this developing drama. Experimenting on a Small Planet is a must read for anyone having more than a casual interest in global warming and climate change - one of the most important and challenging issues of our time. This new edition includes actual data from climate science into 2021. Numerous Powerpoint slides can be downloaded to allow lecturers and teachers to more effectively use the book as a basis for climate change education.

DKK 434.00
1

Endangered and Transformative Childhood in Caribbean Small Island Developing States - Aldrie Henry Lee - Bog - Springer Nature Switzerland AG -

Guide to Assembly Language - James T. Streib - Bog - Springer Nature Switzerland AG - Plusbog.dk

Guide to Assembly Language - James T. Streib - Bog - Springer Nature Switzerland AG - Plusbog.dk

This concise guide is designed to enable the reader to learn how to program in assembly language as quickly as possible. Through a hands-on programming approach, readers will also learn about the architecture of the Intel processor, and the relationship between high-level and low-level languages. This updated second edition has been expanded with additional exercises, and enhanced with new material on floating-point numbers and 64-bit processing. Topics and features: provides guidance on simplified register usage, simplified input/output using C-like statements, and the use of high-level control structures; describes the implementation of control structures, without the use of high-level structures, and often with related C program code; illustrates concepts with one or more complete program; presents review summaries in each chapter, together with a variety of exercises, from short-answer questions to programming assignments; covers selection and iteration structures, logic, shift, arithmetic shift, rotate, and stack instructions, procedures and macros, arrays, and strings; includes an introduction to floating-point instructions and 64-bit processing; examines machine language from a discovery perspective, introducing the principles of computer organization. A must-have resource for undergraduate students seeking to learn the fundamentals necessary to begin writing logically correct programs in a minimal amount of time, this work will serve as an ideal textbook for an assembly language course, or as a supplementary text for courses on computer organization and architecture. The presentation assumes prior knowledge of the basics of programming in a high-level language such as C, C++, or Java.

DKK 434.00
1