From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Trace-and-brace (TAB): bespoke software countermeasures against soft errors.

Y. Ko, A. Bradbury, B. Burgstaller, и R. Mullins. LCTES, стр. 73-85. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Gerhard Burgstaller

Heinz Burgstaller

Stefan Burgstaller

Eva Burgstaller

Andreas Burgstaller

Другие публикации лиц с тем же именем

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.J. Blieberger, B. Burgstaller, и B. Scholz. Ada-Europe, том 1845 из Lecture Notes in Computer Science, стр. 225-237. Springer, (2000)Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation.J. Blieberger, и B. Burgstaller. Ada-Europe, том 2655 из Lecture Notes in Computer Science, стр. 153-167. Springer, (2003)Symbolic Analysis of Imperative Programming Languages.B. Burgstaller, B. Scholz, и J. Blieberger. JMLC, том 4228 из Lecture Notes in Computer Science, стр. 172-194. Springer, (2006)Dynamically Selective Performance Optimization Method for Mobile 3D Graphics Application with N-Screen Service.J. Piao, C. Cho, C. Kim, B. Burgstaller, и S. Kim. Wireless Personal Communications, 94 (3): 369-391 (2017)Trace-and-brace (TAB): bespoke software countermeasures against soft errors.Y. Ko, A. Bradbury, B. Burgstaller, и R. Mullins. LCTES, стр. 73-85. ACM, (2022)Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-Memory Multicores.M. Jung, J. Park, J. Blieberger, и B. Burgstaller. ICPP, стр. 271-281. IEEE Computer Society, (2017)Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects.B. Burgstaller, и J. Blieberger. Ada-Europe, том 8454 из Lecture Notes in Computer Science, стр. 27-42. Springer, (2014)Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics.S. Yang, S. Jeong, B. Min, Y. Kim, B. Burgstaller, и J. Blieberger. J. Syst. Archit., (2020)Treegraph-based Instruction Scheduling for Stack-based Virtual Machines.J. Park, J. Park, W. Song, S. Yoon, B. Burgstaller, и B. Scholz. Bytecode@ETAPS, том 279 из Electronic Notes in Theoretical Computer Science, стр. 33-45. Elsevier, (2011)BEC: Bit-Level Static Analysis for Reliability against Soft Errors.Y. Ko, и B. Burgstaller. CGO, стр. 283-295. IEEE, (2024)

BibSonomy

Disambiguation