|
|
||||||||||
English
Deutsch
Technical Reports
Recent Technical Reports of the Department of Computer Science are available on our FTP-Server.
You can also order the reports from the Computer Science Library at
www.library.inf.ethz.ch.
Numbers for technical reports can be obtained from the
intranet section.
To upload your report, please use the web-forms on this site: Technical Report Upload.
Click below to browse our tech-reports:
|
||
| Number | Description | Available Files |
| tr_749 |
Author:
Lynn Aders, Rene Buffat, Zaheer Chothia, Matthias Wetter, Cagri Balkesen, Peter M. Fischer, Nesime Tatbul
Title: DEBS11 Grand Challenge: Streams, Rules, or a Custom Solution? Technical Reports 749, ETH Zürich, Information Systems, 07 2011. Keywords: Pages: 4 Language: EN |
Abstract 749.abstract Adobe PDF File 749.pdf Adobe Postscript File n/a |
| tr_747 |
Author:
Petar Tsankov, Mohammad Torabi Dashti and David Basin
Title: In-depth fuzz testing of IKE implementations Technical Reports 747, ETH Zürich, Institute of Information Security, 12 2011. Keywords: Software quality, fuzz testing, security protocols, key exchange protocols, IKE Pages: 13 Language: EN |
Abstract 747.abstract Adobe PDF File 747.pdf Adobe Postscript File n/a |
| tr_745 |
Author:
Simon Peter, Andrew Baumann, Zachary Anderson, Timothy Roscoe
Title: Gang scheduling isn’t worth it ... yet Technical Reports 745, ETH Zürich, Systems Group, Department of Computer Science, 11 2011. Keywords: gang scheduling, parallelism, operating systems Pages: 6 Language: EN |
Abstract 745.abstract Adobe PDF File 745.pdf Adobe Postscript File n/a |
| tr_743 |
Author:
Lukas Faessler
Title: Gymnasialer ICT-Unterricht im digitalen Datenlabor Technical Reports 743, ETH Zürich, Informationstechnologie und Ausbildung, 10 2011. Keywords: ICT-Unterricht, Problembasiertes Lernen, 4-Schritte-Modell, E.Tutorial, Gymnasium, Datenlabor Pages: 25 Language: DE |
Abstract 743.abstract Adobe PDF File 743.pdf Adobe Postscript File n/a |
| tr_742 |
Author:
Martin Hentschel, Maxim Grinev, and Donald Kossmann
Title: Building Data Flows Using Distributed Key-Value Stores Technical Reports 742, ETH Zürich, Systems Group, Department of Computer Science, 10 2011. Keywords: Data flow, Key-Value Store, Queue, Resource Utilization Pages: 11 Language: DE |
Abstract 742.abstract Adobe PDF File 742.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_741 |
Author:
Adrian Friedli
Title: Fine-grained aspects of automatic refactoring in C2Eiffel Technical Reports 741, ETH Zürich, Chair of Software Engineering, 10 2011. Keywords: Pages: 53 Language: EN |
Abstract 741.abstract Adobe PDF File 741.pdf Adobe Postscript File n/a |
| tr_740 |
Author:
Hans-Joachim Boeckenhauer, Dennis Komm, Richard Kralovic, Peter Rossmanith
Title: On the advice complexity of the knapsack problem Technical Reports 740, ETH Zürich, Department of Computer Science, Information Technology and Education, 09 2011. Keywords: Online algorithms, advice complexity, competitive ratio, knapsack problem Pages: 12 Language: EN |
Abstract 740.abstract Adobe PDF File 740.pdf Adobe Postscript File n/a |
| tr_738 |
Author:
Dennis Komm, Richard Kralovic, Tobias Moemke
Title: On the advice complexity of the set cover problem Technical Reports 738, ETH Zürich, Department of Computer Science, Information Technology and Education, 09 2011. Keywords: Online algorithms, advice complexity, competitive ratio, set cover problem Pages: 11 Language: EN |
Abstract 738.abstract Adobe PDF File 738.pdf Adobe Postscript File n/a |
| tr_736 |
Author:
Christoph Sprenger and David Basin
Title: Refining Key Establishment Technical Reports 736, ETH Zürich, Information Security, 09 2011. Keywords: Security protocols, refinement, key establishment, Kerberos. Pages: 13 Language: EN |
Abstract 736.abstract Adobe PDF File 736.pdf Adobe Postscript File n/a |
| tr_735 |
Author:
Stefan Hildenbrand, Donald Kossmann, Tahmineh Sanamrad, Carsten Binnig, Franz Faerber and Johannes Woehler
Title: Query Processing on Encrypted Data in the Cloud Technical Reports 735, ETH Zürich, Systems Group, Department of Computer Science, 09 2011. Keywords: Privacy, Query Processing Pages: 13 Language: EN |
Abstract 735.abstract Adobe PDF File 735.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_734 |
Author:
Ghislain Fourny, Daniela Florescu, Donald Kossmann, Markus Zaharioudakis
Title: A Time Machine for XML Technical Reports 734, ETH Zürich, Systems Group, Dept. of Comp. Science, 08 2011. Keywords: PUL, SVN, Transaction Time, XML, XQuery, Versioning Pages: 10 Language: EN |
Abstract 734.abstract Adobe PDF File 734.pdf Adobe Postscript File n/a |
| tr_733 |
Author:
Andreas Emil Feldmann, Luca Foschini
Title: Balanced Partitions of Trees and Applications Technical Reports 733, ETH Zürich, Institute of Theoretical Computer Science, 07 2011. Keywords: k-balanced partitioning, trees, graphs, bicriteria approximation Pages: 19 Language: EN |
Abstract 733.abstract Adobe PDF File 733.pdf Adobe Postscript File n/a |
| tr_732 |
Author:
Matthias Schmalz
Title: Term Rewriting in Logics of Partial Functions Technical Reports 732, ETH Zürich, Information Security Group, 07 2011. Keywords: Pages: 26 Language: DE |
Abstract 732.abstract Adobe PDF File 732.pdf Adobe Postscript File n/a |
| tr_731 |
Author:
Andreas Emil Feldmann, Shantanu Das, and Peter Widmayer
Title: Restricted Cuts for Bisections in Solid Grids: A Proof via Polygons Technical Reports 731, ETH Zürich, Institute of Theoretical Computer Science, 07 2011. Keywords: bisection, grid graphs, approximation, polygons Pages: 43 Language: EN |
Abstract 731.abstract Adobe PDF File 731.pdf Adobe Postscript File n/a |
| tr_730 |
Author:
Andreas Emil Feldmann, Peter Widmayer
Title: An O(n^4) Time Algorithm to Compute the Bisection Width of Solid Grid Graphs Technical Reports 730, ETH Zürich, Institute of Theoretical Computer Science, 07 2011. Keywords: bisection, grid graphs Pages: 17 Language: EN |
Abstract 730.abstract Adobe PDF File 730.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_728 |
Author:
Sacha Krug
Title: Analysis of Approximation Algorithms for the Traveling Salesman Problem in Near-Metric Graphs Technical Reports 728, ETH Zürich, Department of Computer Science, 06 2011. Keywords: approximation algorithms, traveling salesman problem, Hamiltonian path problem, reoptimization Pages: 117 Language: EN |
Abstract 728.abstract Adobe PDF File 728.pdf Adobe Postscript File n/a |
| tr_727 |
Author:
Herbert Bruderer
Title: Zeitrechnung Technical Reports 727, ETH Zürich, Informationstechnologie und Ausbildung, 05 2010. Keywords: Zeitrechnung Kalender Jahr Null Schaltjahre gregorianischer Kalender Pages: 30 Language: DE |
Abstract 727.abstract Adobe PDF File 727.pdf Adobe Postscript File n/a |
| tr_726 |
Author:
Herbert Bruderer
Title: Informatik macht Schule Technical Reports 726, ETH Zürich, Informationstechnologie und Ausbildung, 04 2010. Keywords: Foerderung des Informatikunterrichts Volksschule Mittelschule Benachteiligung der MINT-Faecher an Schweizer Gymnasien Pages: 67 Language: DE |
Abstract 726.abstract Adobe PDF File 726.pdf Adobe Postscript File n/a |
| tr_724 |
Author:
Claudio Marforio, Aurélien Francillon, Srdjan Capkun
Title: Application Collusion Attack on the Permission-Based Security Model and its Implications for Modern Smartphone Systems Technical Reports 724, ETH Zürich, System Security Group, 04 2010. Keywords: application collusion, covert channels, smartphone security, android security Pages: 16 Language: EN |
Abstract 724.abstract Adobe PDF File 724.pdf Adobe Postscript File n/a |
| tr_723 |
Author:
Thai Son Hoang and Simon Hudon
Title: Developing Control Systems with Some Fragile Environment Technical Reports 723, ETH Zürich, Chair of Information Security, 04 2010. Keywords: Event-B, formal modelling, refinement, development strategy, system development Pages: 10 Language: EN |
Abstract 723.abstract Adobe PDF File 723.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_722 |
Author:
Kyumars Sheykh Esmaili, Tahmineh Sanamrad, Peter M. Fischer and Nesime Tatbul
Title: Changing Flights in Mid-air: A Model for Safely Modifying Continuous Queries Technical Reports 722, ETH Zürich, Systems Group, Department of Computer Science, 06 2010. Keywords: Stream Processing, Continuous Query, Query Lifecycle, Query Modification Pages: 42 Language: DE |
Abstract 722.abstract Adobe PDF File 722.pdf Adobe Postscript File 722.ps |
| tr_721 |
Author:
Sebastian Martin, Peter Kaufmann, Mario Botsch, Eitan Grinspun, Markus Gross
Title: Unified Simulation of Elastic Rods, Shells and Solids: Implementation Notes Technical Reports 721, ETH Zürich, Institute for Visual Computing, 03 2010. Keywords: physically-based simulation, solids, shells, rods, plasticity, cutting Pages: 3 Language: EN |
Abstract 721.abstract Adobe PDF File 721.pdf Adobe Postscript File n/a |
| tr_720 |
Author:
Benjamin Schindler, Juergen Waser, Raphael Fuchs, Ronny Peikert
Title: Multiverse data-flow control Technical Reports 720, ETH Zürich, Computational Science, 02 2010. Keywords: dynamic data management, data-flow, time-varying data, visual knowledge discovery, graph-based data handling, visualization system design Pages: 19 Language: EN |
Abstract 720.abstract Adobe PDF File 720.pdf Adobe Postscript File n/a |
| tr_719 |
Author:
Philipp Unterbrunner, Gustavo Alonso, and Donald Kossmann
Title: E-Cast: Elastic Multicast Technical Reports 719, ETH Zürich, Systems Group, Department of Computer Science, 02 2010. Keywords: Partial Replication, Strong Consistency, Fault Tolerance, Multicast, Cloud Computing Pages: 16 Language: EN |
Abstract 719.abstract Adobe PDF File 719.pdf Adobe Postscript File 719.ps |
| tr_718 |
Author:
Cas Cremers
Title: A distance hijacking attack on the CRCS distance bounding protocol Technical Reports 718, ETH Zürich, Chair of Information Security, 02 2010. Keywords: Distance bounding, distance hijacking, PKI Pages: 4 Language: EN |
Abstract 718.abstract Adobe PDF File 718.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_717 |
Author:
Mohammad Seyed Alavi
Title: SCOOP in Practice Technical Reports 717, ETH Zürich, Department of Computer Science, 01 2010. Keywords: Pages: 15 Language: EN |
Abstract 717.abstract Adobe PDF File 717.pdf Adobe Postscript File n/a |
| tr_716 |
Author:
Alexander J. Summers and Peter Müller
Title: Freedom Before Commitment - Simple Flexible Initialisation for Non-Null Types Technical Reports 716, ETH Zürich, Group of Programming Methodology, 01 2010. Keywords: object initialisation non-null type system Pages: 42 Language: EN |
Abstract 716.abstract Adobe PDF File 716.pdf Adobe Postscript File n/a |
| tr_714 |
Author:
Andreas Kägi, Hermann Lehner, and Peter Müller
Title: A Formalization of JML in the Coq Proof System Technical Reports 714, ETH Zürich, Group of Programming Methodology, 12 2010. Keywords: Pages: 108 Language: EN |
Abstract 714.abstract Adobe PDF File 714.pdf Adobe Postscript File n/a |
| tr_713 |
Author:
Peter Müller and Joseph N. Ruskiewicz
Title: Using Debuggers to Understand Failed Verification Attempts Technical Reports 713, ETH Zürich, Informatik, 01 2010. Keywords: Failed Verification Counterexample Execution Pages: 15 Language: EN |
Abstract 713.abstract Adobe PDF File 713.pdf Adobe Postscript File n/a |
| tr_712 |
Author:
Michela Pedroni, Manuel Oriol, Bertrand Myer
Title: The Prior Experience of Entering CS Students Technical Reports 712, ETH Zürich, Chair of Software Engineering, 01 2010. Keywords: Pages: 10 Language: EN |
Abstract 712.abstract Adobe PDF File 712.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_711 |
Author:
Ioannis T. Kassios and Peter Müller
Title: Modular Specification and Verification of Delegation with SMT Solvers Technical Reports 711, ETH Zürich, , 12 2010. Keywords: Pages: 34 Language: EN |
Abstract 711.abstract Adobe PDF File 711.pdf Adobe Postscript File n/a |
| tr_710 |
Author:
Markus Dahinden
Title: Anleitung zur Erstellung von problembasierten Pruefungsfragen fuer den ICT-Unterricht Technical Reports 710, ETH Zürich, Informationstechnologie und Ausbildung, 12 2010. Keywords: Problembasierte Pruefungsfragen, Kompetenzorientierte Pruefungsfragen, Computer-basierte Pruefung, Online-Pruefung, Sioux Pages: 22 Language: DE |
Abstract 710.abstract Adobe PDF File 710.pdf Adobe Postscript File n/a |
| tr_705 |
Author:
Herbert Bruderer
Title: Konrad Zuse und die ETH Zuerich Technical Reports 705, ETH Zürich, Informationstechnologie und Ausbildung, 06 2010. Keywords: Z4, Ermeth, Rechenlocher M9/Z9, Museum fuer Kommunikation (Bern) Pages: 40 Language: DE |
Abstract 705.abstract Adobe PDF File 705.pdf Adobe Postscript File n/a |
| tr_703 |
Author:
Hans-Joachim Boeckenhauer, Dennis Komm, Rastislav Kralovic, Richard Kralovic
Title: On the advice complexity of the k-server problem Technical Reports 703, ETH Zürich, Department of Computer Science, Information Technology and Education, 12 2010. Keywords: Online algorithms, advice complexity, competitive ratio, k-server problem Pages: 14 Language: EN |
Abstract 703.abstract Adobe PDF File 703.pdf Adobe Postscript File n/a |
| tr_702 |
Author:
Simone Frau and Mohammad Torabi Dashti
Title: Integrated Specification and Verification of Security Protocols and Policies Technical Reports 702, ETH Zürich, INFSEC, 12 2010. Keywords: Security Protocols, Security Policies, Decidability, Constraint Solving Pages: 15 Language: EN |
Abstract 702.abstract Adobe PDF File 702.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_701 |
Author:
Mohammad Torabi Dashti
Title: Accountability in optimistic non-repudiation protocols Technical Reports 701, ETH Zürich, INFSEC, 12 2010. Keywords: Non-repudiation; Accountability; Trust Pages: 12 Language: EN |
Abstract 701.abstract Adobe PDF File 701.pdf Adobe Postscript File n/a |
| tr_700 |
Author:
Yann Disser, Matus Mihalak, Peter Widmayer
Title: Reconstruction of a polygon from angles without prior knowledge of the size Technical Reports 700, ETH Zürich, Institute of Theoretical Computer Science, 11 2010. Keywords: autonomous agents, simple robots, simple polygon, reconstruction, visibility graph, angles Pages: 3 Language: EN |
Abstract 700.abstract Adobe PDF File 700.pdf Adobe Postscript File n/a |
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
