Ganesh Gopalakrishnan

From MaRDI portal
Person:239161

Available identifiers

zbMath Open gopalakrishnan.ganesh-lalithaMaRDI QIDQ239161

List of research outcomes





PublicationDate of PublicationType
A GPU accelerated mixed-precision smoothed particle hydrodynamics framework with cell-based relative coordinates2024-05-29Paper
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions2019-12-19Paper
Automata and Computability2018-12-14Paper
Rigorous floating-point mixed-precision tuning2017-10-20Paper
A parameterized floating-point formalizaton in HOL Light2016-12-16Paper
Random walk based heuristic algorithms for distributed memory model checking2013-08-30Paper
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications2012-11-06Paper
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols2010-05-05Paper
On the definition of sequential consistency2009-12-18Paper
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions2008-11-20Paper
Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings2008-07-15Paper
Model Checking Software2007-05-02Paper
Correct Hardware Design and Verification Methods2006-10-20Paper
Correct Hardware Design and Verification Methods2006-10-20Paper
https://portal.mardi4nfdi.de/entity/Q54884582006-09-20Paper
Computer Aided Verification2005-08-25Paper
https://portal.mardi4nfdi.de/entity/Q48175322004-09-24Paper
Incremental Proof of the Producer/Consumer Property for the PCI Protocol2004-08-03Paper
Formal verification of a complex pipelined processor2004-03-15Paper
https://portal.mardi4nfdi.de/entity/Q44279112003-09-14Paper
https://portal.mardi4nfdi.de/entity/Q48048912003-05-01Paper
An efficient partial order reduction algorithm with an alternative proviso implementation2002-06-16Paper
Deriving efficient cache coherence protocols through refinement2002-04-11Paper
https://portal.mardi4nfdi.de/entity/Q27541122001-11-11Paper

Research outcomes over time

This page was built for person: Ganesh Gopalakrishnan