Listing 1 - 10 of 16 | << page >> |
Sort by
|
Choose an application
Choose an application
Multiprocessors --- Science --- Congresses. --- Data processing --- Science - Data processing - Congresses --- Multiprocessors - Congresses
Choose an application
Science --- Mathematics --- Engineering --- Data processing --- Congresses --- Congresses. --- Science - Data processing - Congresses --- Mathematics - Data processing - Congresses --- Engineering - Data processing - Congresses
Choose an application
Choose an application
Computer. Automation --- Electronic data processing --- Science --- Informatique --- Sciences --- Congresses --- Data processing --- Congrès --- Congrès --- Congresses. --- Analyse numérique. --- Numerical analysis --- Electronic data processing - Congresses --- Science - Data processing - Congresses --- Analyse numérique.
Choose an application
Information storage and retrieval systems --- Library science --- Information science --- Documentation --- Minicomputers --- Microcomputers --- Libraries --- Systèmes d'information --- Bibliothéconomie --- Sciences de l'information --- Bibliothèques --- Congresses --- Data processing --- Library applications --- Automation --- Congrès --- Informatique --- Automatisation --- Systèmes d'information --- Bibliothéconomie --- Bibliothèques --- Congrès --- -Microcomputers --- -Minicomputers --- -Mini computers --- Miniature computers --- Miniature electronic equipment --- Home computers --- Librarianship --- Library automation --- Information technology --- Library economy --- Bibliography --- Public institutions --- Librarians --- Automation&delete& --- Data processing&delete& --- Library science - Data processing - Congresses --- Information technology - Congresses --- Documentation - Congresses --- Minicomputers - Congresses --- Microcomputers - Congresses --- Libraries - Automation - Congresses
Choose an application
Due to the growing use of more and more complex computerized systems in safety-critical applications, the formal verification of such systems is increasingly gaining importance. Many automatic and semi-automatic schemes for hardware and software verification ultimately rely on decision procedures for discharging the proof obligations generated during the verification process. Christian Herde deals with the development of such procedures, providing methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables. Although aiming at providing tool support for the verification of hybrid discrete-continuous systems, most of the techniques he describes are general purpose and have applications in many other domains, like operations research, planning, software validation, and electronic design automation.
Engineering -- Data processing -- Congresses. --- High performance computing -- Congresses. --- Science -- Data processing -- Congresses. --- Engineering & Applied Sciences --- Computer Science --- Information Technology --- Computer Science (Hardware & Networks) --- Algebra, Boolean --- Computational complexity. --- Complexity, Computational --- Boolean algebra --- Boole's algebra --- Computer science. --- Computers. --- Computer Science. --- Theory of Computation. --- Computer Science, general. --- Algebraic logic --- Set theory --- Electronic data processing --- Machine theory --- Information theory. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace
Choose an application
This book presents the state-of-the-art in simulation on supercomputers. Leading researchers present results achieved on systems of the High Performance Computing Center Stuttgart (HLRS) for the year 2011. The reports cover all fields of computational science and engineering, ranging from CFD to computational physics and chemistry, to computer science, with a special emphasis on industrially relevant applications. Presenting results for both vector systems and microprocessor-based systems, the book allows readers to compare the performance levels and usability of various architectures. As HLRS operates not only a large cluster system but also one of the largest NEC vector systems in the world, this book also offers excellent insights into the potential of vector systems. The book covers the main methods used in high-performance computing. Its outstanding results in achieving highest performance for production codes are of particular interest for scientists and engineers alike. The book comes with a wealth of color illustrations and tables of results.
Engineering -- Data processing -- Congresses. --- High performance computing -- Congresses. --- High-Performance Computing Center. --- Science -- Data processing -- Congresses. --- High performance computing --- Science --- Engineering --- Mathematics --- Engineering & Applied Sciences --- Physical Sciences & Mathematics --- Mathematics - General --- Sciences - General --- Computer Science --- Data processing --- HLRS --- Mathematics. --- Chemistry, Physical and theoretical. --- Computer mathematics. --- Physics. --- Applied mathematics. --- Engineering mathematics. --- Computational Science and Engineering. --- Theoretical, Mathematical and Computational Physics. --- Appl.Mathematics/Computational Methods of Engineering. --- Theoretical and Computational Chemistry. --- Höchstleistungsrechenzentrum --- Computer science. --- Chemistry. --- Mathematical and Computational Engineering. --- Physical sciences --- Engineering analysis --- Mathematical analysis --- Informatics --- Mathematical physics. --- Chemistry, Theoretical --- Physical chemistry --- Theoretical chemistry --- Chemistry --- Physical mathematics --- Physics --- Computer mathematics --- Electronic data processing
Choose an application
The discussions and plans on all scienti?c, advisory, and political levels to realize an even larger “European Supercomputer” in Germany, where the hardware costs alone will be hundreds of millions Euro – much more than in the past – are getting closer to realization. As part of the strategy, the three national supercomputing centres HLRS (Stuttgart), NIC/JSC (Julic ¨ h) and LRZ (Munich) have formed the Gauss Centre for Supercomputing (GCS) as a new virtual organization enabled by an agreement between the Federal Ministry of Education and Research (BMBF) and the state ministries for research of Baden-Wurttem ¨ berg, Bayern, and Nordrhein-Westfalen. Already today, the GCS provides the most powerful high-performance computing - frastructure in Europe. Through GCS, HLRS participates in the European project PRACE (Partnership for Advances Computing in Europe) and - tends its reach to all European member countries. These activities aligns well with the activities of HLRS in the European HPC infrastructure project DEISA (Distributed European Infrastructure for Supercomputing Appli- tions) and in the European HPC support project HPC-Europa. Beyond that, HLRS and its partners in the GCS have agreed on a common strategy for the installation of the next generation of leading edge HPC hardware over the next ?ve years. The University of Stuttgart and the University of Karlsruhe have furth- more agreed to bundle their competences and resources.
Engineering --Data processing --Congresses. --- High performance computing --Germany --Congresses. --- Science --Data processing --Congresses. --- High performance computing --- Science --- Engineering --- Mathematics - General --- Sciences - General --- Mathematics --- Physical Sciences & Mathematics --- Data processing --- HPC (Computer science) --- Mathematics. --- Chemistry, Physical and theoretical. --- Computer science --- Computer mathematics. --- Physics. --- Computational Mathematics and Numerical Analysis. --- Theoretical and Computational Chemistry. --- Mathematics of Computing. --- Theoretical, Mathematical and Computational Physics. --- Electronic data processing --- Cyberinfrastructure --- Supercomputers --- Chemistry. --- Computer science. --- Informatics --- Physical sciences --- Computer mathematics --- Discrete mathematics --- Computer science—Mathematics. --- Mathematical physics. --- Physical mathematics --- Physics --- Chemistry, Theoretical --- Physical chemistry --- Theoretical chemistry --- Chemistry
Choose an application
This book presents the state-of-the-art in simulation on supercomputers. Leading researchers present results achieved on systems of the High Performance Computing Center Stuttgart (HLRS) for the year 2012. The reports cover all fields of computational science and engineering ranging from CFD via computational physics and chemistry to computer science with a special emphasis on industrially relevant applications. Presenting results for both vector-systems and micro-processor based systems the book allows to compare performance levels and usability of various architectures. As HLRS operates not only a large cluster system but also one of the largest NEC vector systems in the world this book gives an excellent insight also into the potential of vector systems. The book covers the main methods in high performance computing. Its outstanding results in achieving highest performance for production codes are of particular interest for both the scientist and the engineer. The book comes with a wealth of coloured illustrations and tables of results.
Computersimulation. --- Engineering -- Data processing -- Congresses. --- High performance computing -- Germany -- Congresses. --- Numerische Mathematik. --- Science -- Data processing -- Congresses. --- Mathematics --- Physical Sciences & Mathematics --- Mathematics - General --- High performance computing. --- Computer-aided engineering. --- CAE --- HPC (Computer science) --- Mathematics. --- Chemistry, Physical and theoretical. --- Computer mathematics. --- Physics. --- Applied mathematics. --- Engineering mathematics. --- Computational Science and Engineering. --- Theoretical, Mathematical and Computational Physics. --- Appl.Mathematics/Computational Methods of Engineering. --- Theoretical and Computational Chemistry. --- Engineering --- Electronic data processing --- Cyberinfrastructure --- Supercomputers --- Data processing --- Computer science. --- Chemistry. --- Mathematical and Computational Engineering. --- Informatics --- Science --- Physical sciences --- Engineering analysis --- Mathematical analysis --- Mathematical physics. --- Chemistry, Theoretical --- Physical chemistry --- Theoretical chemistry --- Chemistry --- Physical mathematics --- Physics --- Computer mathematics
Listing 1 - 10 of 16 | << page >> |
Sort by
|