05392nam 2200673 450 991045243120332120210827104158.00-12-407918-0(CKB)2550000001128737(EBL)1463412(OCoLC)865330420(SSID)ssj0001137425(PQKBManifestationID)11666356(PQKBTitleCode)TC0001137425(PQKBWorkID)11119504(PQKB)10124614(MiAaPQ)EBC1463412(CaSebORM)9780124080829(Au-PeEL)EBL1463412(CaPaEBR)ebr10780903(CaONFJC)MIL529371(OCoLC)860906302(EXLCZ)99255000000112873720131107h20142014 uy| 0engur|n|---|||||txtccrThe definitive guide to ARM Cortex-M3 and Cortex-M4 processors /Joseph Yiu, ARM Ltd., Cambridge, UKThird edition.Amsterdam :Newnes/Elsevier,[2014]©20141 online resource (1055 p.)Description based upon print version of record.0-12-408082-0 1-299-98120-8 Includes bibliographical references and index.Front Cover; The Definitive Guide to ARM® Cortex®-M3 and Cortex-M4 Processors; Copyright; Contents; Foreword; Preface; Synopsis; About this Book; Contributor Bio-Paul Beckmann; Acknowledgments; Terms and Abbreviations; Conventions; Chapter 1 - Introduction to ARM® Cortex®-M Processors; 1.1 What are the ARM® Cortex®-M processors?; 1.2 Advantages of the Cortex®-M processors; 1.3 Applications of the ARM® Cortex®-M processors; 1.4 Resources for using ARM® processors and ARM microcontrollers; 1.5 Background and history; Chapter 2 - Introduction to Embedded Software Development2.1 What are inside typical ARM® microcontrollers?2.2 What you need to start; 2.3 Software development flow; 2.4 Compiling your applications; 2.5 Software flow; 2.6 Data types in C programming; 2.7 Inputs, outputs, and peripherals accesses; 2.8 Microcontroller interfaces; 2.9 The Cortex® microcontroller software interface standard (CMSIS); Chapter 3 - Technical Overview; 3.1 General information about the Cortex®-M3 and Cortex-M4 processors; 3.2 Features of the Cortex®-M3 and Cortex-M4 processors; Chapter 4 - Architecture; 4.1 Introduction to the architecture; 4.2 Programmer's model4.3 Behavior of the application program status register (APSR)4.4 Memory system; 4.5 Exceptions and interrupts; 4.6 System control block (SCB); 4.7 Debug; 4.8 Reset and reset sequence; Chapter 5 - Instruction Set; 5.1 Background to the instruction set in ARM® Cortex®-M processors; 5.2 Comparison of the instruction set in ARM® Cortex®-M processors; 5.3 Understanding the assembly language syntax; 5.4 Use of a suffix in instructions; 5.5 Unified assembly language (UAL); 5.6 Instruction set; 5.7 Cortex®-M4-specific instructions; 5.8 Barrel shifter5.9 Accessing special instructions and special registers in programmingChapter 6 - Memory System; 6.1 Overview of memory system features; 6.2 Memory map; 6.3 Connecting the processor to memory and peripherals; 6.4 Memory requirements; 6.5 Memory endianness; 6.6 Data alignment and unaligned data access support; 6.7 Bit-band operations; 6.8 Default memory access permissions; 6.9 Memory access attributes; 6.10 Exclusive accesses; 6.11 Memory barriers; 6.12 Memory system in a microcontroller; Chapter 7 - Exceptions and Interrupts; 7.1 Overview of exceptions and interrupts; 7.2 Exception types7.3 Overview of interrupt management7.4 Definitions of priority; 7.5 Vector table and vector table relocation; 7.6 Interrupt inputs and pending behaviors; 7.7 Exception sequence overview; 7.8 Details of NVIC registers for interrupt control; 7.9 Details of SCB registers for exception and interrupt control; 7.10 Details of special registers for exception or interrupt masking; 7.11 Example procedures in setting up interrupts; 7.12 Software interrupts; 7.13 Tips and hints; Chapter 8 - Exception Handling in Detail; 8.1 Introduction; 8.2 Exception sequences8.3 Interrupt latency and exception handling optimizationThis new edition has been fully revised and updated to include extensive information on the ARM Cortex-M4 processor, providing a complete up-to-date guide to both Cortex-M3 and Cortex-M4 processors, and which enables migration from various processor architectures to the exciting world of the Cortex-M3 and M4. Key Features include: Two new chapters on DSP features and CMSIS-DSP software libraries, covering DSP fundamentals and how to write DSP software for the Cortex-M4 processor, including examples of using the CMSIS-DSP library, as well as useful informationEmbedded computer systemsMicroprocessorsElectronic books.Embedded computer systems.Microprocessors.1055Yiu Joseph895135MiAaPQMiAaPQMiAaPQBOOK9910452431203321The definitive guide to ARM Cortex-M3 and Cortex-M4 processors2492072UNINA04757nam 22007575 450 99646527330331620201109115541.03-642-32897-010.1007/978-3-642-32897-8(CKB)3400000000085723(SSID)ssj0000745874(PQKBManifestationID)11416982(PQKBTitleCode)TC0000745874(PQKBWorkID)10859897(PQKB)10050257(DE-He213)978-3-642-32897-8(MiAaPQ)EBC3070246(PPN)168323028(EXLCZ)99340000000008572320120813d2012 u| 0engurnn|008mamaatxtccrComputational Logic in Multi-Agent Systems[electronic resource] 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings /edited by Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (228 p. 50 illus.) Lecture Notes in Artificial Intelligence ;7486International conference proceedings.3-642-32896-2 Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report -- Multi-agent Only-Knowing -- Logics for Reasoning about Agents’ Attitudes in Strategic Contexts -- A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents -- Distributed Defeasible Speculative Reasoning in Ambient Environment -- A Formal Semantics for Agent (Re)Organization -- Epistemic ATL with Perfect Recall, Past and Strategy Contexts -- Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters -- Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach -- A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks -- MKNF Knowledge Bases in Multi-Context Systems -- Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning -- Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation -- A Numerical Approach to the Merging of Argumentation Networks.This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.Lecture Notes in Artificial Intelligence ;7486Artificial intelligenceMathematical logicSoftware engineeringProgramming languages (Electronic computers)Computer logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XConference proceedings.fastArtificial intelligence.Mathematical logic.Software engineering.Programming languages (Electronic computers).Computer logic.Artificial Intelligence.Mathematical Logic and Formal Languages.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.006.3Fisher Michaeledthttp://id.loc.gov/vocabulary/relators/edtvan der Torre Leonedthttp://id.loc.gov/vocabulary/relators/edtDastani Mehdiedthttp://id.loc.gov/vocabulary/relators/edtGovernatori Guidoedthttp://id.loc.gov/vocabulary/relators/edtCLIMA (Workshop)BOOK996465273303316Computational Logic in Multi-Agent Systems772133UNISA