03780nam1-2200601---450-99000344155020331620101006132456.0000344155USA01000344155(ALEPH)000344155USA0100034415520100915g18739999km-y0itay50------bagrclatDE||||||||001yyInscriptiones Graecaeconsilio et auctoritate Academiae litterarum Regiae Borussicae editae[poi] consilio et auctoritate Academiae scientiarum Germanicae editae[poi] consilio et auctoritate Academiae scientiarum Berolinensis et Brandenburgensis editaeBeroliniapud Georgium ReimerumG. de Gruyter1873-volumi38 cm0019900003014102033162001 <<9.1.1:>> Inscriptiones Phocidis Locridis Aetoliae Acarnianae insularum maris Ionii. 1, Inscriptiones aetoliae0019900011678702033162001 <<9.1:>> Inscriptiones Phocidis Locridis Aetoliae Acarnianae insularum maris Ionii0019900011679502033162001 <<9.2:>> Inscriptiones Thessaliae0019900012229302033162001 <<12.4.1:>> Inscriptiones Coi Calymnae insularum Milesiarum. 1, Inscriptiones Coi insulaedecreta, epistulae, edicta, tituli sacri0019900015291702033162001 <<9:>> Inscriptiones Graeciae septentrionalis voluminibus 7. et 8. non comprehensae0019900015439902033162001 <<9.1.4:>> Inscriptiones Phocidis Locridis Aetoliae Acarnianae insularum maris Ionii. 4, Inscriptiones insularum maris Ioniischedis usus quas condidit Guentherus Klaffenbach auxitque Daniel Strauch adiuvante Mathias Lawo0019900015441302033162001 <<9.1.3:>> Inscriptiones Phocidis Locridis Aetoliae Acarnianae insularum maris Ionii. 3, Inscriptiones locridis occidentalis0019900015495602033162001 <<9.1.2:>> Inscriptiones Phocidis Locridis Aetoliae Acarnianae insularum maris Ionii. 2, Inscriptiones acarnaniae0019900017018402033162001 <<1:>> Inscriptiones Atticae anno Euclidis vetustiores0019900027010302033162001 <<12.5.1:>> Inscriptiones Cycladum praeter Tenum0019900029284602033162001 <<12.5:>> Inscriptiones Cycladum0019900034416402033162001 <<1:>> Inscriptiones atticae Euclidis anno anteriores0019900034417702033162001 <<1:>> Inscriptiones Atticae Euclidis anno anteriores0019900034418202033162001 [1.A]: Inscriptiones Atticae anno Euclidis vetustiores. Supplementa0019900034419302033162001 <<2:>> Inscriptiones atticae aetatis quae est inter Euclidis annum et Augusti tempora0019900034420002033162001 <<3:>> Inscriptiones atticae aetatis Romanae0019900034423702033162001 <<2.3:>> Inscriptiones atticae Euclidis anno posteriores0019900034426702033162001 <<4:>> Inscriptiones argolidis0019900034427602033162001 <<5:>> Inscriptiones Laconiae Messeniae Arcadiae0019900034427802033162001 <<7:>> Inscriptiones Megaridis et Boeotiae481.7Berlin-Brandenburgische Akademie der WissenschaftenPreussische Akademie der WissenschaftenDeutsche Akademie zu BerlinITsalbcISBD990003441550203316XI.3.C. 74/L.MXI.3.C.BKUMAMARTUCCIEL9020100915USA011042MARTUCCIEL9020100915USA011118MARTUCCIEL9020101004USA011126MARTUCCIEL9020101006USA011324Inscriptiones Graecae78881UNISA05191nam 22008295 450 99646635920331620230223015435.03-540-89740-210.1007/978-3-540-89740-8(CKB)1000000000545842(SSID)ssj0000318613(PQKBManifestationID)11923597(PQKBTitleCode)TC0000318613(PQKBWorkID)10310459(PQKB)11324004(DE-He213)978-3-540-89740-8(MiAaPQ)EBC3063780(MiAaPQ)EBC6698730(Au-PeEL)EBL6698730(PPN)132861585(EXLCZ)99100000000054584220100301d2008 u| 0engurnn#008mamaatxtccrLanguages and Compilers for Parallel Computing[electronic resource] 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers /edited by José Nelson Amaral1st ed. 2008.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2008.1 online resource (IX, 358 p.)Theoretical Computer Science and General Issues,2512-2029 ;5335International conference proceedings.3-540-89739-9 Includes bibliographical references and author index.CUDA-Lite: Reducing GPU Programming Complexity -- MCUDA: An Efficient Implementation of CUDA Kernels for Multi-core CPUs -- Automatic Pre-Fetch and Modulo Scheduling Transformations for the Cell BE Architecture -- Efficient Set Sharing Using ZBDDs -- Register Bank Assignment for Spatially Partitioned Processors -- Smashing: Folding Space to Tile through Time -- Identification of Heap–Carried Data Dependence Via Explicit Store Heap Models -- On the Scalability of an Automatically Parallelized Irregular Application -- Statistically Analyzing Execution Variance for Soft Real-Time Applications -- Minimum Lock Assignment: A Method for Exploiting Concurrency among Critical Sections -- Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS) -- Thread Safety through Partitions and Effect Agreements -- P-Ray: A Software Suite for Multi-core Architecture Characterization -- Scalable Implementation of Efficient Locality Approximation -- P-OPT: Program-Directed Optimal Cache Management -- Compiler-Driven Dependence Profiling to Guide Program Parallelization -- gluepy: A Simple Distributed Python Programming Framework for Complex Grid Environments -- A Fully Parallel LISP2 Compactor with Preservation of the Sliding Properties -- A Case Study in Tightly Coupled Multi-paradigm Parallel Programming -- ASYNC Loop Constructs for Relaxed Synchronization -- Design for Interoperability in stapl: pMatrices and Linear Algebra Algorithms -- Implementation of Sensitivity Analysis for Automatic Parallelization -- Just-In-Time Locality and Percolation for Optimizing Irregular Applications on a Manycore Architecture -- Exploring the Optimization Space of Dense Linear Algebra Kernels.This book constitutes the thoroughly refereed post-conference proceedings of the 21th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2008, held in Edmonton, Canada, in July/August 2008. The 18 revised full papers and 6 revised short papers presented were carefully reviewed and selected from 35 submissions. The papers address all aspects of languages, compiler techniques, run-time environments, and compiler-related performance evaluation for parallel and high-performance computing and comprise also presentations on program analysis that are precursors of high performance in parallel environments.Theoretical Computer Science and General Issues,2512-2029 ;5335Compilers (Computer programs)Computer programmingComputer networksArtificial intelligence—Data processingArtificial intelligenceComputer scienceCompilers and InterpretersProgramming TechniquesComputer Communication NetworksData ScienceArtificial IntelligenceModels of ComputationCompilers (Computer programs).Computer programming.Computer networks.Artificial intelligence—Data processing.Artificial intelligence.Computer science.Compilers and Interpreters.Programming Techniques.Computer Communication Networks.Data Science.Artificial Intelligence.Models of Computation.004.11Amaral José NelsonWorkshop on Languages and Compilers for Parallel ComputingMiAaPQMiAaPQMiAaPQBOOK996466359203316Languages and Compilers for Parallel Computing772572UNISA01244nam a2200301 i 450099100313071970753620020503183852.0000704s1967 it 00| 0 ita db10462661-39ule_instEXGIL115658ExLBiblioteca Interfacoltàita320.1192Corsi, Mario38960Introduzione al Leviatano /Mario CorsiNapoli :Morano,1967228 p.Athenaeum ;9Hobbes, Thomas.Leviathan.b1046266121-02-1727-06-02991003130719707536LE005 192 HOB01. COR01. 0112005000053023le005-E0.00-l- 01010.i1128948x28-06-02LE002 Fil. XI L 1612002000537249le002-E0.00-l- 01010.i1053537827-06-02LE022 MP 66 C 1312022000039673le022-E0.00-l- 00000.i1392333x11-11-04LE022 MP 66 B 6622022000040280le022S.i.-E0.00-l- 00000.i1393835615-11-04Introduzione al Leviatano222076UNISALENTOle005le002(2)le02201-01-00ma -itait 04