Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit.

S. Craciunas, C. Kirsch, H. Payer, H. Röck, und A. Sokolova. CoRR, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mahathi Anand University of Stuttgart

Viraatt Sai Anasuri University of Stuttgart

Ana Cutuk University of Stuttgart

Ana Baric University of Stuttgart

Ana-Maria Okuka

Weitere Publikationen von Autoren mit dem selben Namen

Generic Trace Theory.I. Hasuo, B. Jacobs, und A. Sokolova. Electr. Notes Theor. Comput. Sci., 164 (1): 47-65 (2006)Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems.A. Silva, und A. Sokolova. Electr. Notes Theor. Comput. Sci., (2011)Compositionality for Markov reward chains with fast and silent transitions.J. Markovski, A. Sokolova, N. Trcka, und E. de Vink. Perform. Eval., 66 (8): 435-452 (2009)Temporal isolation in real-time systems: the VBS approach.S. Craciunas, C. Kirsch, H. Payer, H. Röck, und A. Sokolova. STTT, 15 (3): 189-209 (2013)A Compacting Real-Time Memory Management System.S. Craciunas, C. Kirsch, H. Payer, A. Sokolova, H. Stadler, und R. Staudinger. USENIX Annual Technical Conference, Seite 349-362. USENIX Association, (2008)Probabilistic systems coalgebraically: A survey.A. Sokolova. Theor. Comput. Sci., 412 (38): 5095-5110 (2011)Termination in Convex Sets of Distributions.A. Sokolova, und H. Woracek. Logical Methods in Computer Science, (2018)Runtime Programming through Model-Preserving, Scalable Runtime Patches.C. Kirsch, L. Lopes, E. Marques, und A. Sokolova. FACS, Volume 6921 von Lecture Notes in Computer Science, Seite 290-294. Springer, (2010)Coalgebraic Components in a Many-Sorted Microcosm.I. Hasuo, C. Heunen, B. Jacobs, und A. Sokolova. CALCO, Volume 5728 von Lecture Notes in Computer Science, Seite 64-80. Springer, (2009)Coalgebraic Weak Bisimulation for Action-Type Systems.A. Sokolova, E. de Vink, und H. Woracek. Sci. Ann. Comp. Sci., (2009)