14.08.2008 Seite 155 0

Dissertationen im Umfeld RSS

Bisher erschienene Bände:

Hinweis: bis einschl. Band Nr. 385 sind diese der VDI-Reihe 20 (Rechnerunterstützte Verfahren) zugeordnet. Band Nr. 690 ist der VDI-Reihe 10 (Informatik/Kommunikation) zugeordnet.

Nr. 282 - Birger Landwehr: ILP-basierte Mikroarchitektursynthese mit komplexen Bausteinbibliotheken

Nr. 285 - Renate Beckmann: Speicher-Synthese für allgemeine Multiprozessor-Systeme mit Constraint-Logikprogrammierung

Nr. 286 - Kai Hahn: Methoden und Werkzeuge zur fertigungsnahen Entwurfsverifikation in der Mikrosystemtechnik

Nr. 290 - Ulrich Heinkel: Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen

Nr. 295 - Stefan Höreth: Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen

Nr. 303 - Andre Hertwig: Synthesis of Fast Controllers Subject to Power Consumption, Testability and Fault Tolerance

Nr. 305 - Maximilian Miegler: Konzeption einer Datenbasis zur Spezifikation und Generierung von Prüfprogrammen für gemischt analog-digitale integrierte Schaltungen

Nr. 308 - Frank Scherber: Zur parallelen Verifikation des Layouts von Submikrometerschaltungen

Nr. 311 - Frank Pöhl: Simulation von Verzögerungsfehlern in hochintegrierten Digitalschaltungen mit Tristate-Elementen

Nr. 312 - Christoph Jäschke: Globale Ressourcenteilung in der High-Level-Synthese

Nr. 316 - Christoph Grimm: Hybride Datenflussgraphen und ihre Anwendung beim Entwurf analog/digitaler Systeme

Nr. 330 - Alexander Graßmann: Adaptive Methoden zur effizienten Mixed-Signal-Simulation von Prüfprogrammen für integrierte Schaltungen

Nr. 336 - Thorsten Adler: Algorithmen zur optimierten Verdrahtung integrierter Analogschaltungen

Nr. 337 - Dagmar Peters: Unterstützung des Entwurfsprozesses von Mikrosystemen mit direkten Optimierungsverfahren

Nr. 338 - Joachim Küter: Schaltungspartitionierung für die Logikemulation unter Berücksichtigung der Systemarchitektur

Nr. 339 - Jörn Stohmann: Architekturgesteuerte Abbildung von Datenpfadkomponenten auf SRAM-basierte FPGAs

Nr. 347 - Gundolf Kiefer: Deterministic Built-In Self-Test with Guaranteed Test Quality and Low Overhead

Nr. 353 - Frank Slomka: Mehrkriterienoptimierung verteilter Echtzeitsysteme mit Tabu-Search

Nr. 359 - Matthias Meerwein: Ein wiederverwendungsorientiertes Hardware/Software-Codesign-System für
Mikrocontroller-basierte Systeme

Nr. 364 - Walter Hartong: Ansätze zum Model-Checking nichtlinearer analoger Systeme

Nr. 372 - Oliver Kraus: Synthese von digitalen asynchronen Zustandsautomaten

Nr. 377 - Ilia Polian: On Non-standard Fault Models for Logic Digital Circuits: Simulation, Design for Testability,
Industrial Applications

Nr. 381 - Thomas Fiebig: Untersuchungen zur Fehlerbeobachtungsmöglichkeit beim Test integrierter Schaltungen mit Hilfe versorgungsstrombasierter Testverfahren

Nr. 385 - Ralf Münzenberger: Spezifikation der zeitlichen Aspekte von Echtzeitsystemen am Beispiel von SDL

Nr. 386 - Heiko Bayer: Methoden zur rechnergestützten zeitbezogenen Analyse und Optimierung von Testabläufen beim Test integrierter Schaltung

Nr. 395 - Reinhard Hofmann: Entwicklung eines Konzeptes für den interaktiven Entwurf von analogen und
Mixed-Signal-Schaltungen

Nr. 397 - Thomas Gentner: Multi-Level-Modellierung mit formaler Beobachtung und Bewertung von Modulen eines Testsystems für integrierte Schaltungen

Nr. 399 - Baolin Deng: Formale Beschreibung der Testspezifikation und Testerarchitektur zur Verbesserung der
Testentwicklung für gemischte analog-digital integrierte Schaltungen

Nr. 690 - Andreas Schubert: Modellierung, Optimierung und Selbsttest von kryptographischen virtuellen Komponenten

Das könnte Sie auch interessieren: