yusuke1997/dblp-id-title huggingface dataset:
Editorial zum Themenheft "Automotive Software Engineering"
Troubleshooting Serverless functions: a combined monitoring and debugging approach
Kooperierende Diagnoseagenten
Ein interdisziplinäres methodisches Vorgehen zur Gestaltung webbasierter Studieneinheiten für die Altertumswissenschaften
DAMOKLES - Architektur, Implementierung, Erfahrungen
Methodik und Ergebnisse einer Experimentreihe über Entwurfsmuster
NOAS: Ein System zur natürlichsprachlichen Beschreibung zeitveränderlicher Szenen
YoMo: the Arduino-based smart metering board
Architecture aware parallelization of solvers for PDE systems on geometrical graphs
Visionen und Herausforderungen in der Informatik
Objektorientierter Datenbankentwurf in der Entwicklung datenintensiver Informationssysteme
Determine energy-saving potential in wait-states of large-scale parallel programs
Secret keys from quantum correlations
Requirements for a model-driven cloud-native migration of monolithic web-based applications
DFG Schwerpunktprogramm
Editorial for the third international conference on energy-aware high performance computing
Migrating parallel applications to the cloud: assessing cloud readiness based on parallel design decisions
A novel multiple-walk parallel algorithm for the Barnes-Hut treecode on GPUs - towards cost effective, high performance N-body simulation
Approximative analytische Leistungsbewertung am Beispiel eines UNIX-basierten Multiprozessor Betriebssystems
Die Problematik einer Management Information Base (MIB) für ein integriertes Netzmanagement
Software-Entwicklungsumgebungen - Synthese und Integration
Eine Methode zur Konstruktion von Prüfstrategien für Software
Verwaltung hierarchisch-strukturierter Dokumente mit DQL
Mimicking FogDirector application management
Job profiling and queue management in high performance printing
The influence of two modern compiler infrastructures on the energy consumption of the HPCG benchmark
MFH - Ein Werkzeug zur Menü- und Formulargestaltung bei einem Software-Arbeitsplatz
Economic nonlinear MPC for a population of thermostatically controlled loads
Computer using too much power? Give it a REST (Runtime Energy Saving Technology)
I-centric Communications
Optimization of power consumption in the iterative solution of sparse linear systems on graphics processors
Semantikdefinition von Anforderungsdefinitionssprachen
Das MINERVA-Projekt: Datenbankselektion für Peer-to-Peer-Websuche
Entwurfsautomatisierung - F & E-Arbeiten der Dresdner Außenstelle des Fraunhofer-Instituts für Integrierte Schaltungen
Transaktionsunterstützung für Workflows
Software-Sicherheitsprüfung mit VALSOFT
Optimizing performance-per-watt on GPUs in high performance computing
Design space exploration towards a realtime and energy-aware GPGPU-based analysis of biosensor data
Zur Anpassung bestehender System-Software an die ISO-Normen für Dateiübertragung und Datendarstellung
Themenheft Softwaretechnik
Dank an die Gutachter
AEG-Telefunken TR 440: Unternehmensstrategie, Markterfolg und Nachfolger
Neue klinische Anwendungen der dreidimensionalen Rekonstruktion in der echographischen Diagnostik
Unbalanced tree search on a manycore system using the GPI programming model
Themenheft: Electronic Commerce - Editorial
Quantum programming languages
A performance model with a fixed point for a molecular dynamics kernel
Anfragebasierte Client-Indexierung in Client-Server-Informationssystemen
Rapid Product Development und Erprobung Innovativer Produkte - Sonderforschungsbereich 374
Experiments with the Fresh Breeze tree-based memory model
Integration und Suche in Digitalen Bibliotheken: Ein logikbasierter Ansatz
Techniken und Werkzeuge der Programmbeobachtung am Beispiel einer Modula-2 Monitorsystems
Simulation of bevel gear cutting with GPGPUs - performance and productivity
A concept for engineering smart grid security requirements based on SGAM models
A semantic model for business process patterns to support cloud deployment
Unterstützungsmechanismen für Mobile-Computing-Systeme
Die ODAWA-Methodik für den Entwurf von Data-Warehouse-Datenbanken
Formale Konsistenzsicherung in informellen Software-Spezifikationen
Interactive Web Documents
Aspektorientierte Programmiertechniken im Unit-Testen
Storing and indexing XML documents upside down
Demand response optimized heat pump control for service sector buildings
SPEAKY
Sequentielle und parallele Architekturansätze für logische Programmiersprachen
Themenheft: Datenintegration
Vorbemerkungen zum Themenheft Nicht-Standard-Datenbanksysteme
Wiederverwendung von Integrationstestfällen in der Software-Produktlinienentwicklung
Automatische Prognose der Software-Restfehlerzahl während des Testens
Automatic detection and quantification of coronary calcium on 3D CT angiography data
Lernen mit Kernen: Support-Vektor-Methoden zur Analyse hochdimensionaler Daten
The 4 Pillar Framework for energy efficient HPC data centers
Ein Modell zur white-box Analyse und zum strukturellen Testen imperativer Programme
Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil I
Automatische Testdatengenerierung zur Unterstützung des Softwaretests
Freezing and defrosting cloud applications: automated saving and restoring of running applications
Datenmodelle für den Austausch von Produkt- und Fertigungsdaten
Globale und lokale Verdrahtungsalgorithmen für Sea-of-Cells Design
A first look at integrated GPUs for green high-performance computing
Ein Werkzeug zur Fernwartung verteilter Applikationen
Normalform-Transformationen für CSP-Programme
Wiederverwendbare Algorithmenschemata in ML am Beispiel von Graphdurchlauf-Problemen
Model-driven software engineering: concepts and tools for modeling-in-the-large with package diagrams
3D-graphische Werkzeuge zur Analyse komplexer CSP-basierter Modelle
Das "CAD*I Drafting Model" - ein Datenmodell zur Beschreibung technischer Zeichnungen
Erratum to: The vision for MUSE4Music
Kommunizierende Workflow-Services modellieren und analysieren
Systemdarstellung mit Hilfe eines programmbeschrifteten Netzmodells in der DIN66265
Smart grid co-simulation with MOSAIK and HLA: a comparison study
Erweiterung von OSI-Management-Objektbeschreibungen als Basis für eine effektive Implementierung der Managementinformationsbasis
Entwicklung großer Systeme mit generischen Methoden - Eine Übersicht über den Sonderforschungsbereich 501
Themenheft: Rechner- und sensorgestützte Chirurgie (Editorial)
Multiple Attributgrammatiken
Konzeptueller und logischer Data-Warehouse-Entwurf: Datenmodelle und Schematypen für Data Mining und OLAP
Einsatz von Lernverfahren bei der Durchführung von Manipulationsaufgaben
Automatisierte Greifplanung für Mehrfinger-Roboterhände
Managing data and complexity in energy systems
Spezifikation und Prototyping graphbasierter Systeme
Qualitäsziele und Testaufgaben im Internet
Prinzipien der Replikationskontrolle in verteilten Datenbanksystemen
Transaktionssysteme in Workstation/Server-Umgebungen
KNOSPE - Ein unterstützendes Planungssystem für die integrierte Montagesystemplanung
Probabilistic alternatives for competitive analysis
DASDBS Konzepte und Architektur eines neuartigen Datenbanksystems
Measuring power consumption on IBM Blue Gene/P
DotStar: breaking the scalability and performance barriers in parsing regular expressions
Das Vorgehensmodell VIPSO: Berücksichtigung rechtlicher Einflüsse auf die SW-Entwicklung
ISC'11 research paper sessions proceedings
Requirements-driven software evolution
Preserving privacy in Distributed Energy Management
A journey through SMScom: self-managing situational computing
Projekt Triton: Beiträge zur Verbesserung der Programmierbarkeit hochparalleler Rechensysteme
Simulation of power consumption of energy efficient cluster hardware
NFR+ framework method to support bi-directional traceability of non-functional requirements
Modeling and simulation of local flexibilities and their effect to the entire power system
Effiziente Informationssuche im Internet mit Hilfe mobiler Programme
Energy informatics for behavioral change
Software components for demand side integration at a container terminal
Communicating the variability of a software-product family to customers
Verteilungsmodelle für Workflow-Management-Systeme - Klassifikation und Simulation
Towards a conceptual foundation of service composition
STECC: Selbsttestende Software-Komponenten
Quantum mechanics and classical computing
Einfache und effiziente inkrementelle Syntaxanalyse
Multi-pass sorted neighborhood blocking with MapReduce
A Novel network request scheduler for a large scale storage system
Cooperative server clustering for a scalable GAS model on petascale cray XT5 systems
Quantum cryptography beyond key exchange
Beyond rigidity - dynamic process lifecycle support
Integrierte Entwicklung von Automotive-Software mit AutoFocus
On the algebraic properties of concrete solution aggregation
Das dynamische Perzeptronmodell zur experimentellen Modellbildung nichtlinearer Prozesse
NoSQL database systems: a survey and decision guidance
Quality-driven early stopping for explorative cluster analysis for big data
DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen
Adversarial models in paging - Bridging the gap between theory and practice
Datenbank-Caching - Eine systematische Analyse möglicher Verfahren
Towards an energy-aware scientific I/O interface - Stretching the ADIOS interface to foster performance analysis and energy awareness
Erlerner von Fuzzy-Regeln
TOSCA4Mashups: enhanced method for on-demand data mashup provisioning
Composing user-specific web applications from distributed plug-ins
Elemente einer methodenneutralen Konstruktionssprache für Informationssysteme
Brainware for green HPC
Eine logische Analyse und Synthese des Begriffs "committed"
Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen
XCC: change control of XML documents
Forschungszentrum Informatik an der Universität Karlsruhe (FZI)
Quantitative reactive modeling and verification
MVAPICH2-GPU: optimized GPU to GPU communication for InfiniBand clusters
Editorial Themenheft: Aktuelle Entwicklungen im Softwaretest
Das JANUS-System
On shared understanding in software engineering: an essay
A new energy aware performance metric
Phase preserving profile generation from measurement data by clustering and performance analysis: a tool for network planning and operation
Toward message passing for a million processes: characterizing MPI on a massive scale blue gene/P
Mapping fine-grained power measurements to HPC application runtime characteristics on IBM POWER7
Using architectural modifiability tactics to examine evolution qualities of Service- and Microservice-Based Systems
Die inferenzbasierte Softwareentwicklungsumgebung NORA
Text-Retrieval mit einem relationalen Datenbank-Management-System
Konzepte und Techniken der Datenversorgung fuer Informationssysteme
Keystone: Ein wissensbasiertes System mit natürlichsprachlicher Dialogkomponente
Poster Abstract: SmartStability
Mapping communication layouts to network hardware characteristics on massive-scale blue gene systems
Performance characterization of data-intensive kernels on AMD Fusion architectures
XML indexing and storage: fulfilling the wish list
Quantum algorithms: A survey of some recent results
Measuring energy consumption using EML (energy measurement library)
Ein automatischer Generator für analoge VLSI-Testprogramme
Prozessorzuteilungsstrategie und Interprozeßkommunikation in ERCOS, einem Echtzeitbetriebssystem für Automobilanwendungen
Efficient reverse k -nearest neighbor estimation
New algorithms for join and grouping operations
Informationsfusion auf heterogenen Datenbeständen
Zur Zeitabhängigkeit von Informationswerten in Verteilten Systemen
Expertensysteme zur Unterstützung der Wirtschaftsprüfer-Berichterstellung
The essential deployment metamodel: a systematic review of deployment automation technologies
Multi-core scalability-impacting compiler optimizations
Virtuelle Universität
Inferring power fluctuations at a low voltage transformer from local voltage measurements in the underlying distribution grid
Verarbeitung und Visualisierung von Multispektralen Satellitendaten
Prozeßmodelle als Grundlage für ein systematisches Management von Geschäftsprozessen
MCFX: A new parallel programming framework for multicore systems
Towards runtime verification of collaborative embedded systems
Grundkonzepte und Realisierungstrategien des ConTract-Modells
GEM: A generic visualization and editing facility for heterogeneous metadata
Geschäftsprozeß-Management als Grundlage der Software-Entwicklung
Temporal plans for software architecture reconfiguration
Interoperabilität für Informationssysteme im Gesundheitswesen auf Basis medizinischer Standards
Das MeDoc-System - ein elektronischer Publikations- und Nachweisdienst für die Informatik
Combining global regression and local approximation in server power modeling
Computer performance analysis and the Pi Theorem
Poster abstract: economics-inspired modeling of data centre power flexibility
Online First
Hybrid simulation and energy market based optimization of cement plants
Modeling and execution of data-aware choreographies: an overview
Ein Testverfahren für optimierende Codegeneratoren
Modellierung und Simulation hybrider Systeme mit Smile
Fehlerbehandlung in Flexiblen Fertigungssystemen (FFS)
Beanspruchungsgerechtes Konstruieren
Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen
Editorial to the special issue: "Trends and advances in database systems research"
Monitoring energy consumption with SIOX
A new enhanced cyber security framework for medical cyber physical systems
Simulation on a quantum computer
Zuverlässige Transportdienste für Mobile Computing
Interne Sicherheit von Chipkarten
DVFS-control techniques for dense linear algebra operations on multi-core processors
Objektorientierte Modellierung von Produktionsprozessen
Entwurf und Implementierung eines SQL-normkonformen Datenbankkatalogs fuer ein relationales Datenbankmanagementsystem
Customization and provisioning of complex event processing using TOSCA
Wissenschaftliches Publizieren im Umbruch: Bestandsaufnahme und Perspektiven aus Sicht der Informatik
Probleme und Konzepte software-ergonomischer Beratung am Beispiel eines Informationssystems im World Wide Web (WWW)
A blockchain-based smart grid: towards sustainable local energy markets
Strategien zur webbasierten Multilingualen Fragebeantwortung
Modellierung von Entwurfsumgebungen und deren Abbildung in ein Datenbank-integriertes Ingenieursystem
Models in software engineering - an introduction
Eine höhere Mikroprogrammiersprache und ihr Übersetzungssystem
Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil II
Interessantheit als Kriterium für die Bewertung von Ergebnissen
Automatische Spracherkennung: Architektur und Suchstrategie aus statistischer Sicht
Optimizing performance and energy of HPC applications on POWER7
Towards cross-middleware authentication and single sign-on for ARC Grid middleware
Structured development of 3D applications: round-trip engineering in interdisciplinary teams
Declarative workflows: Balancing between flexibility and support
A middleware for efficient stream processing in CUDA
Visualisierung multimedialer Informationen mit mobilen Computersystemen - das MOVI-Projekt
Eine Erweiterung der Unified Modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen
Distributed demand side management using electric boilers
GECAF: a framework for developing context-aware pervasive systems
Optimizing two-sequence functionals in competitive analysis
Multi-objective scheduling for real-time data warehouses
Leistungsbewertung mehrstufiger objektorientierter Speicherhierarchien
Challenges of medical image processing
Forschungs- und Entwicklungsprojekte: Der Informationsbegriff - eine informatikorientierte Annäherung
Visualisierung numerisch berechneter, dreidimensionaler, instationärer Ströungsfelder
Energy-aware job scheduler for high-performance computing
6th DACH+ Conference on Energy informatics (EnInf 2017)
Ein Schritt zurück ist kein Rückschritt
Blue Gene/Q: by co-design
Mental Games Psychointeraktive Trainingssoftware
Impacts of domestic electric water heater parameters on demand response
Arbeitsteilige Konstruktion von Software-Architekturen mit dem Werkzeug OPUS
An extended transaction model for cooperative authoring of XML data
Editorial for the ISC'10 Scientific Sessions Proceedings
Workstation/Server-Architekturen für datenbankbasierte Ingenieuranwendungen
Ein Verfahren zur Auslegung schneller Fuzzy-Regelungen
Erweiterte Vektorisierung durch Vektor-Makro- und Vektor-Edit-Befehle
Contact-free volumetric measurement and documentation of facial turgors during the healing period after dental surgery
Verschachtelter Datenparallelismus - Ein einführender Überblick
Editorial for the special issue on Energy-aware high performance computing
Editorial for the fifth international conference on energy-aware high performance computing
Collaborative gathering and continuous delivery of DevOps solutions through repositories
Efficiently solving DSM problems: Are we there yet?
Strategic logics for collaborative embedded systems
Integrating performance analysis and energy efficiency optimizations in a unified environment
The ADEPT project: a decade of research and development for robust and flexible process support
Objektorientierter Entwurf eines flexiblen Workflow-Management-Systems
Feature extraction and filtering for household classification based on smart electricity meter data
Pattern mining and fault detection via COP therm -based profiling with correlation analysis of circuit variables in chiller systems
Towards modeling and integrated design automation of supercomputing clusters (MIDAS)
Datenstrukturen visualisieren und animieren mit DDD
Astrophysical particle simulations with large custom GPU clusters on three continents
Ein Bayes'scher Ansatz zur Bewertung technischer Risiken im Entwicklungsprozess
Including a virtual battery storage into thermal unit commitment
On the effects of signal design in electric vehicle charging using vehicle-originating-signals
Einführungsstrategien für eine computerintegrierte Fertigung (CIM)
On-The-Fly computing: automatic service discovery and composition in heterogeneous domains
Ted - ein Werkzeug zum effizienten Erstellen hochwertiger Textdokumente
Numerische Simulation in der Halbleiterindustrie
Ein Präsentationsmodell für die CAD-Norm STEP
Eine konzeptionelle Basis für den Einsatz von Datenbanken in Flexiblen Fertigungssystemen
Untersuchungen zur effizienten Kommunikation in EJB-Systemen
Kommunikationskonzepte für die verteilte Datenverarbeitung
Poster abstract: state of operation recognition for heat pumps from smart grid monitoring data
Impact of power-to-gas storage on the integration of photovoltaic electricity into the grid
e-Infrastructures in IT: A case study on Indian national grid computing initiative - GARUDA
Methoden und Werkzeuge für das Prototyping und ihre Integration
Optimierung des Taschenfräsens mittels Computergeometrie
Efficient monitoring of personalized hot news over Web 2.0 streams
Quality-functions for an uniform and comparable analysis of demand side management algorithms
Restrukturierung objektorientierter Datenbankschemata mittels formaler Begriffsanalyse
Modeling power and energy of the task-parallel Cholesky factorization on multicore processors
Implementation of a Lattice-Boltzmann method for numerical fluid mechanics using the nVIDIA CUDA technology
Der Zellbaum: Ein Index für geometrische Datenbanken
OpenGridMap: towards automatic power grid simulation model generation from crowdsourced data
Ein Beschreibungskonzept für Dialogabläufe bei graphischen Benutzerschnittstellen
Result processing approaches for large smart grid co-simulations
Understanding parallelism in graph traversal on multi-core clusters
Towards route planning algorithms for electric vehicles with realistic constraints
Eine Graphikerweiterung für Prolog
Optimized HPL for AMD GPU and multi-core CPU usage
Selbstlernende Klassifikation von Klartextdaten-Anwendung, Lösungsverfahren und Implementierung
An evaluation of Intel's core i7 architecture using a comparative approach
Objective evaluation of software architectures in driver assistance systems
Energy consumption of CUDA kernels with varying thread topology
Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz
Integrierte elektronische Dokumente in Informatik-Lehrveranstaltungen
Themenheft: Softwaretechnik '98 (Editorial)
Power measurement techniques for energy-efficient computing: reconciling scalability, resolution, and accuracy
Verkehrslastregelung in ATM-Netzwerken mit Fuzzy-Methoden
Editorial for the First International Conference on Energy-Aware High Performance Computing
Utilization driven power-aware parallel job scheduling
Zwischenbetriebliche elektronische Katalogsysteme: Netzwerkstrategische Gestaltungsoptionen und Erfolgsfaktoren
Algebraic query optimization for distributed top-k queries
Zur Strukturierung eines Bildfolgen-Auswertungssystems
Energy-aware analysis of electrically long high speed I/O links
Bioinformatik und Umweltinformatik - neue Aspekte und Aufgaben der Informatik
Mobile Computing - Editorial
Konzepte und Implementierungsaspekte anwendungsorientierten Archivierens in Datenbanksystemen
Hidden-Line-Algorithmus für projizierte Gitterflächen
Verteilte objektorientierte Systeme: Grundlagen und Erweiterungen
Vorwort zum Themenheft Imaging und Visualisierungstechniken
Improving the availability of supercomputer job input data using temporal replication
Real-time image composition of bladder mosaics in fluorescence endoscopy
Modeling the propagation of elastic waves using spectral elements on a cluster of 192 GPUs
Ankopplung heterogener Anwendungssysteme an Föderierte Datenbanksysteme durch Funktionsintegration
Demo abstract: testbed for distributed demand response devices - internet of things
Photovoltaic power forecasting using simple data-driven models without weather data
Modeling and execution of blockchain-aware business processes
Modellgestützte Kapazitäts- und Konfigurationsplanung für ein Bürokommunikationssystem
Anwendungs- und Transaktionsisolation unter Java
Das Fraunhofer-Institut für Experimentelles Software Engineering. Ein Porträt
Deduktive Datenbanksysteme auf dem Weg zur Praxis
ProOnE: a general-purpose protocol onload engine for multi- and many-core architectures
TOSCA-based Intent modelling: goal-modelling for infrastructure-as-code
Generalized utility metrics for supercomputers
Collective utility in hierarchical structures of collective adaptive systems: an application in transportation systems
Ein verteiltes Katalogsystem fü einen heterogenen Rechnerverbund
GBench: benchmarking methodology for evaluating the energy efficiency of supercomputers
Themenheft: Digitale Bibliotheken (Editorial)
Assessing the socio-economic effects of power outages ad hoc
Comparing GPU-based multi-volume ray casting techniques
Kieferchirurgische Operationsplanung mit Hilfe von Techniken der virtuellen Realitaet
Der Entwurf strukturierter rollenbasierter Zugriffskontrollmodelle, Ein formaler Ansatz zur Ableitung von Zugriffsrechten aus der Aufbauorganisation
Editorial for the Fourth International Conference on Energy-Aware High Performance Computing
An industrial application of symbolic model checking
Business impact analysis - a framework for a comprehensive analysis and optimization of business processes
Konzipierung und Realisierung des Breitband-Wissenschaftnetzes des DFN-Vereins
Revenue maximization in web service provision
Bemerkungen zum Beitrag: Deduktive Datenbanksysteme auf dem Weg zur Praxis
Techniken für Web-basierte Datenbankanwendungen: Anforderungen, Ansätze, Architekturen
Are our dense linear algebra libraries energy-friendly?
Erfindungen und Innovationen in der Informatik
Surmounting BPM challenges: the YAWL story
GRAPE - Eine objektorientierte Visualisierungs- und Numerikplattform
Berechnung von Bewegungsverben zur Beschreibung von aus Bildfolgen gewonnenen Fahrzeugtrajektorien in Straßenverkehrsszenen
Cluster-based distributed algorithm for energy management in smart grids
Softwareentwicklung in der Medizintechnik am Beispiel der medizinischen Bildverarbeitung