Armin B. Cremers, Rainer Manthey, Peter Martini, Volker Steinhage (Eds.):
INFORMATIK 2005 - Informatik LIVE! Band 1, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bonn, 19. bis 22. September 2005.
LNI 67 GI 2005, ISBN 3-88579-396-2 BibTeX
Keynotes
Informatik LIVE für User'LIFE - flexible Integration macht's möglich!
ISOS-2005 Informationssysteme mit Open Source
- Michael Amberg, Steffen Möller, Gerhard Rödel:
Ein Analyseframework zur Bewertung von Open-Source-Migrationsstudien.
81-85 BibTeX
- Christian Neumann:
Bewertung von Open Source Frameworks als Ansatz zur Wiederverwendung.
86-90 BibTeX
- Stefan Koch, Christian Neumann:
Evaluierung und Aufwandsabschätzung bei der Integration von Open Source Software-Komponenten.
91-95 BibTeX
- Olaf Herden, Benjamin Pfrommer:
Aufbau eines Data Warehouse mit den Open-Source-Komponenten JPivot, Mondrian und MySQL - Alternative zu kommerziellen Produkten?
96-100 BibTeX
- Sascha Deutschkron, Dirk Draheim:
Integration von OpenOffice.org in eine Haushalts- und Controllingsoftware.
101-105 BibTeX
- Holger Hinrichs:
Einsatz von Open Source-Software in der Lehre am Beispiel einer Vorlesung zu XMLTechnologien.
106-110 BibTeX
- Björn Hansen, Gisela Stumm, Olaf Zukunft:
Modellgetriebene Softwareentwicklung mit Open-Source Komponenten im industriellen Einsatz: Ein Erfahrungsbericht.
111-115 BibTeX
- Josef von Helden, Stefan Wohlfeil:
Eine Sicherheitsarchitektur für offene, lokale Netze: Realisierung durch Open Source Software?
116-120 BibTeX
- Roman Heidinger:
Nutzung von Open Source Software in proprietären Softwareprojekten - eine Analyse aus urheberrechtlicher Sicht.
121-125 BibTeX
- Daniel Winteler:
Vertragliche Haftung für OSS.
126-130 BibTeX
- Alexandra Gudrun Paul:
Außervertragliche Haftung für Open Source Software.
131-136 BibTeX
- Oliver Meyer, Kendra Stockmar, Stefan Luckner:
Gewährleistungsrechtliche Fragen beim Vertrieb von Open Source Software im Paket mit kommerzieller Software.
137-141 BibTeX
Roboter in der Informatikausbildung
- Monika Müllerburg, Josef Börding, Gabi Theidig, Ulrike Petersen:
Informatikausbildung, Roboter und Mädchen.
143-147 BibTeX
- Gerhard K. Kraetzschmar:
Motivation for Free - Zum Motivationsfaktor von internationalen RoboCupJunior-Wettbewerben.
148-152 BibTeX
- Edgar Nett, Manuela Kanneberg:
Kooperative Roboter im studentischen Softwarepraktikum.
153-157 BibTeX
- Joachim Hertzberg, Kai Lingemann, Andreas Nüchter:
USARSIM - Game-Engines in der Robotik-Lehre.
158-162 BibTeX
- Michael Mock, Walter Nowak:
Ein Middleware-Kurs mit mobilen Robotern.
163-167 BibTeX
- Thomas Wisspeintner, Ansgar Bredenfeld:
VolksBot - ein modularer Roboterbaukasten für Ausbildung und Forschung.
168-172 BibTeX
- Karsten Albers, Carsten Beth, Sven Frimont, Nicole Kaczoreck, Wolfgang Nebel, Andreas Schallenberg, Frank Slomka:
Smart Systems: Explorierende Roboter in der Lehre.
173-177 BibTeX
- Birgit Krumpholz, Steffen Prüter, Frank Golatowski, Hartmut Pfüller:
Vom SPURT-Mobil zu autonomen Robotern.
178-182 BibTeX
- Martin Fislake, Blandyna Bogdol:
Das Robonauten-Camp.
183-187 BibTeX
- Milena Reichel, Bettina Söhle, Andreas Wiesner-Steiner:
Bremer Aktivitäten - Mädchenförderung durch Robotik - Zwei konkrete Projektdarstellungen.
188-192 BibTeX
Der Engpass Mensch-Computer-Interface aus der Langzeitperspektive
Situierung,
Individualisierung,
Personalisierung
- Sven Döring, Annette Eberle, Timotheus Preisinger:
Delivering a Personalized Result Set by the Adaptation of Preference Queries.
241-245 BibTeX
- Sebastian Schmidt, Herbert Stoyan:
Web-based Extraction of Technical Features of Products.
246-250 BibTeX
- Irene Walther, Sandra Gilleßen, Peter Mertens:
Referenzmodell für situierte und individualisierte Geschäftsentscheidungen.
251-255 BibTeX
- Peter Reiß, Bernd Ludwig, Günther Görz:
Selbstreflexion in einem planbasierten Dialogsystem.
256-260 BibTeX
- Simone Hämmerle, Matthias Wimmer, Bernd Radig, Michael Beetz:
Sensor-based Situated, Individualized, and Personalized Interaction in Smart Environments.
261-265 BibTeX
- Dominik Heckmann:
Distributed User Modeling for Situated Interaction.
266-270 BibTeX
- Sandro Leuchter, Rainer Schönbein, Leon Urbas:
Skalenfreie Netzwerke und Benutzermodellierung.
271-275 BibTeX
RFID basierte Systeme in Wirtschaft und Verwaltung
Entwurfsmethoden für Nanometer VLSI Design
- Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz:
Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal.
303-307 BibTeX
- Daniel Große, Ulrich Kühne, Rolf Drechsler:
Formale Verifikation des Befehlssatzes eines SystemC Mikroprozessors.
308-312 BibTeX
- Wolfgang Ecker, Lothar Schrader:
Evolution of Paradigm Shifts in the Automated Design Process of Digital Circuits.
313 BibTeX
- Hans-Martin Blüthgen, Christian Sauer, Dominik Langen, Matthias Gries, Wolfgang Raab:
Application-Driven Design of Cost-Efficient Communications Platforms.
314-318 BibTeX
- Sören Sonntag, Matthias Gries, Christian Sauer:
Performance Evaluation of VLSI platforms using SystemQ.
319-323 BibTeX
- Kim Grüttner, Carsten Beth, Wolfgang Nebel:
Kommunikationsgetriebene Hardware-/Software Partitionierung eines Netzwerkprotokoll-Stacks auf einer SoC Plattform.
324-328 BibTeX
- Peter Zipf, Oliver Soffke, Michael Velten, Manfred Glesner:
Abstrakte Modellierung der Eigenschaften von nanoelektronischen CNT-Elementen in SystemC.
329-333 BibTeX
- Daniel Mueller, Guido Stehr, Helmut E. Graeb, Ulf Schlichtmann:
Eigenschaftsraumexploration bei der hierarchischen Dimensionierung analoger integrierter Schaltungen.
334-338 BibTeX
- Heinrich Theodor Vierhaus, Helmut Rossmann:
Power-/Timing - Optimierung für Zellen-basierte Digitalschaltungen in Submikron-Technologien.
339-343 BibTeX
- Paul Zuber, Florian Helmut Müller, Walter Stechele:
Optimization Potential of CMOS Power by Wire Spacing.
344-348 BibTeX
Präzisionslandwirtschaft mit GIS und offenen Systemen
Workshops von DFG-Projektgruppen
Tag der Graduiertenkollegs
- Sabine Mönkemöller, Gerit Sonntag:
Fördermöglichkeiten durch die DFG.
381-386 BibTeX
- Thomas Zimmermann:
Learning from Project History to Support Programmers.
387-390 BibTeX
- Ingmar Meinecke:
Gewichtete verzweigende Automaten.
391-394 BibTeX
- Ina Schieferdecker:
The UML 2.0 Test Profile as a Basis for Integrated System and Test Development.
395-399 BibTeX
- Markus Fidler:
Server Models for Probabilistic Network Calculus.
400-404 BibTeX
- Timo Warns:
On the Coverage of Proactive Security: An Addition to the Taxonomy of Faults.
405-409 BibTeX
- Felix C. Freiling, Neeraj Mittal, Lucia Draque Penso:
Transformations in Secure and Fault-Tolerant Distributed Computation.
410-412 BibTeX
- James Gross, Adam Wolisz, Hans-Florian Geerdes:
On the Signaling Overhead in Dynamic OFDMA Wireless Systems.
413-418 BibTeX
- Janne Riihijärvi, Petri Mähönen:
Reasoning about Networks.
419-423 BibTeX
- Hans-Arno Jacobsen:
ToPSS - The Toronto Publish/Subscribe System Family.
424-428 BibTeX
- Sven Herschel:
Indexing Dynamic Networks.
429-433 BibTeX
- Daniel A. Keim, Florian Mansmann, Tobias Schreck:
Analyzing Electronic Mail Using Temporal, Spatial, and Content-based Visualization Techniques.
434-438 BibTeX
- Oliver Günther, Otto Spaniol:
Graduiertenkollegs: Eliteförderung oder bald Regelfall?
439 BibTeX
DFG-Schwerpunktprogramm 1076:
Grundlagen und Verfahren verlustarmer Informationsverarbeitung
- Jun Zhou, Hans-Joachim Wunderlich:
Software-basierender Selbsttest von Prozessorkernen unter Verlustleistungsbeschränkung.
441 BibTeX
- Christian Neeb, Norbert Wehn:
Energieminimierung von Basisbandsignalverarbeitungsalgorithmen auf programmierbaren Plattformen.
442 BibTeX
- Dominik Janzing:
Über den Zusammenhang zwischen thermodynamisch reversiblem, kryptograpisch seitenkanalfreiem sowie quantenkohärentem Rechnen.
443 BibTeX
- Ljubica Radic, Wolfgang Mathis:
Methoden der Modellordnungsreduktion zur Verlustleistungsreduzierung digitaler signalverarbeitender Systeme.
444 BibTeX
- Manish Verma, Peter Marwedel:
Memory Optimization Techniques for Low-Power Embedded Processors.
445 BibTeX
- Jürgen Fischer, Philip Teichmann, Ettore Amirante, Doris Schmitt-Landsiedel:
Energieoptimierung durch Adiabatische Schaltungstechnik.
446 BibTeX
- Marius Vollmer, Jürgen Götze:
Parallele Signalverarbeitung mit adiabatischer Logik.
447 BibTeX
- Clemens Schlachta, Oliver Soffke, Peter Zipf, Manfred Glesner:
Eine weiterentwickelte quasi-statische adiabatische Logikfamilie.
448 BibTeX
- Stephan Hermanns, Sorin A. Huss:
Synchronisierungsprobleme von Schaltwerken in Wave Pipelining Architektur und ihre Auswirkungen auf die Wahl der Schaltungstechnik.
449 BibTeX
- Frank Grassert, Frank Sill, Claas Cornelius, Dirk Timmermann:
Verlustleistungsreduzierung bei dynamischen TSPC-Schaltungstechniken.
450 BibTeX
- Marko Rößler, Claudia Kretzschmar, Dietmar Müller:
Low Power Buskodierverfahren für Verlustleistungsreduktion in DSM-Technologien.
451 BibTeX
- Thomas Rohdenburg, Volker Hohmann, Birger Kollmeier:
Matlab Simulationsumgebung zur Entwicklung von Algorithmen der Audio-Signalverarbeitung am Beispiel des verlustleistungsoptimierten Entwurfs von Hörgerätealgorithmen.
452 BibTeX
- Bärbel Mertsching, Thomas Eisenbach, Frank Schmidtmeier, Nikolaus Voß, H. Wang:
High Level Circuit Design for Low Power Audio Signal Processing.
453 BibTeX
- Arne Schulz, Wolfgang Nebel:
Verlustleistungsabschätzung und -optimierung auf hohen Abstraktionsebenen: Modellierung von Funktionskomponenten und Leitungslängenabschätzung.
454 BibTeX
- Achim Rettberg, Bernd Kleinjohann, Franz J. Rammig:
Spezielle Aspekte der Verlustleistungsgetriebenen High-Level Synthese.
455 BibTeX
- Andreas König:
Ganzheitlicher Entwurf verlustleistungsarmer Schaltungen für Sensorsignalverarbeitung und Erkennung.
456 BibTeX
- Matthias Müller, Sven Simon:
Datenskalierung für die verlustleistungsarme Signalverarbeitung in Prozessorsystemen.
457 BibTeX
- Matthias Winter, Peter Pirsch:
Von abstrakten Architekturtemplates zur hardwarenahen Architekturexploration.
458 BibTeX
- Emil Matús, Gordon Cichon, Hendrik Seidel, Pablo Robelly, Torsten Limberg, Gerhard Fettweis:
A Compiler-friendly and Low-power DSP architecture.
459 BibTeX
- Dirk S. Waldhauser, Josef A. Nossek:
Bandbreiteneffizientes Mehrträgerverfahren mit verlustleistungsarmen digitalen Filtern.
460 BibTeX
- Uwe Schwiegelshohn, Edwin Naroska:
Verlustleistungsarme Fehlerschutzprotokolle basierend auf punktierten Low Density Parity Check Codes (LDPC).
461 BibTeX
Symposien
Copyright © Sat May 16 23:13:30 2009
by Michael Ley (ley@uni-trier.de)
