|
|
||||||||||
English
Deutsch
Technische Berichte
Auf unserem FTP-Server sind die neuesten Technischen Berichte des Departements Informatik verfügbar.
Die Berichte
können auch über die Informatik Bibliothek
bestellt werden.
Nummern für technische Berichte erhalten Sie in unserer
intranet Sektion.
Laden Sie den Bericht anschliessend mittels folgendem Formular hoch:
Upload technische Berichte.
Wählen sie einen der untenstehenden Links um unsere Tech-Reports zu durchforsten:
|
||
| Nummer | Beschreibung | Verfügbare Dateien |
| tr_762 |
Autor:
Tomas Hruz and Marcel Schoengens
Titel: Partially Specified Nearest Neighbor Search Technische Berichte 762, ETH Zürich, Theoretical Computer Science, 05 2012. Stichworte: Seiten: 15 Sprache: EN |
Zusammenfassung 762.abstract Adobe PDF Datei 762.pdf Adobe Postscript Datei n/a |
| tr_761 |
Autor:
Stefan Heule, Ioannis T. Kassios, Peter Mueller, and Alexander J. Summers
Titel: Verification Condition Generation for Permission Logics with Abstraction Functions Technische Berichte 761, ETH Zürich, Chair of Programming Methodology, 05 2012. Stichworte: Program verification, abstract predicates, verification condition generation Seiten: 15 Sprache: EN |
Zusammenfassung 761.abstract Adobe PDF Datei 761.pdf Adobe Postscript Datei n/a |
| tr_760 |
Autor:
Philipp Hupp and Riko Jacob
Titel: Tight Bounds for Low Dimensional Star Stencils in the External Memory Model Technische Berichte 760, ETH Zürich, Institute of Theoretical Computer Science, 05 2012. Stichworte: Hierarchical Memories, Lower Bounds, High Performance Computing, Isoperimetric Inequalities, Data Layouts, Capacity Cache Misses, Non-Compulsory I/Os Seiten: 40 Sprache: EN |
Zusammenfassung 760.abstract Adobe PDF Datei 760.pdf Adobe Postscript Datei n/a |
| tr_759 |
Autor:
Tahmineh Sanamrad, Daniel Widmer, Donald Kossmann
Titel: My Private Google Calendar Technische Berichte 759, ETH Zürich, Systems Group, Department of Computer Science, 04 2012. Stichworte: Functionality-preserving encryption, privacy in Cloud Applications Seiten: 19 Sprache: EN |
Zusammenfassung 759.abstract Adobe PDF Datei 759.pdf Adobe Postscript Datei n/a |
| tr_758 |
Autor:
Marcel Schoengens and Tomas Hruz
Titel: A Simple Framework for the Generalized Nearest Neighbor Problem Technische Berichte 758, ETH Zürich, Theoretical Computer Science, 04 2012. Stichworte: Seiten: 15 Sprache: EN |
Zusammenfassung 758.abstract Adobe PDF Datei 758.pdf Adobe Postscript Datei n/a |
| Nummer | Beschreibung | Verfügbare Dateien |
| tr_757 |
Autor:
Alec Jacobson, Olga Sorkine
Titel: A Cotangent Laplacian for Images as Surfaces Technische Berichte 757, ETH Zürich, Institute of Visual Computing, 04 2012. Stichworte: image processing, discrete differential geometry Seiten: 2 Sprache: EN |
Zusammenfassung 757.abstract Adobe PDF Datei 757.pdf Adobe Postscript Datei n/a |
| tr_756 |
Autor:
Simon Peter, Rebecca Isaacs, Paul Barham, Richard Black, Timothy Roscoe
Titel: Efficient data-parallel computing on small heterogeneous clusters Technische Berichte 756, ETH Zürich, Systems Group, Department of Computer Science, 04 2012. Stichworte: Cloud computing, clusters, Data-parallel computing, constraint programming, prediction Seiten: 14 Sprache: EN |
Zusammenfassung 756.abstract Adobe PDF Datei 756.pdf Adobe Postscript Datei n/a |
| tr_755 |
Autor:
Joachim M. Buhmann, Matus Mihalak, Rastislav Sramek and Peter Widmayer
Titel: Optimization in the presence of uncertainty Technische Berichte 755, ETH Zürich, Institute of Theoretical Computer Science & Information Science and Engineering, 04 2012. Stichworte: optimization, uncertainty, noise, approximation set Seiten: 23 Sprache: EN |
Zusammenfassung 755.abstract Adobe PDF Datei 755.pdf Adobe Postscript Datei n/a |
| tr_753 |
Autor:
Aanjhan Ranganathan, Boris Danev and Srdjan Capkun
Titel: FMCW-based Realization of Distance Bounding Protocols Technische Berichte 753, ETH Zürich, Institute of Information Security, 03 2012. Stichworte: fmcw, distance bounding Seiten: 2 Sprache: DE |
Zusammenfassung 753.abstract Adobe PDF Datei 753.pdf Adobe Postscript Datei n/a |
| tr_752 |
Autor:
Michael Pradel, Ciera Jaspan, Jonathan Aldrich, and Thomas R. Gross
Titel: Statically Checking API Protocol Conformance with Mined Multi-Object Specifications - Companion Report Technische Berichte 752, ETH Zürich, Institute of Computer Systems, 03 2012. Stichworte: Seiten: 11 Sprache: EN |
Zusammenfassung 752.abstract Adobe PDF Datei 752.pdf Adobe Postscript Datei n/a |
| Nummer | Beschreibung | Verfügbare Dateien |
| tr_749 |
Autor:
Lynn Aders, Rene Buffat, Zaheer Chothia, Matthias Wetter, Cagri Balkesen, Peter M. Fischer, Nesime Tatbul
Titel: DEBS11 Grand Challenge: Streams, Rules, or a Custom Solution? Technische Berichte 749, ETH Zürich, Information Systems, 07 2011. Stichworte: Seiten: 4 Sprache: EN |
Zusammenfassung 749.abstract Adobe PDF Datei 749.pdf Adobe Postscript Datei n/a |
| tr_747 |
Autor:
Petar Tsankov, Mohammad Torabi Dashti and David Basin
Titel: In-depth fuzz testing of IKE implementations Technische Berichte 747, ETH Zürich, Institute of Information Security, 12 2011. Stichworte: Software quality, fuzz testing, security protocols, key exchange protocols, IKE Seiten: 13 Sprache: EN |
Zusammenfassung 747.abstract Adobe PDF Datei 747.pdf Adobe Postscript Datei n/a |
| tr_746 |
Autor:
Robert Carnecky, Raphael Fuchs, Stephanie Mehl, Yun Jang, and Ronald Peikert
Titel: Smart transparency for illustrative visualization of complex flow surfaces Technische Berichte 746, ETH Zürich, Scientific Visualization Group, 05 2011. Stichworte: illustrative rendering, transparency, flow visualization, integral surface, illustration buffer, perception Seiten: 14 Sprache: EN |
Zusammenfassung 746.abstract Adobe PDF Datei 746.pdf Adobe Postscript Datei n/a |
| tr_745 |
Autor:
Simon Peter, Andrew Baumann, Zachary Anderson, Timothy Roscoe
Titel: Gang scheduling isn’t worth it ... yet Technische Berichte 745, ETH Zürich, Systems Group, Department of Computer Science, 11 2011. Stichworte: gang scheduling, parallelism, operating systems Seiten: 6 Sprache: EN |
Zusammenfassung 745.abstract Adobe PDF Datei 745.pdf Adobe Postscript Datei n/a |
| tr_743 |
Autor:
Lukas Faessler
Titel: Gymnasialer ICT-Unterricht im digitalen Datenlabor Technische Berichte 743, ETH Zürich, Informationstechnologie und Ausbildung, 10 2011. Stichworte: ICT-Unterricht, Problembasiertes Lernen, 4-Schritte-Modell, E.Tutorial, Gymnasium, Datenlabor Seiten: 25 Sprache: DE |
Zusammenfassung 743.abstract Adobe PDF Datei 743.pdf Adobe Postscript Datei n/a |
| Nummer | Beschreibung | Verfügbare Dateien |
| tr_742 |
Autor:
Martin Hentschel, Maxim Grinev, and Donald Kossmann
Titel: Building Data Flows Using Distributed Key-Value Stores Technische Berichte 742, ETH Zürich, Systems Group, Department of Computer Science, 10 2011. Stichworte: Data flow, Key-Value Store, Queue, Resource Utilization Seiten: 11 Sprache: DE |
Zusammenfassung 742.abstract Adobe PDF Datei 742.pdf Adobe Postscript Datei n/a |
| tr_741 |
Autor:
Adrian Friedli
Titel: Fine-grained aspects of automatic refactoring in C2Eiffel Technische Berichte 741, ETH Zürich, Chair of Software Engineering, 10 2011. Stichworte: Seiten: 53 Sprache: EN |
Zusammenfassung 741.abstract Adobe PDF Datei 741.pdf Adobe Postscript Datei n/a |
| tr_740 |
Autor:
Hans-Joachim Boeckenhauer, Dennis Komm, Richard Kralovic, Peter Rossmanith
Titel: On the advice complexity of the knapsack problem Technische Berichte 740, ETH Zürich, Department of Computer Science, Information Technology and Education, 09 2011. Stichworte: Online algorithms, advice complexity, competitive ratio, knapsack problem Seiten: 12 Sprache: EN |
Zusammenfassung 740.abstract Adobe PDF Datei 740.pdf Adobe Postscript Datei n/a |
| tr_738 |
Autor:
Dennis Komm, Richard Kralovic, Tobias Moemke
Titel: On the advice complexity of the set cover problem Technische Berichte 738, ETH Zürich, Department of Computer Science, Information Technology and Education, 09 2011. Stichworte: Online algorithms, advice complexity, competitive ratio, set cover problem Seiten: 11 Sprache: EN |
Zusammenfassung 738.abstract Adobe PDF Datei 738.pdf Adobe Postscript Datei n/a |
| tr_736 |
Autor:
Christoph Sprenger and David Basin
Titel: Refining Key Establishment Technische Berichte 736, ETH Zürich, Information Security, 09 2011. Stichworte: Security protocols, refinement, key establishment, Kerberos. Seiten: 13 Sprache: EN |
Zusammenfassung 736.abstract Adobe PDF Datei 736.pdf Adobe Postscript Datei n/a |
| Nummer | Beschreibung | Verfügbare Dateien |
| tr_735 |
Autor:
Stefan Hildenbrand, Donald Kossmann, Tahmineh Sanamrad, Carsten Binnig, Franz Faerber and Johannes Woehler
Titel: Query Processing on Encrypted Data in the Cloud Technische Berichte 735, ETH Zürich, Systems Group, Department of Computer Science, 09 2011. Stichworte: Privacy, Query Processing Seiten: 13 Sprache: EN |
Zusammenfassung 735.abstract Adobe PDF Datei 735.pdf Adobe Postscript Datei n/a |
| tr_734 |
Autor:
Ghislain Fourny, Daniela Florescu, Donald Kossmann, Markus Zaharioudakis
Titel: A Time Machine for XML Technische Berichte 734, ETH Zürich, Systems Group, Dept. of Comp. Science, 08 2011. Stichworte: PUL, SVN, Transaction Time, XML, XQuery, Versioning Seiten: 10 Sprache: EN |
Zusammenfassung 734.abstract Adobe PDF Datei 734.pdf Adobe Postscript Datei n/a |
| tr_733 |
Autor:
Andreas Emil Feldmann, Luca Foschini
Titel: Balanced Partitions of Trees and Applications Technische Berichte 733, ETH Zürich, Institute of Theoretical Computer Science, 07 2011. Stichworte: k-balanced partitioning, trees, graphs, bicriteria approximation Seiten: 19 Sprache: EN |
Zusammenfassung 733.abstract Adobe PDF Datei 733.pdf Adobe Postscript Datei n/a |
| tr_732 |
Autor:
Matthias Schmalz
Titel: Term Rewriting in Logics of Partial Functions Technische Berichte 732, ETH Zürich, Information Security Group, 07 2011. Stichworte: Seiten: 26 Sprache: DE |
Zusammenfassung 732.abstract Adobe PDF Datei 732.pdf Adobe Postscript Datei n/a |
| tr_731 |
Autor:
Andreas Emil Feldmann, Shantanu Das, and Peter Widmayer
Titel: Restricted Cuts for Bisections in Solid Grids: A Proof via Polygons Technische Berichte 731, ETH Zürich, Institute of Theoretical Computer Science, 07 2011. Stichworte: bisection, grid graphs, approximation, polygons Seiten: 43 Sprache: EN |
Zusammenfassung 731.abstract Adobe PDF Datei 731.pdf Adobe Postscript Datei n/a |
| Nummer | Beschreibung | Verfügbare Dateien |
| tr_730 |
Autor:
Andreas Emil Feldmann, Peter Widmayer
Titel: An O(n^4) Time Algorithm to Compute the Bisection Width of Solid Grid Graphs Technische Berichte 730, ETH Zürich, Institute of Theoretical Computer Science, 07 2011. Stichworte: bisection, grid graphs Seiten: 17 Sprache: EN |
Zusammenfassung 730.abstract Adobe PDF Datei 730.pdf Adobe Postscript Datei n/a |
| tr_728 |
Autor:
Sacha Krug
Titel: Analysis of Approximation Algorithms for the Traveling Salesman Problem in Near-Metric Graphs Technische Berichte 728, ETH Zürich, Department of Computer Science, 06 2011. Stichworte: approximation algorithms, traveling salesman problem, Hamiltonian path problem, reoptimization Seiten: 117 Sprache: EN |
Zusammenfassung 728.abstract Adobe PDF Datei 728.pdf Adobe Postscript Datei n/a |
| tr_727 |
Autor:
Herbert Bruderer
Titel: Zeitrechnung Technische Berichte 727, ETH Zürich, Informationstechnologie und Ausbildung, 05 2010. Stichworte: Zeitrechnung Kalender Jahr Null Schaltjahre gregorianischer Kalender Seiten: 30 Sprache: DE |
Zusammenfassung 727.abstract Adobe PDF Datei 727.pdf Adobe Postscript Datei n/a |
| tr_726 |
Autor:
Herbert Bruderer
Titel: Informatik macht Schule Technische Berichte 726, ETH Zürich, Informationstechnologie und Ausbildung, 04 2010. Stichworte: Foerderung des Informatikunterrichts Volksschule Mittelschule Benachteiligung der MINT-Faecher an Schweizer Gymnasien Seiten: 67 Sprache: DE |
Zusammenfassung 726.abstract Adobe PDF Datei 726.pdf Adobe Postscript Datei n/a |
| tr_724 |
Autor:
Claudio Marforio, Aurélien Francillon, Srdjan Capkun
Titel: Application Collusion Attack on the Permission-Based Security Model and its Implications for Modern Smartphone Systems Technische Berichte 724, ETH Zürich, System Security Group, 04 2010. Stichworte: application collusion, covert channels, smartphone security, android security Seiten: 16 Sprache: EN |
Zusammenfassung 724.abstract Adobe PDF Datei 724.pdf Adobe Postscript Datei n/a |
| Nummer | Beschreibung | Verfügbare Dateien |
| tr_723 |
Autor:
Thai Son Hoang and Simon Hudon
Titel: Developing Control Systems with Some Fragile Environment Technische Berichte 723, ETH Zürich, Chair of Information Security, 04 2010. Stichworte: Event-B, formal modelling, refinement, development strategy, system development Seiten: 10 Sprache: EN |
Zusammenfassung 723.abstract Adobe PDF Datei 723.pdf Adobe Postscript Datei n/a |
| tr_722 |
Autor:
Kyumars Sheykh Esmaili, Tahmineh Sanamrad, Peter M. Fischer and Nesime Tatbul
Titel: Changing Flights in Mid-air: A Model for Safely Modifying Continuous Queries Technische Berichte 722, ETH Zürich, Systems Group, Department of Computer Science, 06 2010. Stichworte: Stream Processing, Continuous Query, Query Lifecycle, Query Modification Seiten: 42 Sprache: DE |
Zusammenfassung 722.abstract Adobe PDF Datei 722.pdf Adobe Postscript Datei 722.ps |
| tr_721 |
Autor:
Sebastian Martin, Peter Kaufmann, Mario Botsch, Eitan Grinspun, Markus Gross
Titel: Unified Simulation of Elastic Rods, Shells and Solids: Implementation Notes Technische Berichte 721, ETH Zürich, Institute for Visual Computing, 03 2010. Stichworte: physically-based simulation, solids, shells, rods, plasticity, cutting Seiten: 3 Sprache: EN |
Zusammenfassung 721.abstract Adobe PDF Datei 721.pdf Adobe Postscript Datei n/a |
| tr_720 |
Autor:
Benjamin Schindler, Juergen Waser, Raphael Fuchs, Ronny Peikert
Titel: Multiverse data-flow control Technische Berichte 720, ETH Zürich, Computational Science, 02 2010. Stichworte: dynamic data management, data-flow, time-varying data, visual knowledge discovery, graph-based data handling, visualization system design Seiten: 19 Sprache: EN |
Zusammenfassung 720.abstract Adobe PDF Datei 720.pdf Adobe Postscript Datei n/a |
| tr_719 |
Autor:
Philipp Unterbrunner, Gustavo Alonso, and Donald Kossmann
Titel: E-Cast: Elastic Multicast Technische Berichte 719, ETH Zürich, Systems Group, Department of Computer Science, 02 2010. Stichworte: Partial Replication, Strong Consistency, Fault Tolerance, Multicast, Cloud Computing Seiten: 16 Sprache: EN |
Zusammenfassung 719.abstract Adobe PDF Datei 719.pdf Adobe Postscript Datei 719.ps |
| Nummer | Beschreibung | Verfügbare Dateien |
| tr_718 |
Autor:
Cas Cremers
Titel: A distance hijacking attack on the CRCS distance bounding protocol Technische Berichte 718, ETH Zürich, Chair of Information Security, 02 2010. Stichworte: Distance bounding, distance hijacking, PKI Seiten: 4 Sprache: EN |
Zusammenfassung 718.abstract Adobe PDF Datei 718.pdf Adobe Postscript Datei n/a |
| tr_717 |
Autor:
Mohammad Seyed Alavi
Titel: SCOOP in Practice Technische Berichte 717, ETH Zürich, Department of Computer Science, 01 2010. Stichworte: Seiten: 15 Sprache: EN |
Zusammenfassung 717.abstract Adobe PDF Datei 717.pdf Adobe Postscript Datei n/a |
| tr_716 |
Autor:
Alexander J. Summers and Peter Müller
Titel: Freedom Before Commitment - Simple Flexible Initialisation for Non-Null Types Technische Berichte 716, ETH Zürich, Group of Programming Methodology, 01 2010. Stichworte: object initialisation non-null type system Seiten: 42 Sprache: EN |
Zusammenfassung 716.abstract Adobe PDF Datei 716.pdf Adobe Postscript Datei n/a |
| tr_714 |
Autor:
Andreas Kägi, Hermann Lehner, and Peter Müller
Titel: A Formalization of JML in the Coq Proof System Technische Berichte 714, ETH Zürich, Group of Programming Methodology, 12 2010. Stichworte: Seiten: 108 Sprache: EN |
Zusammenfassung 714.abstract Adobe PDF Datei 714.pdf Adobe Postscript Datei n/a |
| tr_713 |
Autor:
Peter Müller and Joseph N. Ruskiewicz
Titel: Using Debuggers to Understand Failed Verification Attempts Technische Berichte 713, ETH Zürich, Informatik, 01 2010. Stichworte: Failed Verification Counterexample Execution Seiten: 15 Sprache: EN |
Zusammenfassung 713.abstract Adobe PDF Datei 713.pdf Adobe Postscript Datei n/a |
| Nummer | Beschreibung | Verfügbare Dateien |
| tr_712 |
Autor:
Michela Pedroni, Manuel Oriol, Bertrand Myer
Titel: The Prior Experience of Entering CS Students Technische Berichte 712, ETH Zürich, Chair of Software Engineering, 01 2010. Stichworte: Seiten: 10 Sprache: EN |
Zusammenfassung 712.abstract Adobe PDF Datei 712.pdf Adobe Postscript Datei n/a |
| tr_711 |
Autor:
Ioannis T. Kassios and Peter Müller
Titel: Modular Specification and Verification of Delegation with SMT Solvers Technische Berichte 711, ETH Zürich, , 12 2010. Stichworte: Seiten: 34 Sprache: EN |
Zusammenfassung 711.abstract Adobe PDF Datei 711.pdf Adobe Postscript Datei n/a |
| tr_710 |
Autor:
Markus Dahinden
Titel: Anleitung zur Erstellung von problembasierten Pruefungsfragen fuer den ICT-Unterricht Technische Berichte 710, ETH Zürich, Informationstechnologie und Ausbildung, 12 2010. Stichworte: Problembasierte Pruefungsfragen, Kompetenzorientierte Pruefungsfragen, Computer-basierte Pruefung, Online-Pruefung, Sioux Seiten: 22 Sprache: DE |
Zusammenfassung 710.abstract Adobe PDF Datei 710.pdf Adobe Postscript Datei n/a |
| tr_705 |
Autor:
Herbert Bruderer
Titel: Konrad Zuse und die ETH Zuerich Technische Berichte 705, ETH Zürich, Informationstechnologie und Ausbildung, 06 2010. Stichworte: Z4, Ermeth, Rechenlocher M9/Z9, Museum fuer Kommunikation (Bern) Seiten: 40 Sprache: DE |
Zusammenfassung 705.abstract Adobe PDF Datei 705.pdf Adobe Postscript Datei n/a |
| tr_703 |
Autor:
Hans-Joachim Boeckenhauer, Dennis Komm, Rastislav Kralovic, Richard Kralovic
Titel: On the advice complexity of the k-server problem Technische Berichte 703, ETH Zürich, Department of Computer Science, Information Technology and Education, 12 2010. Stichworte: Online algorithms, advice complexity, competitive ratio, k-server problem Seiten: 14 Sprache: EN |
Zusammenfassung 703.abstract Adobe PDF Datei 703.pdf Adobe Postscript Datei n/a |
| Nummer | Beschreibung | Verfügbare Dateien |
| tr_702 |
Autor:
Simone Frau and Mohammad Torabi Dashti
Titel: Integrated Specification and Verification of Security Protocols and Policies Technische Berichte 702, ETH Zürich, INFSEC, 12 2010. Stichworte: Security Protocols, Security Policies, Decidability, Constraint Solving Seiten: 15 Sprache: EN |
Zusammenfassung 702.abstract Adobe PDF Datei 702.pdf Adobe Postscript Datei n/a |
| tr_701 |
Autor:
Mohammad Torabi Dashti
Titel: Accountability in optimistic non-repudiation protocols Technische Berichte 701, ETH Zürich, INFSEC, 12 2010. Stichworte: Non-repudiation; Accountability; Trust Seiten: 12 Sprache: EN |
Zusammenfassung 701.abstract Adobe PDF Datei 701.pdf Adobe Postscript Datei n/a |
| tr_700 |
Autor:
Yann Disser, Matus Mihalak, Peter Widmayer
Titel: Reconstruction of a polygon from angles without prior knowledge of the size Technische Berichte 700, ETH Zürich, Institute of Theoretical Computer Science, 11 2010. Stichworte: autonomous agents, simple robots, simple polygon, reconstruction, visibility graph, angles Seiten: 3 Sprache: EN |
Zusammenfassung 700.abstract Adobe PDF Datei 700.pdf Adobe Postscript Datei 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
