05044nam 22007215 450 99646566400331620230329154410.03-319-03859-110.1007/978-3-319-03859-9(CKB)3710000000078794(DE-He213)978-3-319-03859-9(SSID)ssj0001090141(PQKBManifestationID)11573493(PQKBTitleCode)TC0001090141(PQKBWorkID)11127805(PQKB)10856287(MiAaPQ)EBC3092943(PPN)176108629(EXLCZ)99371000000007879420131209d2013 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierAlgorithms and Architectures for Parallel Processing[electronic resource] 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I /edited by Joanna Kolodziej, Benjamino Di Martino, Domenico Talia, Kaiqi Xiong1st ed. 2013.Cham :Springer International Publishing :Imprint: Springer,2013.1 online resource (XXII, 481 p. 213 illus.) Theoretical Computer Science and General Issues,2512-2029 ;8285Bibliographic Level Mode of Issuance: Monograph3-319-03858-3 Clustering and change detection of multiple streaming time series -- Layer-based Scheduling of Parallel Tasks for Heterogeneous Cluster Platforms -- Deadline-Constrained Workflow Scheduling in Volunteer Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata Sharing Management Method across Multi-Clusters -- PDB: A Reliability-Driven Data Reconstruction Strategy Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud -- Optimistic Concurrency Control for Energy Efficiency in the Wireless Environment -- Pastry Grid CP: A Decentralized Rollback-Recovery Protocol for Desktop Grid Systems -- Improving Continuation-Powered Method-Level Speculation for JVM Applications -- Unimodular loop transformations with source-to-source translation for GPUs -- HMHS: Hybrid Multistage Heuristic Scheduling Algorithm for Heterogeneous MapReduce System -- Candidate set parallelization strategies for Ant Colony Optimization on the GPU -- Synchronization-Reducing Variants of the Biconjugate Gradient and the Quasi-Minimal Residual Methods -- Hardware-assisted Intrusion Detection by Preserving Reference Information Integrity.This two volume set LNCS 8285 and 8286 constitutes the proceedings of the 13th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2013, held in Vietri sul Mare, Italy in December 2013. The first volume contains 10 distinguished and 31 regular papers selected from 90 submissions and covering topics such as big data, multi-core programming and software tools, distributed scheduling and load balancing, high-performance scientific computing, parallel algorithms, parallel architectures, scalable and distributed databases, dependability in distributed and parallel systems, wireless and mobile computing. The second volume consists of four sections including 35 papers from one symposium and three workshops held in conjunction with ICA3PP 2013 main conference. These are 13 papers from the 2013 International Symposium on Advances of Distributed and Parallel Computing (ADPC 2013), 5 papers of the International Workshop on Big Data Computing (BDC 2013), 10 papers of the International Workshop on Trusted Information in Big Data (TIBiDa 2013) as well as 7 papers belonging to Workshop on Cloud-assisted Smart Cyber-Physical Systems (C-SmartCPS 2013).Theoretical Computer Science and General Issues,2512-2029 ;8285AlgorithmsSoftware engineeringComputer networksDatabase managementAlgorithmsSoftware EngineeringComputer Communication NetworksDatabase ManagementAlgorithms.Software engineering.Computer networks.Database management.Algorithms.Software Engineering.Computer Communication Networks.Database Management.004.35Kolodziej Joannaedthttp://id.loc.gov/vocabulary/relators/edtDi Martino Benjaminoedthttp://id.loc.gov/vocabulary/relators/edtTalia Domenicoedthttp://id.loc.gov/vocabulary/relators/edtXiong Kaiqiedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465664003316Algorithms and Architectures for Parallel Processing773147UNISA00960nam0 22002531i 450 UON0002979220231205102055.64120020107d1992 |0itac50 baitaTGKIT|||| 1||||ˆIl ‰libro di LeninLeninnomaRiccardo ZipoliVeneziaIl Cardo1992 141 p.ill. ; 21 cmLetteratura tagicaUONC004176FIITVeneziaUONL000039AC VI ACASIA CENTRALE - LETTERATURA IRANICA SOVIETICAAZIPOLIRiccardoUONV000058635146Il CardoUONV247724650ITSOL20251107RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00029792SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI AC VI AC 031 N SI SA 85165 5 031 N Libro di Lenin1190503UNIOR03821nam 2200697Ia 450 991097025580332120251116231640.097866119514059781281951403128195140497898127998529812799850(CKB)1000000000537990(EBL)1679603(OCoLC)815754656(SSID)ssj0000199174(PQKBManifestationID)11187633(PQKBTitleCode)TC0000199174(PQKBWorkID)10187947(PQKB)10426461(MiAaPQ)EBC1679603(WSP)00004761(Au-PeEL)EBL1679603(CaPaEBR)ebr10255587(CaONFJC)MIL195140(Perlego)849248(EXLCZ)99100000000053799020020120d2001 uy 0engurcn|||||||||txtccrMathematical problems of control theory an introduction /Gennady A. Leonov1st ed.Singapore ;River Edge, NJ World Scientificc20011 online resource (182 p.)Series on stability, vibration and control of systems, Series A ;4Description based upon print version of record.9789810246945 9810246943 Includes bibliographical references (p. 167-169) and index.Contents; Preface; Chapter 1 The Watt governor and the mathematical theory of stability of motion; 1.1 The Watt flyball governor and its modifications; 1.2 The Hermite-Mikhailov criterion; 1.3 Theorem on stability by the linear approximation1.4 The Watt governor transient processes Chapter 2 Linear electric circuits. Transfer functions and frequency responses of linear blocks; 2.1 Description of linear blocks; 2.2 Transfer functions and frequency responses of linear blocks; Chapter 3 Controllability, observability, stabilization; 3.1 Controllability3.2 Observability 3.3 A special form of the systems with controllable pair (A,b); 3.4 Stabilization. The Nyquist criterion; 3.5 The time-varying stabilization. The Brockett problem; Chapter 4 Two-dimensional control systems. Phase portraits; 4.1 An autopilot and spacecraft orientation system4.2 A synchronous electric machine control and phase locked loops 4.3 The mathematical theory of populations; Chapter 5 Discrete systems; 5.1 Motivation; 5.2 Linear discrete systems; 5.3 The discrete phase locked loops for array processorsChapter 6 The Aizerman conjecture. The Popov method Bibliography; IndexThis book shows clearly how the study of concrete control systems has motivated the development of the mathematical tools needed for solving such problems. In many cases, by using this apparatus, far-reaching generalizations have been made, and its further development will have an important effect on many fields of mathematics. In the book a way is demonstrated in which the study of the Watt flyball governor has given rise to the theory of stability of motion. The criteria of controllability, observability, and stabilization are stated. Analysis is made of dynamical systems, which describe aSeries on stability, vibration, and control of systems.Series A ;v. 4.Control theoryMathematical modelsControl theoryMathematical models.629.80151629.8312Leonov G. A(Gennadiĭ Alekseevich)13336MiAaPQMiAaPQMiAaPQBOOK9910970255803321Mathematical problems of control theory4540135UNINA