The following pages link to Ganesh Gopalakrishnan (Q239161):
Displaying 23 items.
- Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols (Q968361) (← links)
- On the definition of sequential consistency (Q1044736) (← links)
- Formal verification of a complex pipelined processor (Q1426941) (← links)
- An efficient partial order reduction algorithm with an alternative proviso implementation (Q1600652) (← links)
- A parameterized floating-point formalizaton in HOL Light (Q2520685) (← links)
- (Q2754112) (← links)
- (Q2845493) (← links)
- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings (Q3512483) (← links)
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions (Q3540069) (← links)
- (Q4427911) (← links)
- Incremental Proof of the Producer/Consumer Property for the PCI Protocol (Q4472174) (← links)
- Automata and Computability (Q4562027) (← links)
- (Q4804891) (← links)
- (Q4817532) (← links)
- A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications (Q5200486) (← links)
- Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (Q5206960) (← links)
- Computer Aided Verification (Q5312917) (← links)
- Rigorous floating-point mixed-precision tuning (Q5370868) (← links)
- (Q5488458) (← links)
- Correct Hardware Design and Verification Methods (Q5493236) (← links)
- Correct Hardware Design and Verification Methods (Q5493237) (← links)
- Model Checking Software (Q5899045) (← links)
- Deriving efficient cache coherence protocols through refinement (Q5959861) (← links)
