| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910478888703321 |
|
|
Autore |
Curto Raúl E. <1954-> |
|
|
Titolo |
Flat extensions of positive moment matrices : recursively generated relations / / Raúl E. Curto, Lawrence A. Fialkow |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, Rhode Island : , : American Mathematical Society, , [1998] |
|
©1998 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (73 p.) |
|
|
|
|
|
|
Collana |
|
Memoirs of the American Mathematical Society, , 0065-9266 ; ; number 648 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Moment problems (Mathematics) |
Functions of complex variables |
Matrices |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"November 1998, volume 136, number 648 (third of 6 numbers)." |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (pages 52-54). |
|
|
|
|
|
|
Nota di contenuto |
|
""Contents""; ""Chapter 1. Introduction""; ""Chapter 2. Flat Extensions for Moment Matrices""; ""Chapter 3. The Singular Quartic Moment Problem""; ""Chapter 4. The Algebraic Variety of γ""; ""Chapter 5. J.E. McCarthy's Phenomenon and the Proof of Theorem 1.5""; ""Summary of Results""; ""Bibliography""; ""List of Symbols"" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910739479003321 |
|
|
Titolo |
Languages and Compilers for Parallel Computing : 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers / / edited by Hironori Kasahara, Keiji Kimura |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 276 p. 101 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 7760 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Compilers (Computer programs) |
Computer programming |
Software engineering |
Operating systems (Computers) |
Image processing - Digital techniques |
Computer vision |
Compilers and Interpreters |
Programming Techniques |
Software Engineering |
Operating Systems |
Computer Imaging, Vision, Pattern Recognition and Graphics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talk -- Just in Time Load Balancing -- Workshop Papers -- AlphaZ: A System for Design Space Exploration in the Polyhedral Model -- Compiler Optimizations: Machine Learning versus O3 -- The STAPL Parallel Graph Library -- Set and Relation Manipulation for the Sparse Polyhedral Framework -- Parallel Clustered Low-Rank Approximation of Graphs and Its Application to Link Prediction -- OmpSs-OpenCL Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD Applications on GPUs -- UCIFF: Unified Cluster Assignment Instruction Scheduling and Fast Frequency Selection for Heterogeneous Clustered VLIW Cores -- A Study on the Impact of Compiler Optimizations on High-Level Synthesis |
|
|
|
|
|
|
|
|
|
|
|
-- FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction -- Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages -- A Fast Parallel Graph Partitioner for Shared-Memory Inspector/Executor Strategies -- A Software-Based Method-Level Speculation Framework for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery of OmpSs Task Dependencies -- Beyond Do Loops: Data Transfer Generation with Convex Array Regions -- Workshop Posters -- Finish Accumulators: An Efficient Reduction Construct for Dynamic Task Parallelism -- FlashbackSTM: Improving STM Performance by Remembering the Past -- Kaira: Generating Parallel Libraries and Their Usage with Octave -- Language and Architecture Independent Software Thread-Level Speculation -- Abstractions for Defining Semi-Regular Grids Orthogonally from Stencils. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2012, held in Tokyo, Japan, in September 2012. The 16 revised full papers, 5 poster papers presented with 1 invited talk were carefully reviewed and selected from 39 submissions.The focus of the papers is on following topics: compiling for parallelism, automatic parallelization, optimization of parallel programs, formal analysis and verification of parallel programs, parallel runtime systems, task-parallel libraries, parallel application frameworks, performance analysis tools, debugging tools for parallel programs, parallel algorithms and applications. |
|
|
|
|
|
|
|
| |