InstitucionesÁrea de conocimientoPeriodo de publicación recogido
|
|
|
Bit-Precise Procedure-Modular Termination Analysis
Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter
ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 40, Nº 1, 2018
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Vojtǎch Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 39, Nº 4, 2017
Don’t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion
Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 39, Nº 2, 2017
A Widening Approach to Multithreaded Program Verification
Alexander Kaiser, Daniel Kroening, Thomas Wahl
ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 36, Nº 4, 2014
Accelerated test execution using GPUs
Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening
ASE´14. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering / coord. por Ivica Crnkovic, 2014, ISBN 978-1-4503-3013-, págs. 11-16
Accelerated test execution using GPUs
Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening
ASE´14. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering / coord. por Ivica Crnkovic, 2014, ISBN 978-1-4503-3013-, págs. 97-102
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados