An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: ISoLA 2020 : Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends : Proceedings, Part IV / Margaria, Tiziana; Steffen, Bernhard (Hrsg.). - Cham : Springer Nature, 2021. - (Lecture Notes in Computer Science ; 12479). - S. 10-26. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-83723-5
In: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, 20. Okt. 2020 - 30. Okt. 2020, Rhodes, Greece
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
KOPS Universität Konstanz
- (wann)
-
2021
- Urheber
- URN
-
urn:nbn:de:bsz:352-2-nmxtx7icteyz7
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:41 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Kölbl, Martin
- Leue, Stefan
- KOPS Universität Konstanz
Entstanden
- 2021
Ähnliche Objekte (12)
Efficient algorithm to compute the Berry conductivity
Strict
A Greedy Algorithm to Compute Arrangements of Lines in the Projective Plane
A fast and efficient algorithm to compute BPX- and overlapping preconditioner for adaptive 3D-FEM
An efficient algorithm to compute an elliptic curve from a corresponding function field automorphic form
An efficient algorithm to compute an elliptic curve from a corresponding function field automorphic form
On Strict Regeneration
A coverage-based Box-Algorithm to compute a representation for optimization problems with three objective functions
Word re-ordering and dynamic programming based search algorithm for statistical machine translation
Word re-ordering and dynamic programming based search algorithm for statistical machine translation
Traces
Traces
Efficient algorithm to compute the Berry conductivity
Strict
A Greedy Algorithm to Compute Arrangements of Lines in the Projective Plane
A fast and efficient algorithm to compute BPX- and overlapping preconditioner for adaptive 3D-FEM
An efficient algorithm to compute an elliptic curve from a corresponding function field automorphic form
An efficient algorithm to compute an elliptic curve from a corresponding function field automorphic form
On Strict Regeneration
A coverage-based Box-Algorithm to compute a representation for optimization problems with three objective functions
Word re-ordering and dynamic programming based search algorithm for statistical machine translation
Word re-ordering and dynamic programming based search algorithm for statistical machine translation
Traces
Traces
Efficient algorithm to compute the Berry conductivity
Strict
A Greedy Algorithm to Compute Arrangements of Lines in the Projective Plane
A fast and efficient algorithm to compute BPX- and overlapping preconditioner for adaptive 3D-FEM
An efficient algorithm to compute an elliptic curve from a corresponding function field automorphic form
An efficient algorithm to compute an elliptic curve from a corresponding function field automorphic form
On Strict Regeneration
A coverage-based Box-Algorithm to compute a representation for optimization problems with three objective functions
Word re-ordering and dynamic programming based search algorithm for statistical machine translation
Word re-ordering and dynamic programming based search algorithm for statistical machine translation
Traces