LEADER 02166nam 2200541 450 001 9910788565103321 005 20170918164943.0 010 $a1-4704-2566-1 035 $a(CKB)3280000000039328 035 $a(SSID)ssj0001524394 035 $a(PQKBManifestationID)12642412 035 $a(PQKBTitleCode)TC0001524394 035 $a(PQKBWorkID)11477774 035 $a(PQKB)10523222 035 $a(MiAaPQ)EBC4832030 035 $a(RPAM)18393852 035 $a(PPN)197102840 035 $a(EXLCZ)993280000000039328 100 $a20170411h20152015 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aAlgebra for secure and reliable communication modeling $eCIMPA Research School and Conference Algebra for Secure and Reliable Communication Modeling, October 1-13, 2012, Morelia, State of Michoaca?n, Mexico /$fMustapha Lahyane, Edgar Martinez-Moro, editors 210 1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d2015. 210 4$dİ2015 215 $a1 online resource (243 pages) $ccolor illustrations, photographs 225 1 $aContemporary Mathematics,$x1098-3627 ;$v642 300 $a"This volume contains the proceedings of the CIMPA Research School and Conference on Algebra for Secure and Reliable Communication Modeling, held in Morelia, State of Michoaca?n, Mexico from October 1-13, 2012"--Preface. 311 $a1-4704-1018-4 320 $aIncludes bibliographical references at the end of each chapters. 410 0$aContemporary mathematics (American Mathematical Society) ;$v642. 606 $aSignal processing$xMathematics$vCongresses 606 $aGeometry, Algebraic$vCongresses 615 0$aSignal processing$xMathematics 615 0$aGeometry, Algebraic 676 $a621.382/20151274 686 $a11T71$a14G50$a14Q05$2msc 702 $aLahyane$b Mustapha$f1967- 702 $aMarti?nez-Moro$b Edgar 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910788565103321 996 $aAlgebra for secure and reliable communication modeling$93673944 997 $aUNINA LEADER 05255nam 22007095 450 001 9910484930803321 005 20251226203619.0 010 $a3-642-45293-0 024 7 $a10.1007/978-3-642-45293-2 035 $a(CKB)3710000000031323 035 $a(DE-He213)978-3-642-45293-2 035 $a(SSID)ssj0001067127 035 $a(PQKBManifestationID)11600871 035 $a(PQKBTitleCode)TC0001067127 035 $a(PQKBWorkID)11078836 035 $a(PQKB)11112312 035 $a(MiAaPQ)EBC3093225 035 $a(PPN)176118047 035 $a(EXLCZ)993710000000031323 100 $a20131125d2013 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAdvanced Parallel Processing Technologies $e10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers /$fedited by Chenggang Wu, Albert Cohen 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (XII, 410 p. 187 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8299 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-45292-2 327 $aInference and Declaration of Independence in Task-Parallel Programs -- BDDT: Block-Level Dynamic Dependence Analysis for Task-Based -- A User-Level NUMA-Aware Scheduler for Optimizing Virtual Machine Performance -- Towards RTOS: A Preemptive Kernel Basing on Barrelfish -- Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets -- Pruning False Positives of Static Data-Race Detection via Thread Specialization -- G-Paradex: GPU-Based Parallel Indexing for Fast Data Deduplication -- Research on SPH Parallel Acceleration Strategies for Multi-GPU Platform -- Binarization-Based Human Detection for Compact FPGA Implementation -- HPACS: A High Privacy and Availability Cloud Storage Platform with Matrix Encryption -- ECAM: An Efficient Cache Management Strategy for Address Mappings in Flash Translation Layer -- A Performance Study of Software Prefetching for Tracing Garbage Collectors -- Adaptive Implementation Selection in the SkePU Skeleton Programming Library -- Automatic Skeleton-Based Compilation through Integration with an Algorithm Classification -- Hierarchical Clustering Routing Protocol Based on Optimal Load Balancing in Wireless Sensor Networks -- An Efficient Parallel Mechanism for Highly-Debuggable Multicore Simulator -- Data Access Type Aware Replacement Policy for Cache Clustering Organization of Chip Multiprocessors -- Agent-Based Credibility Protection Model for Decentralized Network Computing Environment -- A Vectorized K-Means Algorithm for Intel Many Integrated Core Architecture -- Towards Eliminating Memory Virtualization Overhead -- An Improved FPGAs-Based Loop Pipeline Scheduling Algorithm for Reconfigurable Compiler -- ACF: Networks-on-Chip Deadlock Recovery with Accurate Detection and Elastic Credit -- An Auction and League Championship Algorithm Based Resource Allocation Mechanism for Distributed Cloud -- Accelerating Software Model Checking Based on Program Backbone -- A Cloud Computing System for Snore Signals Processing -- Research on Optimum Checkpoint Interval for Hybrid Fault Tolerance -- Programming Real-Time Image Processing for Manycores in a High-Level Language -- Self-adaptive Retransmission for Network Coding with TCP. 330 $aThis book constitutes the refereed post-proceedings of the 10th International Symposium on Advanced Parallel Processing Technologies, APPT 2013, held in Stockholm, Sweden, in August 2013. The 30 revised full papers presented were carefully reviewed and selected from 62 submissions. The papers cover a wide range of topics capturing some of the state of the art and practice in parallel architecture, parallel software, concurrent and distributed systems, and cloud computing, with a highlight on computing systems for big data applications. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8299 606 $aSoftware engineering 606 $aAlgorithms 606 $aComputer networks 606 $aOperating systems (Computers) 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aAlgorithms 606 $aComputer Communication Networks 606 $aOperating Systems 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aAlgorithms. 615 0$aComputer networks. 615 0$aOperating systems (Computers). 615 0$aCompilers (Computer programs). 615 14$aSoftware Engineering. 615 24$aAlgorithms. 615 24$aComputer Communication Networks. 615 24$aOperating Systems. 615 24$aCompilers and Interpreters. 676 $a005.1 702 $aWu$b Chenggang$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCohen$b Albert$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910484930803321 996 $aAdvanced Parallel Processing Technologies$9772498 997 $aUNINA