- Titel
- Technische Berichte
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-79344
- Übersetzter Titel (EN)
- Technical Reports
- ISSN
- 1430-211X
- Freie Schlagwörter (DE)
- Technische Universität Dresden, Fakultät Informatik, Forschungsbericht
- Freie Schlagwörter (EN)
- Technische Universität Dresden, Faculty of Computer Science, Report
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- SS 5514
- Publizierende Institution
- Technische Universität Dresden, Dresden
- Sonstige beteiligte Institution
- Technische Universität Dresden, Dresden
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa-79344
- Veröffentlichungsdatum Qucosa
- 02.01.2012
- Dokumenttyp
- Schriftenreihe
- Sprache des Dokumentes
- Deutsch
- Englisch
- Providing Mainstream Parser Generators with Modular Language Definition Support - 2010,1 (TUD-FI10-01-Januar 2010)
- Towards Attribute Grammars for Metamodel Semantics - 2010,3 (TUD-FI10-03-März 2010)
- Das MTA-Protokoll: Ein transaktionsorientiertes Managementprotokoll auf Basis von SNMP - 1995,09 (TUD-FI95-09 September 1995)
- Die Kategorie der gleichungs-partiellen Theorien als semantischer Bereich - 1995,18 (TUD-FI95-18 Dezember 1995)
- Wechselwirkungen in einem Zellularen Beobachtungsgebiet - dargestellt am Beispiel einer Neuronenpopulation - 1996,15 (TUD-FI96-15 August 1996)
- Technisch orientierte Modellierung der Erregungsausbreitung in neuronalen Systemen - 1996,18 (TUD-FI96-18 November 1996)
- Analytische Beschreibung von Ereignisabhängigkeiten in neuronalen Systemen - 1996,20 (TUD-FI96-20 November 1996)
- VLSI-Realisierungen für ATM: eine Übersicht - 1997,03 (TUD-FI97-03 März 1997)
- Entwurf und Realisierung eines Informationssystems zur Prozeßdatenverwaltung und -verarbeitung im durchgängigenHalbleitertechnologieprozeß - 1997,05 (TUD-FI97-05 Mai 1997)
- Konzeption eines dreistufigen Transfers für die maschinelle Übersetzung natürlicher Sprachen - 1997,06 (TUD-FI97-06 August 1997)
- Generierung von natürlichsprachlichen Texten aus semantischen Strukturen im Prozeß der maschinellen Übersetzung - Allgemeine Strukturen und Abbildungen - 1998,04 (TUD-FI98-04 März 1998)
- Some Undecidability Results related to the Star Problem in Trace Monoids - 1998,07 (TUD-FI98-07 Mai 1998)
- A Connection between the Star Problem and the Finite Power Property in Trace Monoids - 1998,09 (TUD-FI98-09 October 1998)
- Decidability Equivalence between the Star Problem and the Finite Power Problem in Trace Monoids - 1999,03 (TUD-FI99-03 April 1999)
- Massiv parallele Systeme, Teil 1: Topologieanalyse für ausgewählte Referenzmuster - 1999,07 (TUD-FI99-07 Dezember 1999)
- Two Techniques in the Area of the Star Problem - 1999,08 (TUD-FI99-08 Dezember 1999)
- A universal functional approach to DNA computing and its experimental practicability - 2000,05 (TUD-FI00-05 Juni 2000)
- Massiv parallele Systeme, Teil 2: Topologiesynthese für ausgewählte Referenzmuster - 2000,06 (TUD-FI00-06 August 2000)
- Tau-Equivalences and Refinement for Petri Nets Based Design - 2000,11 (TUD-FI00-11 November 2000)
- A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions - 2000,12 (TUD-FI00-12 November 2000)
- Block SOR for Kronecker structured representations - 2003,02 (TUD-FI03-02 März 2003)
- Block SOR Preconditional Projection Methods for Kronecker Structured Markovian Representations - 2003,05 (TUD-FI03-05 Mai 2003)
- Overlay Window Management: User interaction with multiple security domains - 2004,02 (TUD-FI04-02 März 2004)
- The COMQUAD Component Container Architecture and Contract Negotiation - 2004,04 (TUD-FI04-04 April 2004)
- Inclusion Diagrams for Classes of Deterministic Bottom-up Tree-to-Tree-Series Transformations - 2004,07 (TUD-FI04-07 — May 2004)
- The wisent Parser Generator - 2004,11 (TUD-FI04-11 September 2004)
- Composition of Tree Series Transformations - 2005,05 (TUD-FI05-05 — Obtober 2005)
- Discrete Fractional Clock Generation for Systems-on-FPGA - 2005,07 (TUD-FI05-07 Juni 2012)
- Background of the Analysis of a Fully-Scalable Digital Fractional Clock Divider - 2006,03 (TUD-FI06-03 September 2006)
- Pure and O-Substitution - 2006,05 (TUD-FI06-05 — Oktober 2006)
- Design of the Bastei OS Architecture - 2006,07 (TUD-FI06-07 Dezember 2006)
- The SHAP Microarchitecture and Java Virtual Machine - 2007,02 (TUD-FI07-02 April 2007)
- Vektoranalytische Beschreibung eines diskret Massiven Systems - 2008,01 (TUD-FI08-01 Januar 2008)
- Putting Queens in Carry Chains - 2009,03 (TUD-FI09-03 März 2009)
- Extended Abstracts of the Fourth Privacy Enhancing Technologies Convention (PET-CON 2009.1) - 2009,4 (TUD-FI09-04-April 2009)
- An Embedded Garbage Collection Module with Support for Multiple Mutators and Weak References - 2009,11 (TUD-FI09-11 November 2009)
- Komparativer Ähnlichkeitsalgorithmus - 2009,12 (TUD-FI09-12-Dezember 2009)
- SHAP — Scalable Multi-Core Java Bytecode Processor - 2009,13 (TUD-FI09-13 Dezember 2009)
- XASM - A Generic and Retargetable Assembler - 2010,2 (TUD-FI10-02 Januar 2010)
- Towards a Unifying Visualization Ontology - 2011,01 (TUD-FI11-01 März 2011)
- Extended Version of Multi-Perspectives on Feature Models - 2011,7 (TUD-FI11-07-Dezember 2011)
- Extended Version of Elucidative Development for Model-Based Documentation and Language Specification - 2012,1 (TUD-FI12-01-Januar 2012)
- Architecture of an Intelligent Test Error Detection Agent - 2012,02 (TUD-FI12-02-Februar 2012)
- Approaching Concept Drift by Context Feature Partitioning - 2012,03 (TUD-FI12-03-Februar 2012)
- Consistency of Probabilistic Context-Free Grammars - 2012,04 (TUD-FI12-04-März 2012)
- Innovationsforum open4INNOVATION2012 regional kooperativ-global innovativ - 2012,05 (TUD-FI12-05-Mai 2012)
- Communication Overhead of Network Coding Schemes Secure against Pollution Attacks - 2012,07 (TUD-FI12-07-Mai 2012)
- RACR: A Scheme Library for Reference Attribute Grammar Controlled Rewriting - 2012,09 (TUD-FI 12-09 Dezember 2012)
- Comparing Mobile Applications' Energy Consumption - 2012,10 (TUD-FI 12-10 Dezember 2012)
- Test Modeling of Dynamic Variable Systems using Feature Petri Nets - 2013,01 (TUD-Fl13-01-Sept. 2013)
- Selective Core Boosting: The Return of the Turbo Button - 2013,02 (TUD-FI13-02 November 2013)
- Robust Surface Reconstruction from Point Clouds - 2013,03 (TUD-FI13-03 November 2013)
- Concept-Oriented Model and Nested Partially Ordered Sets - 2014,01 (TUD-FI14-01 März 2014)
- Using Variability Management in Mobile Application Test Modeling - 2014,02 (TUD-FI14-02 April2014)
- A Study of Partitioning and Parallel UDF Execution with the SAP HANA Database - 2014,03 (TUD-FI14-03 Mai 2014)
- Impact and Challenges of Software in 2025 - 2014,04 (TUD-FI14-04 August 2014)
- Adopting Architectural Event Modules for Modular Coordination of Multiple Applications - 2015,02 (TUD-FI15-02-Juli 2015)
- An Overview of Language Support for Modular Event-driven Programming - 2015,03 (TUD-FI15-03-August 2015)
- A Combined Formal Model for Relational Context-Dependent Roles (Extended) - 2015,04 (TUD-FI15-04-September 2015)
- Cognitive Computing - 2015 (TUD-FI15-05 Oktober 2015)
- Die C# Schnittstelle der Referenzattributgrammatik-gesteuerten Graphersetzungsbibliothek RACR: Übersicht, Anwendung und Implementierung - 2015,06 (TUD-FI15-06 Oktober-2015)
- Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments - 2015,01(TUD-FI15-01-Februar 2015)
- An Overview of Event-based Facades for Modular Composition and Coordination of Multiple Applications - 2016,01(TUD-FI16-01-September 2016)
- Quantification and Classification of Cortical Perfusion during Ischemic Strokes by Intraoperative Thermal Imaging - 2016,02 (TUD-FI16-02-September 2016)
- Autonomic Computing - 2016, 03 (TUD-FI16-03-Oktober 2016)
- Comprehensive Backend Support for Local Memory Fault Tolerance - 2016,04(TUD-FI16-04-November 2016)
- Probabilistic Analysis of Low-Criticality Execution - 2017,02 (TUD-FI17-02-November 2017)
- From Algorithmic Computing to Autonomic Computing - 2017,03 (TUD-FI17-03-Dezember 2017)
- Wissensrepräsentation und diagnostische Inferenz mittels Bayesscher Netze im medizinischen Diskursbereich - 2019,02 (TUD-FI19-02-April 2019)
- Moving Least Squares Correspondences for Iterative Point Set Registration - 2019,03 (TUD-FI19-03-August 2019)