Narrow your search

Library

KU Leuven (11)

ULB (11)

ULiège (11)

Odisee (10)

Thomas More Kempen (10)

Thomas More Mechelen (10)

UCLL (10)

VIVES (10)

LUCA School of Arts (4)

UAntwerpen (3)

More...

Resource type

book (16)


Language

English (16)


Year
From To Submit

2014 (1)

2013 (1)

2012 (2)

2011 (1)

2010 (1)

More...
Listing 1 - 10 of 16 << page
of 2
>>
Sort by

Book
Scientific computing on supercomputers : proceedings of the second, third, fourth international workshop, Antwerp
Authors: ---
Year: 1989 Publisher: New York Plenum Press

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Scientific applications of multiprocessors
Authors: ---
ISBN: 0137957742 9780137957743 Year: 1989 Publisher: Englewood Cliffs (N.J.) : Prentice-Hall,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
15th IMACS world congress on scientific computation, modelling and applied mathematics, Berlin, August 1997 : [proceedings]
Authors: ---
ISBN: 3896855506 3896855514 3896855522 3896855530 3896855549 3896855557 3896855565 9783896855565 9783896855510 9783896855527 9783896855503 9783896855534 9783896855558 9783896855541 Year: 1997 Publisher: Berlin: Wissenschaft & Technik,

Scientific computing on supercomputers II : proceedings of the fifth international workshop [...], held November 29-30, 1989, at Antwerp
Authors: ---
ISBN: 0306437120 1461279143 1461306590 Year: 1990 Publisher: New York London Plenum Press

Computer science and scientific computing : proceedings of the third ICASE conference on scientific computing, Williamsburg, Virginia, April 1 and 2, 1976
Authors: ---
ISBN: 012528540X 1322478090 1483272486 9780125285407 Year: 1976 Publisher: New York: Academic press,


Book
The application of mini- and micro-computers in information, documentation and libraries: : proceedings of the international conference on the application of mini- and micro-computers in information, documentation and libraries, Tel-Aviv, Israel, March 13-18, 1983
Authors: ---
ISBN: 0444867678 9780444867674 Year: 1985 Volume: v. 3 Publisher: Amsterdam: North-Holland,


Book
Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems
Authors: ---
ISBN: 3834814946 3834899496 Year: 2011 Publisher: Wiesbaden : Vieweg+Teubner Research,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
High performance computing in science and engineering '11 : transactions of the High Performance Computing Center, Stuttgart (HLRS) 2011
Authors: --- --- ---
ISBN: 3642238688 3642238696 9786613576927 1280399007 Year: 2012 Publisher: Heidelberg ; New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
High performance computing in science and engineering '08 : transactions of the High Performance Computing Center, Stuttgart (HLRS) 2008
Authors: --- --- --- ---
ISBN: 3642100007 3540883010 9786611965129 128196512X 3540883037 Year: 2009 Publisher: Berlin ; London : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
High performance computing in science and engineering : transactions of the high performance computing center, Stuttgart (HLRS) 2012
Authors: --- --- ---
ISBN: 3642333737 3642333745 1299336906 Year: 2013 Publisher: Berlin ; Heidelberg : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Listing 1 - 10 of 16 << page
of 2
>>
Sort by