Author of the publication

Hybrid CPU-GPU constraint checking: Towards efficient context consistency.

, , , , , , , and . Information & Software Technology, (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

Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty., , , , , and . J. Comput. Sci. Technol., 28 (1): 165-187 (2013)Enabling Context-Awareness by Predicate Detection in Asynchronous Environments., , , and . IEEE Trans. Computers, 65 (2): 522-534 (2016)Instance Migration Validity for Dynamic Evolution of Data-Aware Processes., , and . IEEE Trans. Software Eng., 45 (8): 782-801 (2019)Efficient Dynamic Updates of Distributed Components Through Version Consistency., , , and . IEEE Trans. Software Eng., 43 (4): 340-358 (2017)A hierarchical framework: for parallel seismic applications., , , , , , and . Commun. ACM, 43 (10): 55-59 (2000)Environmental Modeling for Automated Cloud Application Testing., , , , , and . IEEE Software, 29 (2): 30-35 (2012)SynEva: Evaluating ML Programs by Mirror Program Synthesis., , , , and . QRS, page 171-182. IEEE, (2018)Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing., , , and . QRS, page 313-324. IEEE, (2018)Constructing Self-Adaptive Systems with Polymorphic Software Architecture., , , , and . SEKE, page 2-8. Knowledge Systems Institute Graduate School, (2007)Using frugal user feedback with closeness analysis on code to improve IR-based traceability recovery., , , , , , and . ICPC, page 369-379. IEEE / ACM, (2019)