Ganesh Gopalakrishnan

Available identifiers

zbMath Open gopalakrishnan.ganesh-lalithaMaRDI QIDQ239161

List of research outcomes

Publication	Date of Publication	Type
A GPU accelerated mixed-precision smoothed particle hydrodynamics framework with cell-based relative coordinates	2024-05-29	Paper
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions	2019-12-19	Paper
Automata and Computability	2018-12-14	Paper
Rigorous floating-point mixed-precision tuning	2017-10-20	Paper
A parameterized floating-point formalizaton in HOL Light	2016-12-16	Paper
Random walk based heuristic algorithms for distributed memory model checking	2013-08-30	Paper
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications	2012-11-06	Paper
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols	2010-05-05	Paper
On the definition of sequential consistency	2009-12-18	Paper
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions	2008-11-20	Paper
Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings	2008-07-15	Paper
Model Checking Software	2007-05-02	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5488458	2006-09-20	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4817532	2004-09-24	Paper
Incremental Proof of the Producer/Consumer Property for the PCI Protocol	2004-08-03	Paper
Formal verification of a complex pipelined processor	2004-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4427911	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4804891	2003-05-01	Paper
An efficient partial order reduction algorithm with an alternative proviso implementation	2002-06-16	Paper
Deriving efficient cache coherence protocols through refinement	2002-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q2754112	2001-11-11	Paper

Research outcomes over time

This page was built for person: Ganesh Gopalakrishnan