|
|
||||||||||
English
Deutsch
Research Focus
|
November 2007 |
Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Manuel Oriol: When programs test themselves Wouldn't it be great if instead of having to prepare thousands of test cases and interpret the results manually we could just let programs test themselves automatically? The AutoTest framework does just this, based on the use of "contracts" built into the software itself. |
| September 2006 |
Prof. Gustavo Alonso, Christian Plattner: Ganymed - A Scalable, Open Source Platform for Database Replication
Today’s IT infrastructure runs mostly on computer clusters. Whether the cluster has two, four, 68, or 128 nodes it does not matter, what is important is that many of the, e.g., banking, insurance, or electronic commerce applications that run today, are doing so on clusters. Achieving scalability through the use of clusters is called scaling out. The alternative is to scale up, that is, to use larger and larger computers. Unfortunately, scaling up is not economically viable, certainly not to the sizes that are needed to run large applications such as electronic bookstores or complex web sites. Hence, scaling out has become the dominant architecture for large IT installations. |
|
February 2006 |
Donald Kossmann, Jens-Peter Dittrich: Personal Data Spaces
Personal information is the set of files that exist on all your computers and network drives. It is the most valuable asset of your digital life. To manage that information you have to struggle with a jungle of technologies like different file formats and data processing solutions, i.e., email applications, text and word processors, spreadsheet managers, tools for backup, versioning and synchronization, data sharing, search utilities, and many others. |
| December 2005 |
Dmitry Feichtner-Kozlov: Discrete Mathematics Discrete Mathematics is a branch of modern mathematics which distinguishes itself from the more classical branches in several important respects. Probably the most characteristic feature, "the trademark" of Discrete Mathematics is to study mathematical concepts in a constructive way. The classical question Does there exist an object with property X? gets transformed into How can we construct an object with property X? |
| April 2005 |
Walter Gander: Heisenberg Effects in Computer-Arithmetic Apart from the 150th anniversary of ETH, we can celebrate this year also a 20th anniversary: since 1985 there exists for computer hardware the ANSI/IEEE Standard 754 for Floating Point Numbers. |
| February 2005 |
Jean-Raymond Abrial: Managing the Construction of Large Computerized Systems The subject mentioned in the title of this short article does not seem, at first glance, to be a genuine research subject. Although there are, from time to time, some famous breakdowns of large computerized systems, it seems nevertheless that these systems are working nowadays in a satisfactory fashion. Their construction process must have been mastered, otherwise disasters would have occurred more frequently. |
| November 2004 |
Jürg Gutknecht: GoingPublik: Testing System Design Outside of the Ivory Tower While it is easy and has become quite common for computer scientists to solve their own, carefully and iteratively self-made problems within the often cited ‘ivory tower’, the vision of a creative artist typically provides computer scientists with problems falling outside of their own realm of thinking and which are often ‘hard nuts to crack’. In addition, artists can successfully act as natural motivators, animators and integrators within a scientific research institute, making an interdepartmental team of collaborators pull together towards a single goal. |
| July 2004 |
Moira Norrie: Paper on the Move Paper has many potential advantages in mobile applications and new technologies for digital paper offer the possibility of interweaving the paper and digital worlds. As a demonstrator project, we are developing a mobile tourist information system for this year’s Edinburgh festivals based around an interactive paper map and event brochure and an audio channel. |
| June 2004 |
Markus Gross, Stephan Würmlin: blue-c: A Spatially Immersive Display and 3D Video Portal for Telepresence blue-c [1] combines the qualities of total immersion experienced in CAVE™-like immersive projection environments with simultaneous, real-time 3D video acquisition and rendering from multiple cameras. On June 23, an official demo day will be held to demonstrate the blue-c project and technology to a larger audience. |
| April 2004 |
Robert Stärk: A Logic for Secure Memory Access of Abstract State Machines How can we formally prove that all memory accesses of a program are permitted? |
| March 2004 |
Gaston Gonnet: Where Did SARS Come From? Analyzing the Evolutionary History of the SARS Virus. |
| January 2004 |
ETH Bulletin: Leben in der Informationsgesellschaft |
| September 2003 |
At the Frontiers of Quantum Computing and Cryptography How to Fool Quantum Adversaries in Cryptography. |
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne
graphische Elemente dargestellt. Die Funktionalität der
Website ist aber trotzdem gewährleistet. Wenn Sie diese
Website regelmässig benutzen, empfehlen wir Ihnen, auf
Ihrem Computer einen aktuellen Browser zu installieren. Weitere
Informationen finden Sie auf
folgender
Seite.
Important Note:
The content in this site is accessible to any browser or
Internet device, however, some graphics will display correctly
only in the newer versions of Netscape. To get the most out of
our site we suggest you upgrade to a newer browser.
More
information
