| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIBAS000036035 |
|
|
Autore |
Crescini, Francesco |
|
|
Titolo |
Genetica vegetale / Francesco Crescini |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Roma : Ramo editoriale degli agricoltori, 1952 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Trattati di agricoltura ; 12 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA996465569503316 |
|
|
Titolo |
Languages and Compilers for Parallel Computing [[electronic resource] ] : 9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings / / edited by David Sehr, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1997.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 618 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 1239 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Programming languages (Electronic computers) |
Operating systems (Computers) |
Computer programming |
Computers |
Arithmetic and logic units, Computer |
Programming Languages, Compilers, Interpreters |
Operating Systems |
Programming Techniques |
Computation by Abstract Devices |
Arithmetic and Logic Structures |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Cross-loop reuse analysis and its application to cache optimizations -- Locality analysis for distributed shared-memory multiprocessors -- Data distribution and loop parallelization for shared-memory multiprocessors -- Data localization using loop aligned decomposition for macro-dataflow processing -- Exploiting monotone convergence functions in parallel programs -- Exact versus approximate array region analyses -- Context-sensitive interprocedural analysis in the presence of dynamic aliasing -- Initial results for glacial variable analysis -- Compiler algorithms on if-conversion, speculative predicates assignment and predicated code optimizations -- Determining asynchronous pipeline execution times -- Compiler techniques for concurrent multithreading with hardware speculation support -- Resource-Directed Loop Pipelining -- Integrating program optimizations and transformations with the scheduling of instruction level parallelism -- Bidirectional scheduling: A new global code scheduling approach -- Parametric computation of margins and of minimum cumulative register lifetime dates -- Global register allocation based on graph fusion -- Automatic parallelization for non-cache coherent multiprocessors -- Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs -- Are parallel workstations the right target for parallelizing compilers? -- Optimal reordering and mapping of a class of nested-loops for parallel execution -- Communication-minimal tiling of uniform dependence loops -- Communication-minimal partitioning of parallel loops and data arrays for cache-coherent distributed-memory multiprocessors -- Resource-based communication placement analysis -- Statement-level communication-free partitioning techniques for parallelizing compilers -- Generalized overlap regions for communication optimization in data-parallel programs -- Optimizing the representation of local iteration sets and access sequences for block-cyclic distributions -- Interprocedural array redistribution data-flow analysis -- HPF on fine-grain distributed shared memory: Early experience -- Simple qualitative experiments with a sparse compiler -- Factor-join: A unique approach to compiling array languages for parallel machines -- Compilation of constraint systems to procedural parallel programs -- A multithreaded substrate and compilation model for the implicitly parallel language pH -- Threads for interoperable parallel programming -- A programming environment for dynamic resource allocation and data distribution -- Dependence driven execution for data parallelism -- ?-SSA and its construction through symbolic interpretation -- Compiler support for maintaining cache coherence using data prefetching (extended abstract) -- 3D visualization of program structure and data dependence for parallelizing compilers and parallel programming -- Side effect analysis on user-defined reduction functions with dynamic pointer-linked data structures -- Estimating minimum execution time of perfect loop nests with loop-carried dependences -- Automatic data and computation partitioning on scalable shared memory multiprocessors -- The loop parallelizer LooPo—announcement -- A generalized forall concept for parallel languages -- Memory optimizations in the Intel Reference Compiler. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book presents the thoroughly refereed post-workshop |
|
|
|
|
|
|
|
|
|
|
|
|
|
proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96, held in San Jose, California, in August 1996. The book contains 35 carefully revised full papers together with nine poster presentations. The papers are organized in topical sections on automatic data distribution and locality enhancement, program analysis, compiler algorithms for fine-grain parallelism, instruction scheduling and register allocation, parallelizing compilers, communication optimization, compiling HPF, and run-time control of parallelism. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910790318603321 |
|
|
Autore |
Newton Roger G |
|
|
Titolo |
Why science? [[electronic resource] ] : to know, to understand, and to rely on results / / Roger G. Newton |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hackensack, N.J., : World Scientific, 2012 |
|
|
|
|
|
|
|
ISBN |
|
1-281-60365-1 |
9786613784346 |
981-4397-34-2 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (101 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Contents; Introduction; 1. We Want to Know; Looking at the Heavens; Exploratory Voyages; 2. We Want to Understand; Charles Darwin; Gregor Mendel; Louis Pasteur; Michael Faraday; Max Planck; Enrico Fermi; 3. Science; Chemistry as the Fundamental Science; How Physics Became Most Fundamental; On Reductionism; References and Further Reading; Illustration Credits; Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book aims to describe, for readers uneducated in science, the development of humanity's desire to know and understand the world around us through the various stages of its development to the |
|
|
|
|
|
|
|
|
|
|
present, when science is almost universally recognized - at least in the Western world - as the most reliable way of knowing. The book describes the history of the large-scale exploration of the surface of the earth by sea, beginning with the Vikings and the Chinese, and of the unknown interiors of the American and African continents by foot and horseback. After the invention of the telescope, visual |
|
|
|
|
|
| |