02840nam 22004573 450 991086198820332120230817184955.01-4503-7273-2(CKB)4100000011919185(MiAaPQ)EBC6954891(Au-PeEL)EBL6954891(OCoLC)1314618454(EXLCZ)99410000001191918520220421d2019 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierConcurrencySan Rafael :Morgan & Claypool Publishers,2019.©2019.1 online resource (367 pages)Intro -- Contents -- Preface -- Photo and Text Credits -- Introduction -- The Computer Science of Concurrency: The Early Years -- PART I. TECHNICAL PERSPECTIVES ON LAMPORT'SWORK -- 1. Shared Memory and the Bakery Algorithm -- 2. The Notions of Time and Global State in a Distributed System -- 3. Byzantine Faults -- 4. State Machine Replication with Benign Failures -- 5. Formal Specification and Verification -- 6. Biography -- PART II. SELECTED PAPERS -- A New Solution of Dijkstra's Concurrent Programming Problem -- Clocks, and the Ordering of Events in a Distributed System -- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs -- The Byzantine Generals Problem -- The Mutual Exclusion Problem: Part I-A Theory of Interprocess Communication -- The Mutual Exclusion Problem: Part II-Statement and Solutions -- The Part-Time Parliament -- References -- Index -- Biographies -- Blank Page.This book is a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant. His works lay formal foundations for concurrent computations executed by interconnected computers. Some of the algorithms have become standard engineering practice for fault tolerant distributed computing - distributed systems that continue to function correctly despite failures of individual components. He also developed a substantial body of work on the formal specification and verification of concurrent systems, and has contributed to the development of automated tools applying these methods.ConcurrencyAlgorithmsComputer algorithmsComputer scientistsAlgorithms.Computer algorithms.Computer scientists.004.36Malkhi Dahlia1741586MiAaPQMiAaPQMiAaPQBOOK9910861988203321Concurrency4167669UNINA03557nam 2200997z- 450 991055758110332120220111(CKB)5400000000043837(oapen)https://directory.doabooks.org/handle/20.500.12854/76931(oapen)doab76931(EXLCZ)99540000000004383720202201d2021 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierMetal Additive Manufacturing - State of the Art 2020Basel, SwitzerlandMDPI - Multidisciplinary Digital Publishing Institute20211 online resource (208 p.)3-0365-1324-8 3-0365-1323-X Additive Manufacturing (AM), more popularly known as 3D printing, is transforming the industry. AM of metal components with virtually no geometric limitations has enabled new product design options and opportunities, increased product performance, shorter cycle time in part production, total cost reduction, shortened lead time, improved material efficiency, more sustainable products and processes, full circularity in the economy, and new revenue streams. This Special Issue of Metals gives an up-to-date account of the state of the art in AM.Technology: general issuesbicssc316L stainless-steel316LN3D printing5356-aluminumadditive manufacturingadditive manufacturing (AM)bioactive layersbiological origin hydroxyapatitecavity resonatorscold metal transfercold workingcranial mesh implantsdirect energy depositiondirected energy depositionelectron backscattered diffraction methodelectron beam meltingelectron beam melting (EBM)electron microscopyEN AW-7075filtersgrain selectionheat treatmentshot workinginjection moldinglaser-based powder bed fusion (L-PBF)magnesiummechanical propertiesmetal powder bed fusionmicrostructuremicrowaven/aplatingporositypost-processingpowder bed fusionpowder methodsprocess windowproduction toolsradio-frequency magnetron sputteringrapid toolingresidual stressesscanning electron microscopyselective laser meltingsingle crystalstainless steelstereolithographysupport structure removabilitysupport structurestemperature distributionthermal expansionthree-dimensional printingTi-6Al-4Vultimate tensile strengthWAAMwire arc additive manufacturingTechnology: general issuesAsnafi Naderedt1324444Asnafi NaderothBOOK9910557581103321Metal Additive Manufacturing - State of the Art 20203036171UNINA