LEADER 00928cam0 2200277 450 001 E600200049161 005 20201126083041.0 100 $a20090519d1964 |||||ita|0103 ba 101 $aita 102 $aFR 200 1 $a<>enfance délinquante$fJean Chazal 205 $a5 édition remaniée et mise a jour 210 $aParis$cPresses Universitaires de France$dstampa 1964 215 $a118 p.$d18 cm. 225 2 $aQue sais-je? 410 1$1001LAEC00016182$12001 $a*Que sais-je? 700 1$aChazal$b, Jean$3A600200054846$4070$0482701 801 0$aIT$bUNISOB$c20201126$gRICA 850 $aUNISOB 852 $aUNISOB$j000|Coll|52|K$m87872 912 $aE600200049161 940 $aM 102 Monografia moderna SBN 941 $aM 957 $a000|Coll|52|K$b000036$gSi$d87872$racquisto$1pregresso2$2UNISOB$3UNISOB$420090519085656.0$520201126083030.0$6Spinosa 996 $aEnfance délinquante$9275240 997 $aUNISOB LEADER 00948cam2 22002891 450 001 SOBE00080960 005 20241003083117.0 100 $a20240926d1987 |||||ita|0103 ba 101 $aita 102 $aIT 200 0 $a1$fAristotele 210 $aNapoli$cLoffredo$d1987 215 $aXV, 526 p.$d24 cm 225 2 $aFilosofi antichi$v8 300 $aTesto originale a fronte 410 1$1001LAEC00027021$12001 $a*Filosofi antichi$v8 461 1$1001SOBE00015129$12001 $a<>frammenti dei dialoghi / Aristotele ; a cura di Renato Laurenti 700 0$aAristoteles$3AF00011489$4070$04207 801 0$aIT$bUNISOB$c20241003$gRICA 850 $aUNISOB 852 $aUNISOB$j100|Coll|66|K$m58360 912 $aSOBE00080960 940 $aM 102 Monografia moderna SBN 941 $aW 957 $a100|Coll|66|K$b000003$i-1$gSI$d58360$1rovito$2UNISOB$3UNISOB$420241003082430.0$520241003083117.0$6rovito 996 $a1$93249593 997 $aUNISOB LEADER 04366nam 22005535 450 001 9911011817203321 005 20250628125141.0 010 $a3-031-97492-1 024 7 $a10.1007/978-3-031-97492-2 035 $a(MiAaPQ)EBC32182998 035 $a(Au-PeEL)EBL32182998 035 $a(CKB)39483537900041 035 $a(DE-He213)978-3-031-97492-2 035 $a(OCoLC)1526862093 035 $a(EXLCZ)9939483537900041 100 $a20250628d2025 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPrinciples and Practices of Building Parallel Software $eEssays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday /$fedited by Rajkishore Barik, Rajiv Gupta, Jens Palsberg 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (196 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14564 311 08$a3-031-97491-3 327 $aRetrieving Unknown SMT Formulas via Structural Mutations -- On the Cloud We Can?t Wait: Asynchronous Actors Perform Even Better on the Cloud -- A Formal Model for Portable, Heterogeneous Accelerator Programming -- Evaluation of Speedup and Energy with Multigrain Parallelizing Compiler -- Hidden assumptions in static verification of data-race free GPU programs -- Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism -- Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting -- Learning to harness in-vitro biological neural networks -- Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation -- Scalable Small Message Aggregation on Modern Interconnects -- Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models. 330 $aThis Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-performance computers. After foundational Ph.D. work at Stanford University under the mentorship of John L. Hennessy, Vivek joined IBM, where he contributed to the PTRAN Project, he led the design and implementation of the ASTI optimizer for the XL compiler, the design of the X10 programming language, and the development of the Jikes Research Virtual Machine, an open-source JVM that has enabled experimentation with advanced virtual machine technologies at hundreds of universities worldwide. He was appointed to a professorship at Rice University where he also served as Chair of the Dept. of Computer Science, and he is now the Chair of the School of Computer Science at Georgia Tech. Vivek is a member of the IBM Academy of Technology, he is an ACM Fellow and an IEEE Fellow, and he serves on the US Dept. of Energy Advanced Scientific Computing Advisory Committee and the CRA Board of Directors. In 2020 he received the ACM-IEEE CS Ken Kennedy Award for foundational technical contributions to the area of programmability and productivity in parallel computing, and leadership contributions to professional service, mentoring, and teaching. This volume celebrates Vivek Sarkar?s transformative work. Motivated by the challenges of high-performance and exascale computing, he has profoundly shaped both industry practices and academic research through pioneering innovations, technical expertise, and dedicated mentorship, and is a role model for generations of computer scientists. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14564 606 $aComputer science 606 $aSoftware engineering 606 $aTheory of Computation 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aSoftware engineering. 615 14$aTheory of Computation. 615 24$aSoftware Engineering. 676 $a004.0151 700 $aBarik$b Rajkishore$01830833 701 $aGupta$b Rajiv$0855482 701 $aPalsberg$b Jens$01750242 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911011817203321 996 $aPrinciples and Practices of Building Parallel Software$94401434 997 $aUNINA