LEADER 05576nam 2200685Ia 450 001 9910784235303321 005 20200520144314.0 010 $a1-281-01500-8 010 $a9786611015008 010 $a0-08-049837-X 035 $a(CKB)1000000000341416 035 $a(EBL)297163 035 $a(OCoLC)437182291 035 $a(SSID)ssj0000078264 035 $a(PQKBManifestationID)11125552 035 $a(PQKBTitleCode)TC0000078264 035 $a(PQKBWorkID)10081399 035 $a(PQKB)10920379 035 $a(Au-PeEL)EBL297163 035 $a(CaPaEBR)ebr10180931 035 $a(CaONFJC)MIL101500 035 $a(OCoLC)162596264 035 $a(CaSebORM)9780080498379 035 $a(CaSebORM)9781558607712 035 $a(MiAaPQ)EBC297163 035 $a(EXLCZ)991000000000341416 100 $a20070406d2007 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aSystem-level design with Rosetta$b[electronic resource] /$fPerry Alexander 210 $aSan Francisco $cElsevier/Morgan Kaufman$dc2007 215 $a1 online resource (375 p.) 225 1 $aMorgan Kaufmann series in systems on silicon 300 $aDescription based upon print version of record. 311 $a1-55860-771-4 320 $aIncludes bibliographical references (p. 339-341) and index. 327 $aFront Cover; System-Level Design with Rosetta; Copyright Page; Contents; Acknowledgments; Foreword; Preface; Part I: Introduction; Chapter 1. Introduction; 1.1 What is System-Level Specification?; 1.2 Rosetta's Design Goals; 1.3 Anatomy of a Specification; 1.4 Learning Rosetta; Part II: The Expression Language; Chapter 2. Items, Values, Types, and Declarations; 2.1 Labels, Values, and Types; 2.2 Item Declarations and Type Assertions; 2.3 Universal Operations; Chapter 3. Expressions; 3.1 Atomic Expressions; 3.2 Function Application; 3.3 Operator Application; 3.4 If Expressions 327 $a3.5 Case Expressions3.6 Let Expressions; 3.7 Compound Expressions; Chapter 4. Elemental Types; 4.1 The Boolean Type; 4.2 The Number Types; 4.3 The Character Type; 4.4 The Element Type; 4.5 The Top and Bottom Types; 4.6 Element Literals; 4.7 Operator Result Types; Chapter 5. Composite Types; 5.1 Type Formers; 5.2 Set Types; 5.3 Multiset Types; 5.4 Sequence Types; Chapter 6. Functions; 6.1 Direct Function Definition; 6.2 Function Values and Function Types; 6.3 Evaluating Functions; 6.4 Universally Quantified Parameters; Chapter 7. Higher-Order Functions; 7.1 Domain, Range, and Return Functions 327 $a7.2 Alternate Higher-Order Function Notation7.3 Minimum and Maximum; 7.4 Quantifiers and Comprehension; 7.5 Sequences and Higher-Order Functions; 7.6 Function Inclusion and Composition; Chapter 8. User-Defined Types; 8.1 Defining New Types; 8.2 Defining Types By Extension; 8.3 Defining Types By Comprehension; 8.4 Defining Constructed Types; 8.5 Functions as Type Definition Tools; Part III: The Facet Language; Chapter 9. Facet Basics; 9.1 A First Model - An AM Modulator; 9.2 Composing Models - Adding Constraints; 9.3 Combinational Circuits - A Simple Adder; 9.4 Defining State - A 2-bit Counter 327 $a9.5 Defining Structure - A 2-bit Adder9.6 Specification Reuse - Using Packages; 9.7 Abstract Specification - Architecture Definition; Chapter 10. Defining Facets; 10.1 Direct Facet Definition; 10.2 Separable Definitions; 10.3 Facets and Hardware Description Languages; 10.4 Facet Styles; 10.5 Scoping Rules; 10.6 Basics of Facet Semantics; Chapter 11. Packages, Libraries, and Components; 11.1 Packages; 11.2 Libraries; 11.3 Components; Part IV: Domains and Interactions; Chapter 12. Domains; 12.1 Elements of a Domain; 12.2 The Standard Domains; 12.3 Domains and Facet Types; Chapter 13. Reflection 327 $a13.1 Template Expressions and AST Structures13.2 Interpreting AST Structures; 13.3 Domain Declarations; 13.4 Defining Engineering Domains; 13.5 Defining New Model-of-Computation Domains; 13.6 Defining New Unit-of-Semantics Domains; 13.7 Defining Ticked and Dereferencing Expressions; 13.8 Consistent Domain Extension; Chapter 14. The Facet Algebra; 14.1 Facet Products and Sums; 14.2 Facet Homomorphism and Isomorphism; 14.3 Conditional Expressions; 14.4 Let Expressions; 14.5 Higher-Order Facets; Chapter 15. Domain Interactions; 15.1 Projection Functions, Functors, and Combinators 327 $a15.2 Defining Interactions 330 $aThe steady and unabated increase in the capacity of silicon has brought the semiconductor industry to a watershed challenge. Now a single chip can integrate a radio transceiver, a network interface, multimedia functions, all the ""glue"" needed to hold it together as well as a design that allows the hardware and software to be reconfigured for future applications. Such complex heterogeneous systems demand a different design methodology. A consortium of industrial and government labs have created a new language and a new design methodology to support this effort. Rosetta permits designers t 410 0$aMorgan Kaufmann series in systems on silicon. 606 $aIntegrated circuits$xComputer-aided design 606 $aMicroelectronics 615 0$aIntegrated circuits$xComputer-aided design. 615 0$aMicroelectronics. 676 $a621.3815 700 $aAlexander$b Perry$01470781 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910784235303321 996 $aSystem-level design with Rosetta$93682838 997 $aUNINA LEADER 05021nam 2200757Ia 450 001 9910962663603321 005 20200520144314.0 010 $a9781283637008 010 $a1283637006 010 $a9780826351234 010 $a0826351239 035 $a(CKB)2670000000176715 035 $a(EBL)1119025 035 $a(OCoLC)817819497 035 $a(SSID)ssj0000645914 035 $a(PQKBManifestationID)11442319 035 $a(PQKBTitleCode)TC0000645914 035 $a(PQKBWorkID)10701091 035 $a(PQKB)11203962 035 $a(MiAaPQ)EBC1119025 035 $a(OCoLC)792944544 035 $a(MdBmJHUP)muse17716 035 $a(Au-PeEL)EBL1119025 035 $a(CaPaEBR)ebr10554407 035 $a(CaONFJC)MIL394946 035 $a(Perlego)1588463 035 $a(EXLCZ)992670000000176715 100 $a20110928d2012 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe future of Indian and federal reserved water rights $ethe Winters Centennial /$fedited by Barbara Cosens and Judith V. Royster 205 $a1st ed. 210 $aAlbuquerque $cUniversity of New Mexico Press$dc2012 215 $a1 online resource (387 p.) 300 $a"The conference, "The Winters Centennial: Will Its Commitment to Justice Endure?", was held June 9-12, 2008, at the Santa Ana Pueblo in New Mexico ... This book represents much of the discussion that took place over the two and a half days of the conference and includes additional articles submitted by experts in the field." 311 08$a9780826351227 311 08$a0826351220 320 $aIncludes bibliographical references and index. 327 $aThe legacy of Winters v. United States and the Winters Doctrine, one hundred years later / Barbara Cosens -- The primary cases of the reserved rights doctrine: reenactments of the oral arguments / remarks of Thomas G. Fredericks, G. Emlen Hall, Edwin S. Kneedler, Joseph P. Mazurek, Mason Morisset, Jerome C. Muys, A. Dan Tarlock, and Jeanne S. Whiteing -- Winters in its historical context / remarks of Patricia Limerick and John Shurts -- Winters and the contemporary landscape / John E. Thorson -- One hundred years after Winters: the immovable object of tribes' reserved water meets the irresistible force of states' reserved rights under the equal footing doctrine / Richard Monette -- Indian water rights: the era of settlement / Jeanne S. Whiteing -- Post-decree administration of Indian water rights in multijurisdictional settings / Michael C. Nelson -- Results following litigation: the Wind River Tribes/Big Horn River / remarks of Craig Alexander, Gordon Jeff Fassett, and Susan Williams -- The Pyramid Lake Paiute water rights / remarks of Joe Ely -- The boundaries of Winters' when the courts alone are not enough to protect Indian reserved rights / Scott W. Williams -- The Fort Belknap water compact / remarks of John Allen, Woldezion Mesghinna, and Chris Tweeten -- Winters in Salmon country: the Nez Perce Tribe instream flow claims / Mark Solomon -- Off-reservation instream flows: the Nez Perce Settlement / remarks of Michael Bogert, Duane T. Mecham, Rebecca Miles, and Steven Moore -- Litigation versus settlement in non-Indian federal reserved rights / remarks of Susan Cottingham, James DuBois, and John Leshy -- A new deal for a 1933 water right: the Black Canyon of the Gunnison instream flow controversy / Reed D. Benson -- The future of Winters / remarks of Michael Bogert, Barbara Cosens, Philip S. Sam Deloria, John Echohawk, David Getches, John Leshy, and Jeanne S. Whiteing -- Will the Winters commitment to justice endure? it depends on us / remarks of Regis Pecos. 330 $aIn this detailed collection of essays, lawyers, historians, and tribal leaders explore the nuances of the Winters Doctrine. 606 $aWater rights$zWest (U.S.)$vCongresses 606 $aIndians of North America$xLegal status, laws, etc$zWest (U.S.)$vCongresses 606 $aIndians of North America$xLegal status, laws, etc$vCases 606 $aIndians of North America$zWest (U.S.)$xClaims$vCongresses 606 $aWater rights$zMilk River (Mont. and Alta.)$xHistory$vCongresses 606 $aIndians of North America$zMontana$xClaims$xHistory$vCongresses 615 0$aWater rights 615 0$aIndians of North America$xLegal status, laws, etc. 615 0$aIndians of North America$xLegal status, laws, etc. 615 0$aIndians of North America$xClaims 615 0$aWater rights$xHistory 615 0$aIndians of North America$xClaims$xHistory 676 $a346.7804/32 701 $aCosens$b Barbara$f1955-$01806583 701 $aRoyster$b Judith V$01806584 712 12$a"The Winters Centennial: Will Its Commitment to Justice Endure?" 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910962663603321 996 $aThe future of Indian and federal reserved water rights$94355836 997 $aUNINA LEADER 06340nam 22006735 450 001 996691662603316 005 20251103114909.0 010 $a9789819510214$b(electronic bk.) 010 $z9789819510207 024 7 $a10.1007/978-981-95-1021-4 035 $a(MiAaPQ)EBC32388999 035 $a(Au-PeEL)EBL32388999 035 $a(CKB)42018248800041 035 $a(OCoLC)1549523560 035 $a(DE-He213)978-981-95-1021-4 035 $a(EXLCZ)9942018248800041 100 $a20251103d2026 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAdvanced Parallel Processing Technologies $e16th International Symposium, APPT 2025, Athens, Greece, July 13-16, 2025, Proceedings /$fedited by Chao Li, Xuehai Qian, Dimitris Gizopoulos, Boris Grot 205 $a1st ed. 2026. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2026. 215 $a1 online resource (598 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v16062 311 08$aPrint version: Li, Chao Advanced Parallel Processing Technologies Singapore : Springer,c2025 9789819510207 327 $a -- Best Paper Candidates -- DACO: Unlocking Latent Dataflow Opportunities in Edge-side SIMT Accelerators -- ATLAS: Efficient Dynamic GNN System through Abstraction-Driven Incremental Execution -- Segmentation-Aware Optimization of Collective for Waferscale Chips -- Area-Efficient Automated Logic Design with Monte-Carlo Tree Search -- Chip and Accelerators -- NFMap: Node Fusion Optimization for Efficient CGRA Mapping with Reinforcement Learning -- A Unified Synthesis Framework for Dataflow Accelerators through Multi-Level Software and Hardware Intermediate Representations -- Defect-aware Task Scheduling and Mapping for Redundancy-Enhanced Spatial Accelerators -- Irregular Sparsity-Enabled Search-In-Memory Engine for Accelerating Spiking Neural Networks -- Memory and Storage -- QRAMsim: Efficiently Simulating, Analyzing, and Optimizing Large-scale Quantum Random Access Memory -- CeDMA: Enhancing Memory Efficiency of Heterogeneous Accelerator Systems Through Central DMA Controlling -- PAMM: Adaptive Memory Management for CXL-/UB-Based Heterogeneous Memory Pooling Systems -- STAMP: Accelerating Second-order DNN Training Via ReRAM-based Processing-in-Memory Architecture -- Cloud and Networking -- Cochain: Architectural Support Mechanism for Blockchain-based Task Scheduling -- DyQNet: Optimizing Dynamic Entanglement Routing with Online Request in Quantum Network -- Veyth: Adaptive Container Placement for Optimizing Cross-Server Network Traffic of Microservice Applications -- Design for LLM and ML/AI -- Unifying Two Operators with One PIM: Leveraging Hybrid Bonding for Efficient LLM Inference -- AsymServe: Demystifying and Optimizing LLM Serving Efficiency on CPU Acceleration Units -- SparseTem: Boosting the Efficiency of CNN-Based Video Encoders by Exploiting Temporal Continuity -- TokenSim: Enabling Hardware and Software Exploration for Large Language Model Inference Systems -- Big Data and Graph Processing -- Achieving Efficient Temporal Graph Transformation on the GPU -- GASgraph: A GPU-accelerated Streaming Graph Processing System based on SubHPMAs -- Accelerating Large-Scale Out-of-GPU-Core GNN Training with Two-Level Historical Caching -- Understand Data Preprocessing for Effective End-to-End Training of DNN -- Secure and Dependable System -- TwinStore: Secure Key-Value Stores Made Faster with Hybrid Trusted/Untrusted Storage -- The Future of Fully Homomorphic Encryption: from a Storage I/O Perspective -- LASM: A Lightweight and General TEE Secure Monitor Framework -- Identifying Potential Anomalous Operations in Graph Neural Network Training -- APPT Posters -- DraEC: A Decentralized Routing Algorithm in Erasure-Coded Deduplication System -- Spatial-Aware Orchestration of LLM Attention on Waferscale Chips -- ACLP: Towards More Accurate Loop Prediction for High-Performance Processors -- DSL-SGD: Distributed Local Stochastic Gradient Descent with Delayed Synchronization -- Exploiting Large Language Models for Software-Defined Solid-State Drives Design -- Comber: QoS-aware and Efficient Deployment for Co-located Microservices and Best-Effort Tasks in Disaggregated Datacenters -- NISA-DV: Verification Framework for Neuromorphic Processors with Customized ISA -- Lembda: Optimizing LLM Inference on Embedded Platforms via CPU/FPGA Co-Processing -- QDLoRA: Enhanced LoRA Fine-Tuning on Quantized LLMs via Integrated Low-Rank Decomposition. 330 $aThis book constitutes the refereed proceedings of the 16th International Symposium on Advanced Parallel Processing Technologies, APPT 2025, held in Athens, Greece, during July 13?16, 2025. The 17 full papers and 10 short papers included in this book were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows: Chip and Accelerators, Memory and Storage, Cloud and Networking, Design for LLM and ML/AI, Big Data and Graph Processing, and Secure and Dependable System. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v16062 606 $aSoftware engineering 606 $aOperating systems (Computers) 606 $aComputer systems 606 $aComputers, Special purpose 606 $aArtificial intelligence 606 $aSoftware Engineering 606 $aOperating Systems 606 $aComputer System Implementation 606 $aSpecial Purpose and Application-Based Systems 606 $aArtificial Intelligence 615 0$aSoftware engineering. 615 0$aOperating systems (Computers) 615 0$aComputer systems. 615 0$aComputers, Special purpose. 615 0$aArtificial intelligence. 615 14$aSoftware Engineering. 615 24$aOperating Systems. 615 24$aComputer System Implementation. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aArtificial Intelligence. 676 $a004.35 700 $aLi$b Chao$01214837 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a996691662603316 996 $aAdvanced Parallel Processing Technologies$94466502 997 $aUNISA