Author of the publication

Runtime Verification of Scientific Computing: Towards an Extreme Scale.

, , , and . ESPT@SC, page 26-33. IEEE, (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Nova Visualization for Optimization of Data-Parallel Programs., , , , and . Euro-Par, volume 1300 of Lecture Notes in Computer Science, page 89-93. Springer, (1997)Notifications management in distributed development environments: A case study., and . CTS, page 49-55. IEEE, (2014)Language Support for Event-based Debugging., and . SEKE, page 392-399. Knowledge Systems Institute Graduate School, (2009)An hybrid model for very high level threads., , and . PMAM, page 55-63. ACM, (2012)Building a Collaborative Virtual Environment: A Programming Language Codesign Approach., , and . CW, page 54-61. IEEE Computer Society, (2011)Runtime Verification of Scientific Computing: Towards an Extreme Scale., , , and . ESPT@SC, page 26-33. IEEE, (2016)Integrating Collaborative Program Development and Debugging within a Virtual Environment., , , and . CRIWG, volume 5411 of Lecture Notes in Computer Science, page 107-120. Springer, (2008)Collaborative education in a virtual learning environment., , , and . Int. J. Bus. Inf. Syst., 25 (4): 474-489 (2017)Adding High Level VoIP Facilities to the Unicon Language., and . ITNG, page 524-529. IEEE Computer Society, (2006)Integrated Learning Development Environment for Learning and Teaching C/C++ Language to Novice Programmers., , and . FIE, page 1-5. IEEE, (2020)