RISC - Linz Research Institute for Symbolic Computation

نویسندگان

  • Jens VOLKERT
  • Wolfgang SCHREINER
  • Thomas FAHRINGER
  • Dieter Kranzlmüller
  • Sigve Haug
  • Pierre Kuonen
  • Heinz Stockinger
  • Christoph Witzig
  • Harald Meyer
  • Karin Anna Hummel
  • Mario Lassnig
  • Vincent Garonne
  • Angelos Molfetas
  • Miguel Branco
  • Ralph Vigne
  • Jürgen Mangler
  • Erich Schikuta
  • Christoph Witzany
چکیده

The Cloud is often referred to as the next big thing in distributed computing. Cloud providers offer different kinds and different levels of services, leading to new kinds of application and raising interest from many, including the media. But what is really behind this new approach of using networking resources for community applications? This talk intends to provide a neutral survey of cloud solutions with an in-depth analysis of specific characteristics. The starting point is a classification of cloud services, explaining the differences and available solutions. Experiments with actual clouds provide more detailed information about the viability of using the cloud for science and research, and offer a glimpse on today's benefits and future drawbacks of cloud computing. Prof. Dr. Dieter Kranzlmüller Ludwig-Maximilian University Munich and Leibniz Supercomputing Centre Invited Talk 2: An Overview of CRO grid NGI Abstract CRO NGI (Croatian National Grid Infrastructure) is an integrated allocated computer environment, consisting primarily of computer (processing) and data (disc and tape) resources, which are located in geographically allocated sites within the Republic of Croatia. CRO NGI is a common resource of the scientific and academic community and represents the fundamental infrastructure for the scientific research, the application of new technologies and the integration of Croatia and Croatian scientists into the European Research (ERA) and European Higher Education (EHEA) Area. The Coordinator of CRO NGI is the University Computing Centre University of Zagreb SRCE. The CRO NGI Board, appointed by the minister responsible for science, the Council of Partners and the Council of Users take part in the management. CRO NGI is financed as a separate unit in the State Budget of the Republic of Croatia. The first CRO NGI Partner Contracts were signed on November 5, 2007 by four institutions, plus two Partners by default the Ministry of Science and Education and CARNet, the Croatian NREN. The Croatian National Grid Initiative (CRO-GRID) is a voluntary-based association of academic and research institutions, government institutions and commercial companies gathered around CRO NGI. Founders and members of CRO-GRID are the institutions which took part in the poly-project CRO-GRID from 2004 to 2007. Dobrisa Dobrenic University Computing Center-SRCE, University of Zagreb THE SWISS NATIONAL GRID ASSOCIATION AND ITS EXPERIENCE ON A NATIONAL GRID INFRASTRUCTURE Nabil Abdennadher, Dean Flanders, Sigve Haug, Pierre Kuonen, Heinz Stockinger, Christoph Witzig Abstract In the following article we provide our experience with the creation of the Swiss National Grid Association (SwiNG) as well as the establishment of a nation­wide Grid infrastructure based on the ARC Grid middleware. Although not yet fully in production, we have already several scientific user communities in different domains (high energy physics, snow and avalanche related physics, biochemistry, proteomics (bioinformatics) and computer security).In the following article we provide our experience with the creation of the Swiss National Grid Association (SwiNG) as well as the establishment of a nation­wide Grid infrastructure based on the ARC Grid middleware. Although not yet fully in production, we have already several scientific user communities in different domains (high energy physics, snow and avalanche related physics, biochemistry, proteomics (bioinformatics) and computer security).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

3-Loop Corrections to the Heavy Flavor Wilson Coefficients in Deep-Inelastic Scattering∗

J. Ablinger1, A. Behring2, J. Blümlein†2, A. De Freitas2, A. Hasselhuhn3, A. von Manteuffel4, C.G. Raab1,5, M. Round1,2, C. Schneider1, and F. Wißbrock1,2,6 1 Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Altenbergerstraße 69, A–4040, Linz, Austria 2 Deutsches Elektronen-Synchrotron, DESY, Platanenallee 6, D-15738 Zeuthen, Germany E-mail: johannes.bluemlein@des...

متن کامل

RISC - Linz Research Institute for Symbolic Computation

We present a theorem-proving experiment performed with a computer algebra system. It proves a conjecture about the general pattern of the generating functions counting rooted maps of given genus. These functions are characterized by a complex non-linear differential system between generating functions of multi-rooted maps. Establishing a pattern for these functions requires a sophisticated indu...

متن کامل

Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases

We review our algebraic framework for linear boundary problems (concentrating on ordinary differential equations). Its starting point is an appropriate algebraization of the domain of functions, which we have named integro-differential algebras. The algebraic treatment of boundary problems brings up two new algebraic structures whose symbolic representation and computational realization is base...

متن کامل

The RISC ProofNavigator Tutorial and Manual1

This document describes the use of the RISC ProofNavigator, an interactive proving assistant for program and system reasoning developed at the Research Institute for Symbolic Computation (RISC).

متن کامل

RISC - Linz Research Institute for Symbolic Computation

interpretation Jacques Carette and Stephen Forrest Computing and Software Department, McMaster University Hamilton, Ontario, Canada {carette,forressa}@mcmaster.ca Abstract. We continue our investigations of what exactly is in the code base of a large, general purpose, dynamically-typed computer algebra system (Maple). In this paper, we apply and adapt formal techniques from program analysis to ...

متن کامل

Label Management in Mathematical Libraries

In this paper we identify the organizational problems of Mathematical Knowledge Management and describe tools that address one of these problems, namely, the management of composite, hierarchical labels for formalized knowledge. We describe how the tools are realized in the frame of the Theorema system. Acknowledgments This work was partially supported by the RISC PhD scholarship program of the...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009