×

Found 11 Documents (Results 1–11)

Tri-valued evaluation of residuals as a method of addressing the problem of fault compensation effect. (English) Zbl 1504.93157

Korbicz, Józef (ed.) et al., Advances in diagnostics of processes and systems. Selected papers from the 14th international conference on diagnostics of processes and systems (DPS), September 21–23, 2020, Zielona Góra, Poland. Cham: Springer. Stud. Syst. Decis. Control 313, 31-44 (2021).
MSC:  93B99
Full Text: DOI

Safe nondeterminism in a deterministic-by-default parallel language. (English) Zbl 1284.68166

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 535-548 (2011).
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software