Auflistung nach Autor:in "Schmidt, Karsten"
1 - 9 von 9
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragAutomatic transformation and enlargement of similarity models for case-based reasoning(Modellierung 2006, 2006) Minor, Mirjam; Schmidt, Karsten
- KonferenzbeitragAutonomes Index Tuning – DBMS-integrierte Verwaltung von Soft Indexen(Datenbanksysteme in Business, Technologie und Web (BTW 2007) – 12. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme" (DBIS), 2007) Lühring, Martin; Sattler, Kai-Uwe; Schallehn, Eike; Schmidt, KarstenDas Self Management in DBMS, und das Self Tuning als wichtiger Teil davon, gewinnt auf Grund der wachsenden Komplexität von Systemen und Anwen- dungen und den daraus resultierenden steigenden Betriebskosten zunehmend an Beachtung. Der Stand der Technik bezüglich des Index Tunings sind Administrations-Tools, die aus einem gegebenen Workload eine empfohlene Indexkonfiguration ableiten. Diese muss jedoch bei Änderungen des Systems, dessen Umgebung oder der Zugriffsmuster wiederholt angepasst werden. Wir stellen in diesem Beitrag einen dynamischen Ansatz zum Index Tuning vor, der zur Laufzeit das Systemverhalten und die -nutzung überwacht, Entscheidungen bezüglich möglicher Verbesserungen der aktuellen Indexkonfiguration trifft und diese integriert mit der Anfrageverarbeitung umsetzt. Für den zuletzt genannten Aspekt führen wir mit IndexBuildScan und SwitchPlan neue Operatoren zur Erzeugung von Indexen während der Bearbeitung einer Anfrage sowie deren sofortiger Nutzung ein. Die Beschreibung der Implementierung der vorgestellten Konzepte als Erweiterung des PostgreSQL-Systems, sowie eine Evaluierung an Hand eines von TPC-H abgeleiteten Benchmarks beschließen den Beitrag.
- KonferenzbeitragControllability of open workflow nets(Enterprise modelling and information systems architectures, 2005) Schmidt, KarstenAn open workflow net is basically a workflow net extended with a message passing interface. Open workflow nets are adequate models for services or parts of inter-organizational business processes. We investigate the problem of controlla ilit , a natural counterpart of soundness in classical workflow nets (as studied by van der Aalst). We distinguish centralized, distributed, and local controllability and provide solutions to all problems.
- KonferenzbeitragDistributed verification with LoLa(Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, 2002) Schmidt, Karsten
- KonferenzbeitragFallstudie zur Modellierung von Software- Entwicklungsprozessen auf Basis von SPEM 2.0(Software Engineering 2008, 2008) Brunner, Max; Jung, Martin; Kips, Detlef; Schmidt, KarstenDas SPEM (Software Process Engineering Metamodel) der OMG ist ein UML-basiertes Metamodell zur Spezifikation von Software-Entwicklungsprozessmodellen. Die vorliegende Fallstudie beschreibt die Erfahrungen, welche die Autoren beim praktischen Einsatz des SPEM gewonnen haben. Ziel der Fallstudie war es, einen in der Praxis etablierten Entwicklungsprozess aus dem Bereich der Automobilindustrie auf Basis des SPEM 2.0 möglichst präzise zu beschreiben.
- KonferenzbeitragLightweight performance forecasts for buffer algorithms(Datenbanksysteme für Business, Technologie und Web (BTW), 2011) Bächle, Sebastian; Schmidt, KarstenBuffer memory allocation is one of the most important, but also one of the most difficult tasks of database system administration. Typically, database management systems use several buffers simultaneously for various reasons, e.g., disk speed, page size, access behavior. As a result, available main memory is partitioned among all buffers within the system to suit the expected workload, which is a highly complex optimization problem. Even worse, a carefully adjusted configuration can become inefficient very quickly on workload shifts. Self-tuning techniques automatically address this allocation problem using periodic adjustments of buffer sizes. The tuning itself is usually achieved by changing memory (re-)allocations based on hit/miss ratios, thereby aiming at minimization of I/O costs. All techniques proposed so far observe or simulate the buffer behavior to make forecasts whether or not increased buffer sizes are beneficial. However, database buffers do not scale uniformly (i.e., in a linear fashion) and simple extrapolations of the current performance figures can easily lead to wrong assumptions. In this work, we explore the use of lightweight extensions for known buffer algorithms to improve the forecast quality by identifying the effects of varying buffer sizes using simulation. Furthermore, a simple cost model is presented to optimize dynamic memory assignments based on these forecast results.
- ZeitschriftenartikelSelf-Tuning for Short-Term Memory Consumers(Datenbank-Spektrum: Vol. 11, No. 1, 2011) Overbeck, Ludger C.; Schmidt, KarstenWe present an approach to adequately consider short-term memory consumers when using self-tuning buffer techniques. For instance, sort operations often need (large) amounts of memory but only for a short time. Moreover, certain operators, e.g., joins, require (lots of) memory to produce results that are retrieved only once. Unfortunately, most traditional self-tuning techniques fail to observe those peaks, as they need to monitor a system for a while before tuning it, which is often too late.
- KonferenzbeitragTowards flash disk use in databases – Keeping performance while saving energy?(Datenbanksysteme in Business, Technologie und Web (BTW) – 13. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme" (DBIS), 2009) Härder, Theo; Schmidt, Karsten; Ou, Yi; Bächle, SebastianGreen computing or energy saving when processing information is primarily considered a task of processor development. We, however, advocate that a holistic approach is necessary to reduce power consumption to a minimum. We explore the potential of NAND fl
- Zeitschriftenartikel„Von der Torfabrik zur Denkfabrik“ Bericht zur 14. Fachtagung „Datenbanksysteme für Business, Technologie und Web“(Datenbank-Spektrum: Vol. 11, No. 2, 2011) Bächle, Sebastian; Härder, Theo; Höfner, Volker; Klein, Joachim; Ou, Yi; Reithermann, Steffen; Schall, Daniel; Schmidt, Karsten; Weiner, Andreas