LEADER 00725nam0-2200241 --450 001 9910628201403321 005 20221123081749.0 100 $a20221123d1879----kmuy0itay5050 ba 101 0 $aita 102 $aIT 105 $a 001yy 200 1 $aSulla estinzione del corso forzoso agli Stati Uniti$ememoria$fdi B. Stringher 210 $aRoma$cTipografia eredi Botta$d1879 215 $a5, 223 p.$d22 cm 676 $a332.42$v22$zita 700 1$aStringher,$bBonaldo$f<1854-1930>$037743 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910628201403321 952 $aXV M 151$b26798$fFGBC 959 $aFGBC 996 $aSulla estinzione del corso forzoso agli Stati Uniti$92973297 997 $aUNINA LEADER 01488nam a22003855i 4500 001 991002257719707536 007 cr nn 008mamaa 008 100528s2010 de | s |||| 0|eng d 020 $a9783642122453 035 $ab14145960-39ule_inst 040 $aBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematica$beng 082 04$a510$223 084 $aAMS 35J40 084 $aAMS 35J66 084 $aAMS 46E35 084 $aAMS 53C42 084 $aAMS 74K20 100 1 $aGazzola, Filippo$0477156 245 10$aPolyharmonic boundary value problems$h[e-book] :$bpositivity preserving and nonlinear higher order elliptic equations in bounded domains /$cby Filippo Gazzola, Hans-Christoph Grunau, Guido Sweers 260 $aBerlin :$bSpringer,$c2010 300 $a1 online resource (xviii, 423 p.) 440 0$aLecture Notes in Mathematics,$x0075-8434 ;$v1991 650 0$aMathematics 650 0$aFunctional analysis 650 0$aGlobal differential geometry 650 0$aMaterials 700 1 $aGrunau, Hans-Christoph$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0508509 700 1 $aSweers, Guido 773 0 $aSpringer eBooks 856 40$uhttp://dx.doi.org/10.1007/978-3-642-12245-3$zAn electronic book accessible through the World Wide Web 907 $a.b14145960$b03-03-22$c05-09-13 912 $a991002257719707536 996 $aPolyharmonic boundary value problems$9776960 997 $aUNISALENTO 998 $ale013$b05-09-13$cm$d@ $e-$feng$gde $h0$i0 LEADER 03889nam 22006855 450 001 9910484181603321 005 20251225173515.0 010 $a3-030-72789-0 024 7 $a10.1007/978-3-030-72789-5 035 $a(CKB)4100000011807200 035 $a(MiAaPQ)EBC6531692 035 $a(Au-PeEL)EBL6531692 035 $a(OCoLC)1244536733 035 $a(DE-He213)978-3-030-72789-5 035 $a(PPN)254719325 035 $a(EXLCZ)994100000011807200 100 $a20210325d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLanguages and Compilers for Parallel Computing $e32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22?24, 2019, Revised Selected Papers /$fedited by Santosh Pande, Vivek Sarkar 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (175 pages) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11998 311 08$a3-030-72788-2 320 $aIncludes bibliographical references and index. 327 $aPerformance of Static and Dynamic Task Scheduling for Real-Time Engine Control System on Embedded Multicore Processor -- PostSLP: Cross-Region Vectorization of Fully or Partially Vectorized Code -- FLARE: Flexibly Sharing Commodity GPUs to Enforce QoS and Improve Utilization -- Foundations of consistency types for a higher-order distributed language -- Common Subexpression Convergence: A New Code Optimization for SIMT processors -- Using Performance Event Profiles to Deduce an Execution Model of MATLAB with Just-In-Time Compilation -- CLAM: Compiler Leasing of Accelerator Memory -- Abstractions for Polyhedral Topology-Aware Tasking -- SWIRL++: Evaluating Performance Models to Guide Code Transformation in Convolutional Neural Networks -- A Structured Grid Solver with Polyhedral+Dataflow Representation -- CubeGen: Code Generation for Accelerated GEMM-based Convolution with Tiling. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 32nd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2019, held in Atlanta, GA, USA, in October 2019. The 8 revised full papers and 3 revised short papers were carefully reviewed and selected from 17 submissions. The scope of the workshop includes advances in programming systems for current domains and platforms, e.g., scientific computing, batch/ streaming/ real-time data analytics, machine learning, cognitive computing, heterogeneous/ reconfigurable computing, mobile computing, cloud computing, IoT, as well as forward-looking computing domains such as analog and quantum computing. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11998 606 $aCompilers (Computer programs) 606 $aComputer systems 606 $aComputer programming 606 $aMicroprocessors 606 $aComputer architecture 606 $aCompilers and Interpreters 606 $aComputer System Implementation 606 $aProgramming Techniques 606 $aProcessor Architectures 615 0$aCompilers (Computer programs) 615 0$aComputer systems. 615 0$aComputer programming. 615 0$aMicroprocessors. 615 0$aComputer architecture. 615 14$aCompilers and Interpreters. 615 24$aComputer System Implementation. 615 24$aProgramming Techniques. 615 24$aProcessor Architectures. 676 $a004.35 702 $aSarkar$b Vivek 702 $aPande$b Santosh 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484181603321 996 $aLanguages and Compilers for Parallel Computing$9772572 997 $aUNINA