LEADER 02258nam 2200637 450 001 996466578403316 005 20220909132308.0 010 $a3-540-38155-4 024 7 $a10.1007/BFb0089135 035 $a(CKB)1000000000437993 035 $a(SSID)ssj0000326179 035 $a(PQKBManifestationID)12091042 035 $a(PQKBTitleCode)TC0000326179 035 $a(PQKBWorkID)10267382 035 $a(PQKB)11360602 035 $a(DE-He213)978-3-540-38155-6 035 $a(MiAaPQ)EBC5590562 035 $a(Au-PeEL)EBL5590562 035 $a(OCoLC)1066188595 035 $a(MiAaPQ)EBC6841885 035 $a(Au-PeEL)EBL6841885 035 $a(OCoLC)793078625 035 $a(PPN)155166719 035 $a(EXLCZ)991000000000437993 100 $a20220909d1980 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRecurrences and discrete dynamic systems /$fIgor Gumowski and Christian Mira 205 $a1st ed. 1980. 210 1$aBerlin, Germany ;$aNew York, New York :$cSpringer-Verlag,$d[1980] 210 4$d©1980 215 $a1 online resource (VIII, 276 p.) 225 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v809 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-10017-2 327 $aand statement of the problem -- Some properties of first order recurrences -- Some properties of second order recurrences -- Stochasticity in conservative recurrences -- Stochasticity in almost conservative recurrences -- Stochasticity in strongly non-conservative recurrences -- Conclusion and some open problems. 410 0$aLecture Notes in Mathematics,$x0075-8434 ;$v809 606 $aDifferentiable dynamical systems 606 $aPoint mappings (Mathematics) 606 $aMathematical physics 615 0$aDifferentiable dynamical systems. 615 0$aPoint mappings (Mathematics) 615 0$aMathematical physics. 676 $a515.39 700 $aGumowski$b Igor$040935 702 $aMira$b C. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466578403316 996 $aRecurrences and discrete dynamic systems$9262686 997 $aUNISA LEADER 03308nam 22006855 450 001 9910298489903321 005 20200920043400.0 010 $a3-319-17858-X 024 7 $a10.1007/978-3-319-17858-5 035 $a(CKB)3710000000434158 035 $a(EBL)2095361 035 $a(SSID)ssj0001524923 035 $a(PQKBManifestationID)11867437 035 $a(PQKBTitleCode)TC0001524923 035 $a(PQKBWorkID)11496954 035 $a(PQKB)10971454 035 $a(DE-He213)978-3-319-17858-5 035 $a(MiAaPQ)EBC2095361 035 $a(PPN)186396937 035 $a(EXLCZ)993710000000434158 100 $a20150613d2015 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aGerman-Sino Business Networks $eUsing Organized Networks to Develop Business with China /$fby Alexander Häntzschel 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (119 p.) 225 1 $aSpringerBriefs in Business,$x2191-5482 300 $aDescription based upon print version of record. 311 $a3-319-17857-1 320 $aIncludes bibliographical references. 327 $aIntroduction -- Benefits of Organized Networks -- Overview of German-Sino Business Networks -- Descriptions of the Leading Business Networks -- Experiences and Expectations of Professionals -- Conclusion. 330 $aIn this book, Alexander Häntzschel presents the benefits of organized networks and provides a first-ever overview of German-Sino business networks. Based on more than 20 expert interviews and research of 30 different cases, the analysis covers the different forms of organization, their target groups and members, services and activities, and accessibility and membership fees. Complementary to the analysis, the results of a survey bring forward the experiences and expectations of professionals involved in such networks. With this Springer Brief, business professionals get a quick and useful overview of the leading networks such as the German Asia-Pacific Business Association, the German-Chinese Business Association, and the Asian Social Business Community. 410 0$aSpringerBriefs in Business,$x2191-5482 606 $aGlobalization 606 $aMarkets 606 $aLeadership 606 $aManagement 606 $aEmerging Markets/Globalization$3https://scigraph.springernature.com/ontologies/product-market-codes/525010 606 $aBusiness Strategy/Leadership$3https://scigraph.springernature.com/ontologies/product-market-codes/515010 606 $aCultural Management$3https://scigraph.springernature.com/ontologies/product-market-codes/X22050 615 0$aGlobalization. 615 0$aMarkets. 615 0$aLeadership. 615 0$aManagement. 615 14$aEmerging Markets/Globalization. 615 24$aBusiness Strategy/Leadership. 615 24$aCultural Management. 676 $a338.80943 700 $aHäntzschel$b Alexander$4aut$4http://id.loc.gov/vocabulary/relators/aut$01064995 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910298489903321 996 $aGerman-Sino Business Networks$92542194 997 $aUNINA LEADER 04819nam 2200625 a 450 001 9911006781103321 005 20200520144314.0 010 $a1-282-25804-4 010 $a9786612258046 010 $a0-08-092125-6 035 $a(CKB)1000000000790331 035 $a(EBL)453121 035 $a(OCoLC)505428281 035 $a(SSID)ssj0000337102 035 $a(PQKBManifestationID)11251884 035 $a(PQKBTitleCode)TC0000337102 035 $a(PQKBWorkID)10287904 035 $a(PQKB)11616389 035 $a(MiAaPQ)EBC453121 035 $a(CaSebORM)9780080921259 035 $a(EXLCZ)991000000000790331 100 $a20090316d2009 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aEmbedded systems and software validation /$fAbhik Roychoudhury 210 $aAmsterdam ;$aBoston $cMorgan Kaufmann Publishers/Elsevier$dc2009 215 $a1 online resource (267 p.) 225 1 $aThe Morgan Kaufmann series in systems on silicon 300 $aDescription based upon print version of record. 311 $a0-12-374230-7 320 $aIncludes bibliographical references (p. 233-239) and index. 327 $aFront Cover; Embedded Systems and Software Validation; Copyright Page; Dedication Page; Table of Contents; Acknowledgments; Preface; Chapter 1. Introduction; Chapter 2. Model Validation; 2.1 Platform versus System Behavior; 2.2 Criteria for Design Model; 2.3 Informal Requirements: A Case Study; 2.3.1 The Requirements Document; 2.3.2 Simplification of the Informal Requirements; 2.4 Common Modeling Notations; 2.4.1 Finite-State Machines; 2.4.2 Communicating FSMs; 2.4.3 Message Sequence Chart-Based Models; 2.5 Remarks About Modeling Notations; 2.6 Model Simulations; 2.6.1 FSM Simulations 327 $a2.6.2 Simulating MSC-Based System Models2.7 Model-Based Testing; 2.8 Model Checking; 2.8.1 Property Specification; 2.8.2 Checking Procedure; 2.9 The SPIN Validation Tool; 2.10 The SMV Validation Tool; 2.11 Case Study: Air-Traffic Controller; 2.12 References; 2.13 Exercises; Chapter 3. Communication Validation; 3.1 Common Incompatibilities; 3.1.1 Sending/Receiving Signals in Different Order; 3.1.2 Handling a Different Signal Alphabet; 3.1.3 Mismatch in Data Format; 3.1.4 Mismatch in Data Rates; 3.2 Converter Synthesis; 3.2.1 Representing Native Protocols and Converters 327 $a3.2.2 Basic Ideas for Converter Synthesis3.2.3 Various Strategies for Protocol Conversion; 3.2.4 Avoiding No-Progress Cycles; 3.2.5 Speculative Transmission to Avoid Deadlocks; 3.3 Changing a Working Design; 3.4 References; 3.5 Exercises; Chapter 4. Performance Validation; 4.1 The Conventional Abstraction of Time; 4.2 Predicting Execution Time of a Program; 4.2.1 WCET Calculation; 4.2.2 Modeling of Microarchitecture; 4.3 Interference within a Processing Element; 4.3.1 Interrupts from Environment; 4.3.2 Contention and Preemption; 4.3.3 Sharing a Processor Cache 327 $a4.4 System-Level Communication Analysis4.5 Designing Systems with Predictable Timing; 4.5.1 Scratchpad Memories; 4.5.2 Time-Triggered Communication; 4.6 Emerging Applications; 4.7 References; 4.8 Exercises; Chapter 5. Functionality Validation; 5.1 Dynamic or Trace-Based Checking; 5.1.1 Dynamic Slicing; 5.1.2 Fault Localization; 5.1.3 Directed Testing Methods; 5.2 Formal Verification; 5.2.1 Predicate Abstraction; 5.2.2 Software Checking via Predicate Abstraction; 5.2.3 Combining Formal Verification with Testing; 5.3 References; 5.4 Exercises; Bibliography; Index 330 $a Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors, specialized memory subsystems, and partially programmable or fixed-function components. This heterogeneity, coupled with issues such as hardware/software partitioning, mapping, scheduling, etc., leads to a large number of design possibilities, making performance debugging and validation of such systems a difficult problem. Embedded systems are used to control safety critical applications such as flight control, automotive el 410 0$aMorgan Kaufmann series in systems on silicon. 606 $aEmbedded computer systems$xDesign and construction 606 $aEmbedded computer systems$xTesting 606 $aComputer software$xTesting 615 0$aEmbedded computer systems$xDesign and construction. 615 0$aEmbedded computer systems$xTesting. 615 0$aComputer software$xTesting. 676 $a004.1 700 $aRoychoudhury$b Abhik$01823890 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911006781103321 996 $aEmbedded systems and software validation$94390832 997 $aUNINA