Erscheinungsjahr
Format
Lizenz
TIB-Lesesaalbestand
Synonyme wurden verwendet für: Concurrency
Suche ohne Synonyme: keywords:("Concurrency")
Verwendete Synonyme:
- computer multitasking
- nebenlaufigkeit
-
A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques
Online Contents | 2017|Schlagwörter: Concurrency bug detection, Concurrency bug fixing, Concurrency bug avoidance, Concurrency bug exposing -
27th International Conference on Concurrency Theory : CONCUR'16, August 23-26, 2016, Québec City, Canada
Freier ZugriffTIBKAT | 2016|Schlagwörter: Nebenläufigkeit -
A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques
Online Contents | 2017|Schlagwörter: Concurrency bug detection, Concurrency bug fixing, Concurrency bug avoidance, Concurrency bug exposing -
26th International Conference on Concurrency Theory : CONCUR’15, September 1-4, 2015, Madrid, Spain
Freier ZugriffTIBKAT | 2015|Schlagwörter: Nebenläufigkeit -
Towards Implicit Parallel Programming for Systems
Freier ZugriffTIBKAT | 2019|Schlagwörter: Nebenläufigkeit -
2019 19th International Conference on Application of Concurrency to System Design : ACSD 2019 : Aachen, Germany, 22-27 June 2019 : proceedings
TIBKAT | 2019|Schlagwörter: Nebenläufigkeit -
18th International Conference on Application of Concurrency to System Design : ACSD 2018 : 24-29 June 2018, Bratislava, Slovakia : proceedings
TIBKAT | 2018|Schlagwörter: Nebenläufigkeit -
CONCUR 2013 - concurrency theory : 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27 - 30, 2013 ; proceedings
TIBKAT | 2013|Schlagwörter: Nebenläufigkeit -
CONCUR 2014 - concurrency theory : 25th international conference, CONCUR 2014, Rome, Italy, September 2 - 5, 2014 ; proceedings
TIBKAT | 2014|Schlagwörter: Nebenläufigkeit -
2015 15th International Conference on Application of Concurrency to System Design (ACSD 2015) : Brussels, Belgium, 21 - 26 June 2015
TIBKAT | 2015Schlagwörter: Nebenläufigkeit -
Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams
TIBKAT | 2020|Schlagwörter: Nebenläufigkeit -
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions
TIBKAT | 2020|Schlagwörter: Nebenläufigkeit -
Application and theory of petri nets and concurrency : 41st international conference, PETRI NETS 2020, $n41$cOnline$d2020.06.24-25 : proceedings
TIBKAT | 2020|Schlagwörter: Nebenläufigkeit -
17th International Conference on Application of Concurrency to System Design - ACSD 2017 : 25-30 June 2017, Zaragoza, Spain : proceedings
TIBKAT | 2017|Schlagwörter: Nebenläufigkeit -
CONCUR 2012 - concurrency theory : 23rd international conference, CONCUR 2012, Newcastle upon Tyne, September 4 - 7, 2012 ; proceedings
TIBKAT | 2012|Schlagwörter: Nebenläufigkeit -
MCC: A Tool for Unfolding Colored Petri Nets in PNML Format
TIBKAT | 2020|Schlagwörter: Nebenläufigkeit -
Repairing Event Logs with Missing Events to Support Performance Analysis of Systems with Shared Resources
TIBKAT | 2020|Schlagwörter: Nebenläufigkeit
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.