| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465683903316 |
|
|
Titolo |
Compiler Construction [[electronic resource] ] : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / / edited by Koen De Bosschere, Ranjit Jhala |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVIII, 265 p. 96 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 7791 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Compilers (Computer programs) |
Software engineering |
Operating systems (Computers) |
Compilers and Interpreters |
Software Engineering |
Operating Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation in Polynomial Time -- Optimal and Heuristic Global Code Motion for Minimal Spilling -- Efficient and Effective Handling of Exceptions in Java Points-to Analysis -- An Incremental Points-to Analysis with CFL-Reachability -- FESA: Fold- and Expand-Based Shape Analysis -- Simple and Efficient Construction of Static Single Assignment Form -- PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language -- Architecture-Independent Dynamic Information Flow Tracking -- On the Determination of Inlining Vectors for Program Optimization -- Automatic Generation of Program Affinity Policies Using Machine Learning -- Compiler-Guided Identification of Critical Sections in Parallel Code -- Refactoring MATLAB -- On LR Parsing with Selective Delays. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 22nd International |
|
|
|
|
|
|
|
|
|
|
|
|
|
Conference on Compiler Construction, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 13 papers presented in this book were carefully reviewed and selected from 53 submissions. They have been organized into five topical sections on register allocation, pointer analysis, data and information flow, machine learning, and refactoring. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910159397403321 |
|
|
Titolo |
Aux Marges De La Ville: Paysages, Societes, Representations |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Villes, histoire, culture, societe |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Suburbs - Europe - History |
Suburbs - Africa, North - History |
Urbanization - Europe - History |
Urbanization - Africa, North - History |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
Les espaces périurbains sont un sujet d'actualité traités ici dans une démarche doublement originale. D'une part, ils sont étudiés dans la très longue durée, des cités grecques aux agglomérations contemporaines. D'autre part, l'ouvrage décloisonne leur analyse dans l'interdisciplinarité, pour penser autrement que sur le mode binaire - par l'opposition d'un centre et de sa périphérie - l'histoire de ces espaces en marge de la ville mais qui n'existent que par elle. |
|
|
|
|
|
|
|
| |