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...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
The Theory of Traces for Systems with Nondeterminism and Probability
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-14
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Runtime Programming through Model-Preserving, Scalable Runtime Patches
2011 Eleventh International Conference on Application of Concurrency to System Design, 2011, p.77-86
2011
Open Access
    Datensatz exportieren als...
  • BibTeX
Response Time versus Utilization in Scheduler Overhead Accounting
2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010, p.291-300
2010
Open Access
    Datensatz exportieren als...
  • BibTeX
Information Hiding in Probabilistic Concurrent Systems
2010 Seventh International Conference on the Quantitative Evaluation of Systems, 2010, p.17-26
2010
Open Access
    Datensatz exportieren als...
  • BibTeX
Distributed, Modular HTL
2009 30th IEEE Real-Time Systems Symposium, 2009, p.171-180
2009
Open Access
    Datensatz exportieren als...
  • BibTeX
Programmable temporal isolation through variable-bandwidth servers
2009 IEEE International Symposium on Industrial Embedded Systems, 2009, p.171-180
2009
1 – 6 von 6
Suche als RSS-Feed
Aktive Filter
KollektionIEEE/IET Electronic Library (IEL)
Suchergebnisse filtern
Filter anzeigen