@inbook{19836,
  author       = {{Schindelhauer, Christian and Voß, Kerstin}},
  booktitle    = {{Proc. of 4th International Conference on Ad-Hoc Networks & Wireless (ADHOC-NOW 2005)}},
  isbn         = {{9783540291329}},
  issn         = {{0302-9743}},
  pages        = {{271--284}},
  title        = {{{Probability Distributions for Channel Utilisation}}},
  doi          = {{10.1007/11561354_23}},
  year         = {{2005}},
}

@inproceedings{19837,
  author       = {{Schindelhauer, Christian and Weikum, Gerhard and Hales, David and Triantafillou, Peter}},
  booktitle    = {{European Conference on Complex Systems (ECCS 2005)}},
  title        = {{{Towards Self-Organizing Query Routing and Processing for Peer-to-Peer Web Search}}},
  year         = {{2005}},
}

@inproceedings{19871,
  abstract     = {{Data has become the most valuable asset for many companies; loosing important data can cause companies to fail quite immediately. The protection of data inside storage systems is mostly achieved by using a RAID scheme that adds redundant data to user data, enabling recovery from single or multiple disk failures. This protection against data loss in case of a disk failure can be achieved either by dedicated hardware or a software RAID solution.<br><br>One major advantage of software RAID is that it comes for free as a built-in functionality in many operating systems like Linux or Microsoft Windows. The drawback of the built-in functionality is that it is not suited to run in multiple server environments; synchronization and recovery processes can be corrupted if more than a single server is allowed to access a software RAID volume.<br><br>In this paper, we present an enhancement for the Linux md-driver that enables a consistent usage of RAID in multiple server environments. Based on the V:DRIVE virtualization environment, RAID volumes can be consistently synchronized and recovered even in distributed environments. Besides the architectural concepts, we present measurements that indicate the viability of this enhanced, distributed version of md.}},
  author       = {{Brinkmann, André and Effert, Sascha and Heidebuer, Michael and Vodisek, Mario}},
  booktitle    = {{In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os}},
  pages        = {{81 -- 88}},
  title        = {{{Distributed MD}}},
  year         = {{2005}},
}

@inproceedings{19872,
  abstract     = {{Recent developments both in the business and the technological domain have led to a significant increase in demand for Business Intelligence (BI) infrastructures that can handle huge amounts of data in small time frames. BI applications are increasingly used by large user bases on all management levels; support tasks spanning the complete value chain are based on transactional data and are directly coupled with operational systems in ”closed loop” approaches.<br><br>To effectively handle the resulting data volume turns out to be an extremely challenging task which encompasses a variety of issues on different levels. We propose an integrated multi layer tool for monitoring, benchmarking, analyzing, and optimizing the performance of such BI infrastructures.<br><br>Inside this paper we give a coarse outline of the tool’s architecture and demonstrate the value of distinct measurement points at operating system layer. For that purpose we introduce a kernel based benchmark environment and present first measurement results. The gathered data clearly indicates that a meaningful analysis of performance benchmarks without kernel trace points is of limited value - which shows the necessity to consider a separate component within the tool’s architecture.}},
  author       = {{Brinkmann, André and Effert, Sascha and Heidebuer, Michael and Vodisek, Mario and Baars, Henning}},
  booktitle    = {{In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os}},
  pages        = {{1--8}},
  title        = {{{An integrated Architecture for Business Intelligence support from Application down to Storage}}},
  year         = {{2005}},
}

@inproceedings{19888,
  author       = {{Klein, Jan and Zachmann, Gabriel}},
  booktitle    = {{ACM SIGGRAPH 2005 Posters on   - SIGGRAPH '05}},
  title        = {{{The expected running time of hierarchical collision detection}}},
  doi          = {{10.1145/1186954.1187087}},
  year         = {{2005}},
}

@inproceedings{19890,
  author       = {{Klein, Jan and Zachmann, Gabriel}},
  booktitle    = {{Proceedings of the 13-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision'2005 (WSCG'2005)}},
  pages        = {{163--170}},
  title        = {{{Interpolation Search for Point Cloud Intersection}}},
  doi          = {{10.1145/1186223.1186329}},
  year         = {{2005}},
}

@inproceedings{19912,
  author       = {{Loeser, Chris and Schomaker, Gunnar and Brinkmann, André and Vodisek, Mario and Heidebuer, Michael}},
  booktitle    = {{Proceedings of the 4th International Conference on Networking}},
  isbn         = {{9783540253389}},
  issn         = {{0302-9743}},
  pages        = {{800--810}},
  title        = {{{Content Distribution in Heterogenous Video-on-Demand P2P Networks with ARIMA Forecasts}}},
  doi          = {{10.1007/978-3-540-31957-3_90}},
  volume       = {{3421}},
  year         = {{2005}},
}

@inproceedings{2411,
  abstract     = {{ This paper motivates the use of hardware virtualization on coarse-grained reconfigurable architectures. We introduce Zippy, a coarse-grained multi-context hybrid CPU with architectural support for efficient hardware virtualization. The architectural details and the corresponding tool flow are outlined. As a case study, we compare the non-virtualized and the virtualized execution of an ADPCM decoder. }},
  author       = {{Plessl, Christian and Platzner, Marco}},
  booktitle    = {{Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP)}},
  keywords     = {{Zippy}},
  pages        = {{213--218}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Zippy – A coarse-grained reconfigurable array with support for hardware virtualization}}},
  doi          = {{10.1109/ASAP.2005.69}},
  year         = {{2005}},
}

@article{2412,
  abstract     = {{ Reconfigurable architectures that tightly integrate a standard CPU core with a field-programmable hardware structure have recently been receiving impact of these design decisions on the overall system performance is a challenging task. In this paper, we first present a framework for the cycle-accurate performance evaluation of hybrid reconfigurable processors on the system level. Then, we discuss a reconfigurable processor for data-streaming applications, which attaches a coarse-grained reconfigurable unit to the coprocessor interface of a standard embedded CPU core. By means of a case study we evaluate the system-level impact of certain design features for the reconfigurable unit, such as multiple contexts, register replication, and hardware context scheduling. The results illustrate that a system-level evaluation framework is of paramount importance for studying the architectural trade-offs and optimizing design parameters for reconfigurable processors.}},
  author       = {{Enzler, Rolf and Plessl, Christian and Platzner, Marco}},
  journal      = {{Microprocessors and Microsystems}},
  keywords     = {{FPGA, reconfigurable computing, co-simulation, Zippy}},
  number       = {{2-3}},
  pages        = {{63--73}},
  publisher    = {{Elsevier}},
  title        = {{{System-level performance evaluation of reconfigurable processors}}},
  doi          = {{10.1016/j.micpro.2004.06.004}},
  volume       = {{29}},
  year         = {{2005}},
}

@article{26278,
  author       = {{Ziegler, Martin and Fuchssteiner, Benno}},
  issn         = {{0020-7748}},
  journal      = {{International Journal of Theoretical Physics}},
  pages        = {{693--717}},
  title        = {{{Nonlinear Reformulation of Heisenberg's Dynamics}}},
  doi          = {{10.1007/s10773-005-7048-9}},
  year         = {{2005}},
}

@article{3227,
  author       = {{Olderog, Ernst-Rüdiger and Wehrheim, Heike}},
  journal      = {{Sci. Comput. Program.}},
  number       = {{1-3}},
  pages        = {{227----257}},
  title        = {{{Specification and (property) inheritance in {CSP-OZ}}}},
  doi          = {{10.1016/j.scico.2004.05.017}},
  year         = {{2005}},
}

@article{3228,
  author       = {{Wehrheim, Heike}},
  journal      = {{Theor. Comput. Sci.}},
  number       = {{3}},
  pages        = {{509----528}},
  title        = {{{Slicing techniques for verification re-use}}},
  doi          = {{10.1016/j.tcs.2005.06.020}},
  year         = {{2005}},
}

@inproceedings{3229,
  author       = {{Rasch, Holger and Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings}},
  editor       = {{Steffen, Martin and Zavattaro, Gianluigi}},
  pages        = {{67----82}},
  title        = {{{Checking the Validity of Scenarios in {UML} Models}}},
  doi          = {{10.1007/11494881_5}},
  year         = {{2005}},
}

@inproceedings{3230,
  author       = {{Brückner, Ingo and Wehrheim, Heike}},
  booktitle    = {{Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings}},
  editor       = {{Lau, Kung{-}Kiu and Banach, Richard}},
  pages        = {{360----374}},
  title        = {{{Slicing an Integrated Formal Method for Verification}}},
  doi          = {{10.1007/11576280_25}},
  year         = {{2005}},
}

@inproceedings{3231,
  author       = {{Derrick, John and Wehrheim, Heike}},
  booktitle    = {{{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings}},
  editor       = {{Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, Steve}},
  pages        = {{24----44}},
  title        = {{{Non-atomic Refinement in {Z} and {CSP}}}},
  doi          = {{10.1007/11415787_3}},
  year         = {{2005}},
}

@inproceedings{3232,
  author       = {{Brückner, Ingo and Wehrheim, Heike}},
  booktitle    = {{{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings}},
  editor       = {{Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, Steve}},
  pages        = {{414----433}},
  title        = {{{Slicing Object-Z Specifications for Verification}}},
  doi          = {{10.1007/11415787_24}},
  year         = {{2005}},
}

@inproceedings{28987,
  author       = {{Schindelhauer, Christian and Schomaker, Gunnar}},
  booktitle    = {{SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA}},
  title        = {{{Weighted distributed hash tables}}},
  doi          = {{10.1145/1073970.1074008}},
  year         = {{2005}},
}

@phdthesis{2913,
  author       = {{Otto, Martin}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Fault Attacks and Countermeasures}}},
  year         = {{2005}},
}

@inbook{3006,
  author       = {{Blömer, Johannes and May, Alexander}},
  booktitle    = {{EUROCRYPT 2005}},
  isbn         = {{9783540259107}},
  issn         = {{0302-9743}},
  pages        = {{251--267}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers}}},
  doi          = {{10.1007/11426639_15}},
  year         = {{2005}},
}

@inbook{3010,
  author       = {{Ernst, Matthias and Jochemsz, Ellen and May, Alexander and de Weger, Benne}},
  booktitle    = {{EUROCRYPT 2005}},
  isbn         = {{9783540259107}},
  issn         = {{0302-9743}},
  pages        = {{371--386}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Partial Key Exposure Attacks on RSA up to Full Size Exponents}}},
  doi          = {{10.1007/11426639_22}},
  year         = {{2005}},
}