@inproceedings{64542, author = {{Gerhardt, Nils Christopher and Hofmann, Martin and Hantke, K. and Stolz, Wolfgang and Koch, Stephan W. and Hader, Jörg and Moloney, Jerome V. and Egorov, A. Yu and Riechert, Henning}}, booktitle = {{Conference digest}}, pages = {{85 -- 86}}, title = {{{Influence of growth conditions on the optical gain of 1.3 /spl mu/m (GaIn)(NAs)/GaAs lasers}}}, doi = {{10.1109/islc.2002.1041130}}, year = {{2002}}, } @inbook{64716, author = {{Glöckner, Helge}}, booktitle = {{Geometry and analysis on finite- and infinite-dimensional Lie groups. Proceedings of the workshop on Lie groups and Lie algebras, Bȩdlewo, Poland, September 4–15, 2000}}, keywords = {{58C20, 22E65, 46T20, 46T25}}, pages = {{43–59}}, publisher = {{Warszawa: Polish Academy of Sciences, Institute of Mathematics}}, title = {{{Infinite-dimensional Lie groups without completeness restrictions}}}, year = {{2002}}, } @inbook{64715, author = {{Glöckner, Helge and Winkelmann, Jörg}}, booktitle = {{Recent advances in Lie theory. Selected contributions to the 1st colloquium on Lie theory and applications, Vigo, Spain, July 2000}}, isbn = {{3-88538-225-3}}, keywords = {{22D05}}, pages = {{205–210}}, publisher = {{Lemgo: Heldermann Verlag}}, title = {{{A property of locally compact groups}}}, year = {{2002}}, } @article{64717, author = {{Glöckner, Helge}}, issn = {{1945-5844}}, journal = {{Pacific Journal of Mathematics}}, keywords = {{22A05, 20F40, 14L10, 20E10, 17B65, 22E60, 20E18, 22E65, 54H11}}, number = {{2}}, pages = {{321–368}}, title = {{{Real and p-adic Lie algebra functors on the category of topological groups.}}}, doi = {{10.2140/pjm.2002.203.321}}, volume = {{203}}, year = {{2002}}, } @article{64714, author = {{Glöckner, Helge}}, issn = {{0022-1236}}, journal = {{Journal of Functional Analysis}}, keywords = {{22E65}}, number = {{2}}, pages = {{347–409}}, title = {{{Lie group structures on quotient groups and universal complexifications for infinite-dimensional Lie groups}}}, doi = {{10.1006/jfan.2002.3942}}, volume = {{194}}, year = {{2002}}, } @article{64721, author = {{Glöckner, Helge}}, issn = {{0039-3223}}, journal = {{Studia Mathematica}}, keywords = {{22E65, 46E25, 46F05, 46H05, 46H30}}, number = {{2}}, pages = {{147–177}}, title = {{{Algebras whose groups of units are Lie groups}}}, doi = {{10.4064/sm153-2-4}}, volume = {{153}}, year = {{2002}}, } @article{64718, author = {{Glöckner, Helge}}, issn = {{0017-0895}}, journal = {{Glasgow Mathematical Journal}}, keywords = {{22D05, 22E50, 20E26, 14L10}}, number = {{2}}, pages = {{231–239}}, title = {{{Approximation by p-adic Lie groups}}}, doi = {{10.1017/S0017089502020049}}, volume = {{44}}, year = {{2002}}, } @article{64713, author = {{Glöckner, Helge and Willis, George A.}}, issn = {{0146-4124}}, journal = {{Topology Proceedings}}, keywords = {{22D05, 22D10, 46L05}}, number = {{2}}, pages = {{565–591}}, title = {{{Topologization of Hecke pairs and Hecke C^*-algebras.}}}, volume = {{26}}, year = {{2002}}, } @inproceedings{2552, author = {{Karl, Holger}}, booktitle = {{Proc. Wireless World Research Forum Kickoff Meeting (WWRF)}}, title = {{{Relaying in Wireless Access Networks – A Capacity and Energy-Efficiency Perspective }}}, year = {{2001}}, } @inproceedings{2554, author = {{Karl, Holger}}, publisher = {{Eork-in-progress session of mobicom 2001}}, title = {{{Relaying ñ bad for energy, good for capacity?}}}, year = {{2001}}, } @inproceedings{2556, author = {{Karl, Holger and Hentschel, T.}}, booktitle = {{Zukunftsperspektiven der Mobilkommunikation, Symposium Bundesministerium für Bildung und Forschung}}, title = {{{IBMS 2 - Integriertes Bandbreiteneffizientes Mobiles Software-Radio System}}}, year = {{2001}}, } @phdthesis{19622, author = {{Schröder, Klaus}}, isbn = {{3-931466-88-4}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Balls into Bins: A Paradigm for Job Allocation, Data Distribution Processes, and Routing}}}, volume = {{89}}, year = {{2001}}, } @inproceedings{19797, author = {{Salzwedel, Kay and Hartmann, Georg and Wolff, Carsten and Preis, Robert}}, booktitle = {{Proceedings of the PDPTA 2001}}, pages = {{463--470}}, title = {{{Efficient Parallel Simulations of Pulse-Coded Neural Networks (PCNN)}}}, volume = {{1}}, year = {{2001}}, } @inproceedings{2428, abstract = {{ In this paper we present instance-specific accelerators for minimum-cost covering problems. We first define the covering problem and discuss a branch&bound algorithm to solve it. Then we describe an instance-specific hardware architecture that implements branch&bound in 3-valued logic and uses reduction techniques usually found in software solvers. Results for small unate covering problems reveal significant raw speedups. }}, author = {{Plessl, Christian and Platzner, Marco}}, booktitle = {{Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)}}, keywords = {{minimum covering, accelerator, funding-sundance}}, pages = {{85--91}}, publisher = {{CSREA Press}}, title = {{{Instance-Specific Accelerators for Minimum Covering}}}, year = {{2001}}, } @article{2429, author = {{Plessl, Christian and Wilde, Erik}}, journal = {{iX}}, pages = {{88--93}}, publisher = {{Heise Verlag}}, title = {{{Server-Side-Techniken im Web – ein Überblick}}}, year = {{2001}}, } @misc{2430, abstract = {{In this report the design and implementation of an instance-specific accelerator for solving minimum covering problems will be presented. After an introduction to configurable computing in general, the minimum covering problem is defined and a branch and bound algorithm to solve it in software is presented. The remainder of the report shows how this branch and bound algorithm can be adopted to hardware. Specifically it is stressed how the various sophisticated strategies for deducing conditions for variables used by software solvers can be adopted to hardware and how a system which uses 3-valued logic to solve this problem can be designed. In addition to these considerations focusing on the architecture of the system, some important details of the actual implementation are given. A prototype has been implemented for showing the feasibility of the concept and for gaining information about speed and size of the hardware implementation. Cycle-accurate simulations for a set of benchmark problems have been done for determining the performance of the accelerator. The speed of the resulting accelerators has been compared to the time a reference software solver (espresso) needs and the resulting speedups have been calculated. I have shown that a raw speedup of several orders of maginitude can be achieved for many problems; for some problems no speedup is achieved yet. After a discussion of the results, ideas for future work are presented.}}, author = {{Plessl, Christian}}, publisher = {{Computer Engineering and Networks Lab, ETH Zurich, Switzerland}}, title = {{{Reconfigurable Accelerators for Minimum Covering}}}, year = {{2001}}, } @inproceedings{2432, abstract = {{In this paper, we present the analysis of applications from the domain of handheld and wearable computing. This analysis is the first step to derive and evaluate design parameters for dynamically reconfigurable processors. We discuss the selection of representative benchmarks for handhelds and wearables and group the applications into multimedia, communications, and cryptography programs. We simulate the applications on a cycle-accurate processor simulator and gather statistical data such as instruction mix, cache hit rates and memory requirements for an embedded processor model. A breakdown of the executed cycles into different functions identifies the most compute-intensive code sections - the kernels. Then, we analyze the applications and discuss parameters that strongly influence the design of dynamically reconfigurable processors. Finally, we outline the construction of a parameterizable simulation model for a reconfigurable unit that is attached to a processor core.}}, author = {{Enzler, Rolf and Platzner, Marco and Plessl, Christian and Thiele, Lothar and Tröster, Gerhard}}, booktitle = {{Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications III}}, keywords = {{benchmark}}, pages = {{135--146}}, title = {{{Reconfigurable Processors for Handhelds and Wearables: Application Analysis}}}, doi = {{10.1117/12.434376}}, volume = {{4525}}, year = {{2001}}, } @article{3244, author = {{Rensink, Arend and Wehrheim, Heike}}, journal = {{Acta Inf.}}, number = {{3}}, pages = {{155----234}}, title = {{{Process algebra with action dependencies}}}, doi = {{10.1007/s002360100070}}, year = {{2001}}, } @article{3245, author = {{Bartetzko, Detlef and Fischer, Clemens and Möller, Michael and Wehrheim, Heike}}, journal = {{Electr. Notes Theor. Comput. Sci.}}, number = {{2}}, pages = {{103----117}}, title = {{{Jass - Java with Assertions}}}, doi = {{10.1016/S1571-0661(04)00247-6}}, year = {{2001}}, } @inproceedings{3246, author = {{Fischer, Clemens and Olderog, Ernst-Rüdiger and Wehrheim, Heike}}, booktitle = {{Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}}, editor = {{Hu{\ss}mann, Heinrich}}, pages = {{91----108}}, title = {{{A {CSP} View on {UML-RT} Structure Diagrams}}}, doi = {{10.1007/3-540-45314-8_8}}, year = {{2001}}, }