|
Technische Berichte der Fakultät
Inhaltsverzeichnis
[Einleitung]
[Jahrgang 2013]
[Jahrgang 2012]
[Jahrgang 2011]
[Jahrgang 2010]
[Jahrgang 2009]
[Jahrgang 2008]
[Jahrgang 2007]
[Jahrgang 2006]
[Jahrgang 2005]
[Jahrgang 2004]
[Jahrgang 2003]
[Jahrgang 2002]
[Jahrgang 2001]
[Jahrgang 2000]
[Jahrgang 1999]
[Jahrgang 1998]
[Jahrgang 1997]
[Jahrgang 1996]
[Jahrgang 1995]
[Jahrgang 1994]
HinweisAb Heft 96/07 erfolgte die Veröffentlichung mit ISSN 1430-211X.
Jahrgang 2013
- Test Modeling of Dynamic Variable Systems using Feature Petri Nets
Püschel, Seidl, Gorzel, Neufert, Aßmann
TUD-FI13-01-September 2013
- Selective Core Boosting: The Return of the Turbo Button
Wamhoff, Marlier, Dice
TUD-FI13-02-November 2013
Jahrgang 2012
- Extended Version of Elucidatative Development for Model-Based Documentation and Language Specification
Wilke, Bartho, Schroeter, Karol, Aßmann
TUD-FI12-01-Januar 2012
- Architecture of an Intelligent Test Error Detection Agent
Kirmse, Petersohn
TUD-FI12-02-Februar 2012
- Approaching Concept Drift by Context Feature Partitioning
Hoffmann, Kirmse, Petersohn
TUD-FI12-03- Februar 2012
- Consistency of Probabilistic Context-Free Grammars
Stüber
TUD-FI12-04-März 2012
- Innovationsforum open4INNOVATION2012 regional kooperativ-global innovativ - Beiträge zum Fachforum
Gräning, Röttger (Ed.)
TUD-FI12-05-Mai 2012
- Proceedings of the Workshop Weighted Automata: Theory and Applications 2012
Droste, Vogler
TUD-FI12-06-Mai 2012
- Communication Overhead of Network Coding Schemes Secure against Pollution Attacks
TUD-FI12-07-Mai 2012
Franz, Pfennig, Fischer
- RACR: A Scheme Library for Rederence Attribute Grammar Controlles Rewriting
Bürger
TUD-FI12-09-Dezember 2012
- Comparing Mobile Applications Ernergy Consumption
Wilke et al
TUD-FI12-10-Dezember 2012
Jahrgang 2011
- Towards a Unifying Visualization Ontology
Voigt, Polowinski
TUD-FI11-01-März 2011
- Proceedings of the 6th International Workshop on Systems Software Verification (SSV 2011)
Brauer, Roveri, Tews
TUD-FI11-02-August 2011
- Aspects of Software's Enerrgy Consumption
Waltsgott, Götz, Fritzsche, Cech, Wilke
TUD-FI11-04-Sept. 2011
- State of the Art: Optimization of Energy Consumption in Storage Systems
Waltsgott, Götz, Fritzsche, Cech, Wilke
TUD-FI11-05-Sept.2011
- State of the Art: Hardware Energy Management
Waltsgott, Götz, Fritzsche, Cech, Wilke
TUD-FI11-06-Sept.2011
- Extended Version of Multi-Perspectives on Feature Models
Schroeter, Lochau, Winkelmann
TUD-FI11-07-Dez.2011
Jahrgang 2010
- Providing Mainstream Parser Generators with Modular Language Definition Support
Sven Karol, Steffen Zschaler
TUD-FI10-01 - Januar 2010
- XASM - A Generic and Retargetable Assembler
Marco Kaufmann
TUD-FI10-02 - Januar 2010
- Towards Attribute Grammars for Metamodel Semantics
Christoff Bürger, Sven Karol
TUD-FI10-03 - März 2010
- An extended Framework for Snake-based Contour Extraction
Gosda, Schiekel, Richter, Petersohn
TUD-FI10-04-April 2010
- Feature-based Customisation of MDSD Tool Enviroments
Wende, Zivkovic, Aßmann, Kühn
TUD-FI10-05-Juli 2010
- Optimizing Hybrid Transactional Memory: The Importance of Nonspeculative Operations
Riegel, Marlier, Nowack, Felber, Fetzer
TUD-FI10-06-November 2010
- Weighted Monadic Datalog Tree Transducers
Geisler, Stüber
TUD-FI10-07-Dezember 2010
- THEATRE Resource MAnager Interface Specification v. 1.0
Götz, Wilke, Schmidt, Cech, Waltsgott, Fritzsche
TUD-FI10-08-Dezember 2010
Jahrgang 2009
- Putting Queens in Carry Chains
Thomas B. Preußer; Bernd Nägel; Rainer G. Spallek
TUD-FI09-03 - März 2009
- Extended Abstracts of the Fourth Privacy Enhancing Technologies Convention (PET-CON 2009.1)
Stefan Köpsell, Karsten Loesing
TUD-FI09-04 - April 2009
- Automatically Generating Counterexamples to Naive Free Theorems
Seidel, Voigtländer
TUD-FI09-05 - Juni 2009
- Taming Selective Strictness
Seidel, Voigtländer
TUD-FI09-06 - Juni 2009
- Kommunikationsnetzwerke für diskret Massive Systeme
Schulze
TUD-FI09-07 - Juli 2009
- Abstracting Complex Languages through Transformation and Composition
Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos, Richard F. Paige
TUD-FI09-08 - Juli 2009
- ATARE: ACPI Tables and Regular Expressions
Kauer
TUD-FI09-09 - August 2009
- An Embedded Garbage Collection Module with Support for Multiple Mutators and Weak References
Thomas B. Preußer, Peter Reichel, Rainer G. Spallek
TUD-FI09-11 - November 2009
- Komparativer Ähnlichkeitsalgorithmus
Eva-Maria Schwartz
TUD-FI09-12 - Dezember 2009
- SHAP - Scalable Multi-Core Java Bytecode Processor
Martin Zabel, Rainer G. Spallek
TUD-FI09-13 - Dezember 2009
Jahrgang 2008
- Vektoranalytische Beschreibung eines diskret Massiven Systems
Schulze
TUD-FI08-01 - Januar 2008
- Refactoring-Based Adaption of Adapter Specifications
L. Savga, M. Rudolf
TUD-FI08-02 - Februrar 2008
- Bissimulation Minimization of Weighted Automata on Unranked Trees
J. Högberg, A. Maletti, H. Vogler
TUD-FI08-03 - März 2008
- Decomposition of Weighted Multioperator Tree Automata
T. Stüber, H. Vogler, Z. Fülöp
TUD-FI08-04 - Mai 2008
- Weighted Automata: Theory and Applications
M. Droste, H. Vogler
TUD-FI08-05 - Mai 2008
- Collaborating Languages and Tool - A Study in Feasibility
Steffen Zschaler, Christian Wende
TUD-FI08-06 - Juli 2008
- E-Learning 2.0
E. Rawolle, H. Rohland
TUD-FI08-07 - Dezember 2008
- Parametricity for Haskell with Imprecise Error Semantics
Stenger, Voigtländer
TUD-FI08-08 - November 2008
- Proceedings of 6th International Fujaba Days
Uwe Aßmann, Jendrik Johannes, Albert Zündorf
TUD-FI08-09 - September 2008
Jahrgang 2007
Jahrgang 2006
- Transforming an arbitrary MinSum problem into a binary one
Flach, Schlesinger
TUD-FI06-01 - April 2006
- Selective Strictness and Parametricity in Structural Operational Semantics
Voigtländer, Johann
TUD-FI06-02 - Juni 2006
- Backround of the Analysis of a Fully-Scalable Digital Fractional Clock Divider
Preußer
TUD-FI06-03 - September 2006
- OCL for (Meta-)Models in Multiple Application Domains
Demuth, Chiorean, Gogolla, Warmer
TUD-FI06-04 - September 2006
- Pure and O-Substitution
Maletti
TUD-FI06-05 - Oktober 2006
- Design of the Bastei OS Archietecture
Feske, Helmuth
TUD-FI06-07 - Dezember 2006
- A Comparison of Serveral Models of Weighted tree Automata
Fülöp, Vogler
TUD-FI06-08 - Dezember 2006
- Quality-Assuring Scheduling
Hamann, Reuther, Wolter, Härtig
TUD-FI06-09 - Dezember 2006
Jahrgang 2005
- The Town Map: A new approach for Privacy Enhancing Human Computer Interfaces
Bergmann, Rost, Petersson
TUD-FI05-01 - Januar 2005
- An Approach to Computable Coalgebras based on Recursive Functions
Frank Felfe
TUD-FI05-02 - Januar 2005
- Modellierung der Encoding-Kosten und der Qualität kodierter Videoobjekte am Beispiel von WMV-9 und MPEG-1
Buchholz, Heidel
TUD-FI05-03 - Januar 2005
- 7th International Symposium on Logical Formalizations of Commonsense Reasoning
M. Thielscher, P. Peppas, S. Mcllraith
TUD-FI05-04 - Mai 2005
- Compositions of Tree Series Transformations
Maletti
TUD-FI05-05 - Oktober 2005
- Recognizable and Rational Formal Power Series with General Discounting
M. Droste, H. Vogler
TUD-FI05-06 - Juni 2005
- Discrete Fractional Clock Generation for Systems-on-FPGA
Preußer, Köhler
TUD-FI05-07 - Juni 2005
- Structures and deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP 2005)
Paola Bruscoli, Francois Lamarche, Charles Stewart
TUD-FI05-08 - Juli 2005
- Informatik und Schule 2005 - Unterrichtskonzepte für informatische Bildung
Hrsg. Rohland, Holger
TUD-FI05-09 - September 2005
- Weighted Tree Automata and Weighted Logics
M. Droste, H. Vogler
TUD-FI05-10 - Juli 2005
- Schwankungsbeschränkte Ströme
Hamann, Claude-J.
TUD-FI05-11 - August 2005
- Methods of Category Theory in Software Engineering
Vogler, Heiko
TUD-FI05-12 - November 2005
- Decomposition Results for Pebbe Macro Tree Transducers
Fülöp, Muzamel
TUD-FI05-13 - Dezember 2005
- Deaccumulation Techniques for Improving Provability
Kühnemann, Voigtländer, Giesl
TUD-FI05-14 - Dezember 2005
- The VFiasco approach for a verfied operating system
Hohmuth, Tews
TUD-FI05-15 - Dezember 2005
Jahrgang 2004
- Connecting Real-Time and Non-Real-Time Components
Pohlack, Aigner, Härtig
TUD-FI04-01 - Februar 2004
- Overlay Window Management: User interaction with multiple security domains
Feske, Helmuth
TUD-FI04-02 - März 2004
- Automatic geration of progam specifications from C++ source code
M. Daum
TUD-FI04-03 - April 2004
- The COMQUAD Component Container Archtitecture and Contract Negotiation
Göbel, Pohl, Aigner et all
TUD-FI04-04 - April 2004
- Weighted Automata: Theory and Applications
Droste, Vogler
TUD-FI04-05 - Mai 2004
- phiRecognizable Formal Power Series are phiRational - An Alternative Proof
Heiko Vogler
TUD-FI04-06 - Mai 2004
- Inclusion Diagrams for Classes of Deterministic Bottom-up Tree-to-Tree-Series Transformations
Andreas Maletti
TUD-FI04-07 - Mai 2004
- Formal Efficiency Analysis for Tree Transcuder Composition
Janis Voigtländer
TUD-FI04-08 - Juni 2004
- Dualizing clones as Lawvere theories
D. Masulovic
TUD-FI04-09 - Juni 2004
- Über die Kontaktdruckmodelle der Spiralphyllotaxis I
Heino Hellwig
TUD-FI04-10 - Juni 2004
- The wisent Parser Generator
Thomas Preußer
TUD-FI04-11 - September 2004
- Proceedings of the 1st International Workshop in Models for Non-functionals Aspects of Component-Based Software
Bruel, Georg, Hussmann, Ober, Pohl, Whittle, Zschaler
TUD-FI04-12 - September 2004
- A categorical logic for invariants of computations
D. Masulovic
TUD-FI04-13 - Dezember 2004
Jahrgang 2003
- Weighted Tree Transducers
Fülöp, Vogler
TUD-FI03-01 - Januar 2003
- Block SOR for Kronecker structured representations
Buchholz, Dayar
TUD-FI03-02 - März 2003
- 17.Workshop Logische Programmierung
B. Fronhoefer, S. Hoelldobler
TUD-FI03-03 - April 2003
- Teture Segmentation of Images on the basis of Markov Random fields
Kovtun
TUD-FI03-04 - Mai 2003
- Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations
Buchholz, Dayar
TUD-FI03-05 - Mai 2003
- Elaboration of two-dimensional raster code for positional encoding of documents
Kulakov, Egorova
TUD.FI03-06 - Mai 2003
- Behavioural Equivalences for Coalgebras
Rothe Masilovic
TUD-FI03-07 - Mai 2003
- An I/O Architecture for Microkernel-Based Operating Systems
Härtig, Löser, Mehnert et all
TUD-FI03-08 - Juli 2003
- Zwischenbericht der DFG-Forschergruppe 428 "Components with Quantitative Properties and Adaptivity (Comquad)"
Aigner, Franz, Göbel, Härtig, Hussmann, Meissner, Meyer-Wegener, Meyerhöfer, Pfitzmann, Pohl, Pohlack, Rüttger, Schill, Wehner, Zschaler
TUD-FI03-10 - August 2003
- DOpE - a Window Server for Real-Time and Embedded Systems
Norman Feske, Hermann Härtig
TUD-FI03-10a - September 2003
- Modellierung virtueller Unternehmen und ihrer informationstechnischen Unterstützung
Detlef Neumann
TUD-FI03-11 - November 2003
- Konzeption und experimentelle Erforschung der VCE KONUS
Engelien, Hohmann, Hunger et al.
TUD-FI03-12 - November 2003
- Markov Theory to Recognize Hand Printed Amharic Bank Checks
Worku, Fuchs
TUD-FI03-13 - November 2003
- Incomparability Results for Classes of Polynomial Tree Series Transformations
Maletti, Vogler
TUD-FI03-14 - Dezember 2003
- Buffer Bounds of a FIFO Multiplexer
Jork Löser
TUD-FI03-15 - November 2003
- Measuring Microsecond Delays
Jork Löser
TUD-FI03-16 - November 2003
- Analysis and Structured Representation of the Theory of Abstract Cell Complexes Applied to Digital Topology and Digital Geometry
Schulz, Fuchs, Kovalevsky
TUD-FI03-17 - Dezember 2003
- NEBUS -Netzwerk Behinderung und Studium- eine virtuelle Gemeinschaft und ihre Web-Plattform
Hunger, Engelien, Riedel, Bunk
TUD-FI03-18 - Dezember 2003
Jahrgang 2002
- Tree Series Transformations that Respect Copying
Z. Fülöp, H. Vogler
TUD-FI02-01 - Februar 2002
- Weighted Automata: Theory and Applications
M. Droste, H. Vogler
TUD-FI02-02 - März 2002
- Applying source-code verification to a microkernel - The VFiasco project
M. Hohmuth, H. Tews, S. Stephens
TUD-FI02-03 - März 2002
- A Kleene theorem for weighted tree automata
M. Droste, H. Vogler
TUD-FI02-04 - Juni 2002
- Entwicklung eines gestisch-intuitiven Mensch-Maschine-Interfaces auf Basis der videogestützten Erkennung von Handzeichen
S. Funck, S. Fuchs
TUD-FI02-05 - Juli 2002
- Cache Influence on Worst Case
Execution Time of Network Stacks
J. Löser
TUD-FI02-07 - Juli 2002
- COMQUAD
Göbel
TUD-FI02-10 - November.2002
- Towards Weak Bisimulation For Coalgebras
Jan Rothe, Dragan Masulovic
TUD-FI02-11 - September 2002
Jahrgang 2001
- VFiasco - Towards a Provably Correct μ-Kernel
Hendrik Tews, Hermann Härtig, Michael Hohmuth
Institut für Theoretische Informatik
TUD-FI01-01 - Januar 2001
- Remarks on a Quality Measure
Torsten Wierschin
Institut für Künstliche Intelligenz
TUD-FI01-03 - Februar 2001
- Plattform virtueller Unternehmen - ein Anwendungsframework
M. Halatchev
Institut für Angewandte Informatik, Privatdozentur Angewandte Informatik
TUD-FI01-02 - März 2001
- Different Approaches to the Semantics of Workflow
P. Buchholz, M. Droste, B. Ganter, S. Hölldobler, K. Meyer-Wegener, R.
Pöschel, H. Reichel, M. Thielscher, H. Vogler
Graduiertenkolleg 334
TUD-FI01-04 - Juli 2001
- Automatische und interaktive Interpretation von Leitungsplänen
Petra Neumann, Gabor Müller, Siegfried Fuchs
Institut Künstliche Intelligenz
TUD-FI01-05 - Juli 2001
- Untersuchung statistischer Modelle für die Registrierung von MR und PE (bzw. SPEC) Tomogrammen
Tilo Pfliegner; Boris Flach; Siegfried Fuchs
Institut für Künstliche Intelligenz
TUD-FI01-06 - Juli 2001
- Tree Transducer Composition as Deforestation Method for Functional Programs
A. Kühnemann, J. Voigtländer
TUD-FI01-07 - August 2001
- Composition of Functions with Accumulating Parameters
J. Voigtländer, A. Kühnemann
TUD-FI01-08 - August 2001
- A Streaming Interface for Real-Time Interprocess Communication
J. Löser, L. Reuther, H. Härtig
Graduiertenkolleg 191
TUD-FI01-09 - August 2001
- Syntacitc composition of top-down tree transducers is short cut fusion
Claus Jürgensen, Heiko Vogler
TUD-FI01-10 - November 2001
Jahrgang 2000
- Modellgesteuerte, automatisierte Erfassung von Leitungsplänen und Integration in Geoinformationssysteme
Dipl.-Inf. Oliver Bringmann
Institut für Künstliche Intelligenz
TUD-FI00-01 - April 2000
- TUD-FI00-02 wird nicht mehr veröffentlicht
- Automatische Extraktion von festigkeits- und optisch relevanten Merkmalen aus Farbbildern von Schnittholzoberflächen
S. Bischoff; B. Flach; E. Kask; S. Fuchs
Institut für Künstliche Intelligenz
TUD-FI00-03 - Mai 2000
- Bewertung von Algorithmen in der Bildverarbeitung und Mustererkennung
- Stand der Technik und Anwendung -
T. Wierschin; S. Fuchs
TUD-FI00-04 - Mai 2000
- A universal functional approach to DNA computing and its experimental practicability
T. Hinze; M. Sturm
Institut für Theoretische Informatik
TUD-FI00-05 - Juni 2000
- Massiv parallele System
Teil 2: Topologiesynthese
Rainer W. Schulze
Institut für Technische Informatik
TUD-FI00-06 - August 2000
- TUD-FI00-07 wird nicht mehr veröffentlicht
- A numerical analysis of a communication system with advance reservations
Peter Buchholz
Institut für Angewandte Informatik
Sabine Kühn; Frank Breiter
Institut für Systemarchitektur
TUD-FI00-08 - September 2000
- The Coalgebraic Specification Language CCSL
Jan Rothe, Hendrik Tews, Bart Jacobs
Institut für Theoretische Informatik
TUD-FI00-09 - Oktober 2000
- Bottom-up and Top-down
Tree Series Transformations
Z.Fülöp, Szeged Jozsef Attila University
H. Vogler, Dresden University of Technology
TUD-FI00-10 - Oktober 2000
- Tau-Equivalences and Refinement for Petri Nets Based Design
Igor V. Tarasyuk
Institute of Informatics Systems, Novosibirsk
TUD-FI00-11 - November 2000
- A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions
Peter Buchholz, Igor V. Tarasyuk
Institute of Applied Computer Science, Dresden University of Technology,
Insitute of Informatics Systems, Novosibirsk
TUD-FI00-12 - November 2000
- A Formalization of Hylomorphism Based Deforestation with an Application to an Extended Typed l-Calculus
Claus Jürgensen
Institut für Theoretische Informatik
TUD-FI00-13 - November 2000
Jahrgang 1999
Jahrgang 1998
Jahrgang 1997
- Probabilistic Modeling of Distributed Information Retrieval
Christoph Baumgarten
TUD-FI97-01 - Februar 1997
- Programmiereinführung in OPAL
A. Wehrenpfennig
TUD-FI97-02 - März 1997
- VLSI-Realisierungen für ATM: eine Übersicht
Forchel, D; Spallek, R.G.
TUD-FI97-03 - April 1997
- Gruppenorientiertes Konfigurationsmanagement auf Basis von Lotus Notes
D. Hanzelmann, VSS Atlas Datensysteme GmbH Dresden
R. Liskowsky/S. Löscher, TU Dresden, Fakultät Informatik
TUD-FI97-04 - April 1997
- Entwurf und Realisierung eines Informationssystems zur Prozessdatenverwaltung und -verarbeitung im durchgängigen Halbleitertechnologieprozess
Gratz, A.; Schulz, P.; Spallek, R.G.
TUD-FI97-05 - Mai 1997
- Konzeption eines dreistufigen Transfers für die maschinelle Übersetzung natürlicher Sprachen
Annett Laube; Hans-Ulrich Karl
TUD-FI97-06 - August 1997
- Segmentation of 3D Data
Torsten Ihle
TUD-FI97-07 - September 1997
- Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme
S. Schwigon; P. Hofstedt
TUD-FI97-08 - Oktober 1997
- Eine Methode für Entwurf und Bewertung von Integrationsvarianten für Anwendungsprogramme und Workflow-Management-Systeme in Geschäftsprozessen
M. Böhm
TUD-FI97-09 - Oktober 1997
- Verfolgung von Objekten mit gekrümmter Oberfläche
Katrin Stark
TUD-FI97-10 - Juli 1997
- Laterale Verkopplung im visuellen System der Vertebraten - beschrieben im Zellularen Beobachtungsraum
Schulze, Rainer
TUD-FI97-11 - Oktober 1997
- Attributed Context-Free Hypergraph Grammars
Sebastian Maneth, Heiko Vogler
TUD-FI97-12 - Oktober 1997
- Grundlagen der Parallelität
Workshop der GI-Fachgruppen 0.0.1 und 0.1.7 im Rahmen der INFORMATIK '97
Jörg Desel, Horst Reichel
TUD-FI97-13 - November 1997
- Labor- und Feldtests als Mittel für Akzeptanzuntersuchungen in Lehr-/Lernsystemen
Gunter Dubrau
TUD-FI97-14 - November 1997
- A Characterization of Attributed Tree Transformations
Z. Fülöp, Szeged Jozsef Attila University
H. Vogler, Dresden University of Technology
TUD-FI97-15 - Dezember 1997
Jahrgang 1996
- Gegenwärtiger Entwicklungsstand und Perspektiven von Fehlertoleranztechniken in der parallelen Verarbeitung
Robert Dietze, Peter Sobe
TUD-FI96-01 - Januar 1996
- OPAL - Objektorientiertes und paralleles Programmieren
A. Wehrenpfennig
TUD-FI96-02 - Januar 1996
- Ein uniformer Ansatz zur Implementation paralleler Algorithmen
H. Haß, Th. Stirner
TUD-FI96-03 - Januar 1996
- Reduzierung des Befehlsstroms eines RISC-PROZESSORS durch Anwendung der Datenkompression
S. Sawitzki; G. Kemnitz; R.G. Spallek
TUD-FI96-04 - Januar 1996
- Erstellung skalierbarer paralleler Programme für den Parsytec-PowerXPlorer
Sobe, Peter
TUD-FI96-05 - Februar 1996
- Arbeitstreffen über:
Grundlagen, Spezifikation, Implementierung und Verifikation von Programmiersprachen
Heiko Vogler
TUD-FI96-06 - Februar 1996
- Verfahren zum Nachweis der Ein-/Ausgabeäquivalenz zweier endlicher, deterministischer, abstraktiver Automaten mit binären Ein- und Ausgängen
J. Schönherr
TUD-FI96-07 - April 1996
- Inhaltsorientierte Suche nach Multimedia-Objekten
Beate Kochinka
TUD-FI96-08 - April 1996
- Untersuchungen zur Struktur des Spatiotemporalen Kontinuums
Torsten Ihle
TUD-FI96-09 - Juli 1996
- A Method for Tracking the Pose of Known 3-D-Objects Based on an Active Contour Model
Katrin Stark
TUD-FI96-10 - August 1996
- TUD-FI96-11 wird nicht mehr veröffentlicht
- Entwicklung und Programmierung eines Verfahrens zur verteilten Fehlersimulation analoger Netzwerke
Holubek, A.
TUD-FI96-12 - Juni 1996
- Internetdienste für Schulen am Beispiel eines Prototyp-Servers
S. Friedrich/T. Peters
TUD-FI96-13 - Juni 1996
- Statisches Scheduling in MIMD-Maschinen mit nichtdeterministischer Kommunikation
Forchel, D.
TUD-FI96-14 - Juli 1996
- Wechselwirkungen in einem Zellularen Beobachtungsgebiet
- dargestellt am Beispiel einer Neuronenpopulation
Schulze, Rainer
TUD-FI96-15 - August 1996
- Formal Methods for Concurrency (Abstracts)
Colloquium Munich, July 1996
Jörg Desel, Horst Reichel
TUD-FI96-16 - September 1996
- The equivalence of bottom-up and top-down tree-to-graph transducers
Joost Engelfriet (Leiden University/NL) and Heiko Vogler
TUD-FI96-17 - Oktober 1996
- Technisch orientierte Modellierung der Erregungsausbreitung in neuronalen Systemen
Schulze, Rainer
TUD-FI96-18 - November 1996
- On the Generating Power of Deterministic Tree Transducers
Sebastian Maneth
TUD-FI96-19 - November 1996
- Analytische Beschreibung von Ereignisabhängigkeiten in neuronalen Systemen
Schulze, Rainer
TUD-FI96-20 - November 1996
- A Strict Border for the Decidability of E-Unification for Recursive Functions
Sebastian Maneth, Technische Universität Dresden
Heinz Faßbender, Deutsche Forschungsanstalt für Luft und Raumfahrt e.V.
TUD-FI96-21 - November 1996
Jahrgang 1995
Jahrgang 1994
- Systemunterstützung für verteilte Mobilrechner - Anwendungen
W. Böhmak, B. Bellmann, T. Reibger, A. Schill
TUD-FI94-01 - Juli 1994
- Management Support and Quality of Service Abstractions for XTPX
T. Hutschenreuther, A. Schill, G. Schreiter, F. Wildenhain
TUD-FI94-02 - Juli 1994
- Trader Support for a Competitive Market of Services
Ch. Mittasch
Institut Betriebssysteme, Datendanken, Rechnernetze
TUD-FI94-03 - September 1994
- Modellierung und Simulation - Terminilogische Probleme
M. Frank
Insitut für Informationssysteme
TUD-FI94-04 - November 1994
- Akquirierung, Repräsentation und Anwendung attributierten Wissens in einem Lehr- und Lernsystem für die Ingenieurwissenschaft
H.-U. Karl/A. Schreiber/ G. Wegner
TUD-FI94-05 - Dezember 1994
|
|