Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
    Datensatz exportieren als...
  • BibTeX
Mehrebenensimulation [Elektronische Ressource]
Mikroelektronik für die Informationstechnik, 1989, S. 23-33 (Alle Bände)
2009
    Datensatz exportieren als...
  • BibTeX
DIGITEST II : an integrated structural and behavioural language [Elektronische Ressource]
International Symposium on Computer Hardware Description Languages and their Applications, New York, 3, 1975, S. 38-44 (Alle Bände)
2009
    Datensatz exportieren als...
  • BibTeX
System level design
Cadlab Report : 93,13 (Alle Bände)
1993
Signatur: MQ3769
    Datensatz exportieren als...
  • BibTeX
DIGITEST: a structural language based on algebraic models of the logic topology and the time behaviour of digital circuits [Elektronische Ressource]
Proceedings of 2nd Workshop on Computer Hardware Description Languages, Darmstadt, Jul. 1974, 1974, S. 126-128
2009
    Datensatz exportieren als...
  • BibTeX
Petri net based description, analysis and simulation of concurrent processes [Elektronische Ressource]
ACM SIGDA Newsletters, 1977, S. 15-27
2009
    Datensatz exportieren als...
  • BibTeX
Five valued quasi Boolean functions [Elektronische Ressource]
Fifth European Meeting on Cybernetics and Systems Research / European Meeting on Cybernetics and Systems Research <5, 1980, Wien>, 35.1980, S. 2-5
2009
    Datensatz exportieren als...
  • BibTeX
CAP/SIL : eine Systemimplementierungssprache für Multi-Mikroprozessor-Systeme aus der CAP Sprachfamilie [Elektronische Ressource]
Implementierungssprachen für nichtsequentielle Programmsysteme, 1981, S. 119-132 (Alle Bände)
2009
    Datensatz exportieren als...
  • BibTeX
Überlegungen zur Kontrollstruktur einer Computer-Hardware-Beschreibungs-Sprache
Forschungsbericht / Abteilung Informatik, Universität Dortmund : 62 (Alle Bände)
1978
Signatur: DQ197
    Datensatz exportieren als...
  • BibTeX
Quasi reale Boolesche Funktionen : ein Versuch, zeitliche Effekte physikalisch realisierter Bauteile zu algebraisieren [Elektronische Ressource]
Digital Processes, 1976, S. 27-45 (Alle Bände)
2009
    Datensatz exportieren als...
  • BibTeX
Organic programming of dynamic real-time applications
2019
Signatur: PQ1253
    Datensatz exportieren als...
  • BibTeX
Online anomaly detection for reconfigurable self-X real-time operating systems : a danger theory-inspired approach
2016
Signatur: PQ1006
    Datensatz exportieren als...
  • BibTeX
Organic programming of dynamic real-time applications
2019
    Datensatz exportieren als...
  • BibTeX
Online anomaly detection for reconfigurable self-X real-time operating systems : a danger theory-inspired approach
2016
    Datensatz exportieren als...
  • BibTeX
ODICE: object oriented hardware description in CAD environment
Cadlab-Report : 91,14 (Alle Bände)
[1991]
Signatur: MQ1830
    Datensatz exportieren als...
  • BibTeX
Fünfjahresfeier Cadlab, 20.2.1991 : Vorträge des Cadlab-Vorstandes
Cadlab-Report : 91,27 (Alle Bände)
1991
Signatur: MQ2350
    Datensatz exportieren als...
  • BibTeX
Energy efficient scheduling for hard real-time systems
2014
Signatur: PQ811
    Datensatz exportieren als...
  • BibTeX
Online model checking mechanism and its applications
January 2016
    Datensatz exportieren als...
  • BibTeX
Mixed reality in the loop : ein iteratives, prototypenbasiertes Entwurfsvorgehen für die Entwicklung von Mixed Reality Anwendungen = Mixed Reality in the Loop - an iterative prototype-based design method for the development of mixed reality applications [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
A cooperative and verifiable UAV behavior for 3D environments [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
A cooperative and verifiable UAV behavior for 3D environments
2013
Signatur: PQ787
    Datensatz exportieren als...
  • BibTeX
Online model checking mechanism and its applications
January 2016
Signatur: PQ982
    Datensatz exportieren als...
  • BibTeX
Towards the design of fault-tolerant distributed real-time systems [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Towards the design of fault-tolerant distributed real-time systems
2014
Signatur: PQ836
    Datensatz exportieren als...
  • BibTeX
Multi-aspect full-system server model and optimization concept as a simulation-based approach (MFSMOS)
2018
    Datensatz exportieren als...
  • BibTeX
Towards full virtualization of embedded real-time systems : = Zur Vollvirtualisierung eingebetteter Echtzeitsysteme [Elektronische Ressource]
2011
26 – 50 von 98
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen