Author of the publication

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

Developing a Concurrent Methodology for Standard-Cell Library Generation., , , , and . DAC, page 333-336. ACM Press, (1997)Leveraging Abstraction to Establish Out-of-Nominal Safety Properties., , and . FTSCS, volume 596 of Communications in Computer and Information Science, page 172-186. Springer, (2015)In-Situ Mitigation of Silent Data Corruption in PDE Solvers., , and . FTXS@HPDC, page 43-48. ACM, (2016)Performance technology for parallel and distributed component software., , , , , , and . Concurr. Pract. Exp., 17 (2-4): 117-141 (2005)Computational Quality of Service for Scientific Components., , , , , , , and . CBSE, volume 3054 of Lecture Notes in Computer Science, page 264-271. Springer, (2004)Frame-Based Components for Generalized Particle Methods., , , , and . HPDC, page 50-59. IEEE Computer Society, (1997)Toward a Common Component Architecture for High-Performance Scientific Computing., , , , , , , and . HPDC, page 115-124. IEEE Computer Society, (1999)Formal Verification of Run-to-Completion Style Statecharts Using Event-B., , , , , and . ECSA Companion, volume 1269 of Communications in Computer and Information Science, page 311-325. Springer, (2020)FICOM: a framework for incremental consistency maintenance in multi-representation, structural VLSI databases., and . ICCAD, page 336-343. IEEE Computer Society / ACM, (1992)The Use of Frameworks for Scientific Computation in a Parallel Distributed Environment., and . HPDC, page 15-25. IEEE, (1994)