Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ganesh Gopalakrishnan" ( http://dblp.L3S.de/Authors/Ganesh_Gopalakrishnan )

URL (Homepage):  http://www.cs.utah.edu/~ganesh/  Author page on DBLP  Author page in RDF  Community of Ganesh Gopalakrishnan in ASPL-2

Publication years (Num. hits)
1987-1994 (20) 1995-1999 (15) 2000-2002 (16) 2003-2005 (16) 2006-2007 (16) 2008-2009 (23) 2010-2011 (19) 2012 (1)
Publication types (Num. hits)
article(35) book(1) inproceedings(86) proceedings(4)
Venues (Conferences, Journals, ...)
CAV(8) FMCAD(8) PVM/MPI(8) Formal Methods in System Desig...(7) ICCD(6) CHARME(5) Electr. Notes Theor. Comput. S...(5) PPOPP(5) SPIN(5) IPDPS(4) PADTAD(4) IPDPS Workshops(3) STTT(3) ARVLSI(2) DAC(2) EuroMPI(2) More (+10 of total 59)
Authors
Ganesh Gopalakrishnan(126) Robert M. Kirby(33) Sarvani S. Vakkalanka(13) Anh Vo(11) Rajeev Thakur(11) Yu Yang(11) Michael Delisi(8) Ravi Hosabettu(8) Robert Palmer(8) Prabhakar Kudva(7) Ratan Nalumasu(7) Venkatesh Akella(7) Xiaofang Chen(7) Mandayam K. Srivas(6) Subodh Sharma(6) Yue Yang(6) More (+10 of total 89)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 81 occurrences of 59 keywords
Results
Found 126 publication records. Showing 126 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Guodong Li, Peng Li, Geoffrey Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan GKLEE: concolic verification and test generation for GPUs. Search on Bibsonomy PPOPP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Guodong Li, Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Rajeev Thakur, William Gropp, Ewing L. Lusk, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky Formal analysis of MPI-based parallel programs. Search on Bibsonomy Commun. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update. Search on Bibsonomy PACT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Subodh Sharma, Ganesh Gopalakrishnan Efficient Verification Solutions for Message Passing Systems. Search on Bibsonomy IPDPS Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ganesh Gopalakrishnan, Shaz Qadeer (eds.) Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub Practical parallel and concurrent programming. Search on Bibsonomy SIGCSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stephen F. Siegel, Ganesh Gopalakrishnan Formal Analysis of Message Passing - (Invited Talk). Search on Bibsonomy VMCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby Distributed dynamic partial order reduction. Search on Bibsonomy STTT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Anh Vo, Sriram Aananthakrishnan, Ganesh Gopalakrishnan, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky A Scalable and Distributed Dynamic Formal Verifier for MPI Programs. Search on Bibsonomy SC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Anh Vo, Ganesh Gopalakrishnan Scalable verification of MPI programs. Search on Bibsonomy IPDPS Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alan Humphrey, Christopher Derrick, Ganesh Gopalakrishnan, Beth R. Tibbitts GEM: graphical explorer of MPI programs. Search on Bibsonomy SOFTVIS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Guodong Li, Ganesh Gopalakrishnan Scalable SMT-based verification of GPU kernel functions. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ganesh Gopalakrishnan, Robert M. Kirby Top ten ways to make formal methods for HPC practical. Search on Bibsonomy FoSER The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Wei-Fan Chiang, Grzegorz Szubzda, Ganesh Gopalakrishnan, Rajeev Thakur Dynamic Verification of Hybrid Programs. Search on Bibsonomy EuroMPI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs. Search on Bibsonomy EuroMPI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alan Humphrey, Christopher Derrick, Ganesh Gopalakrishnan, Beth Tibbitts GEM: Graphical Explorer of MPI Programs. Search on Bibsonomy ICPP Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Dan Quinlan A symbolic verifier for CUDA programs. Search on Bibsonomy PPOPP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF spmd, formal verification, symbolic analysis, cuda
1Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan Parallel and distributed model checking in Eddy. Search on Bibsonomy STTT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni Some resources for teaching concurrency. Search on Bibsonomy PADTAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF education, concurrency, MPI, computer science education, multi-core, memory models, pthreads, dynamic verification
1Ganesh Gopalakrishnan, Eitan Farchi, Eric Mercer (eds.) Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009 Search on Bibsonomy PADTAD The full citation details ... 2009 DBLP  BibTeX  RDF
1Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer Dynamic verification of Multicore Communication applications in MCAPI. Search on Bibsonomy HLDVT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt MCC: A runtime verification tool for MCAPI user applications. Search on Bibsonomy FMCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Anh Vo, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan ISP Tool Update: Scalable MPI Verification. Search on Bibsonomy Parallel Tools Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. Search on Bibsonomy SPIN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby Reduced Execution Semantics of MPI: From Theory to Practice. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sriram Aananthakrishnan, Michael Delisi, Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. Search on Bibsonomy PVM/MPI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Anh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. Search on Bibsonomy PVM/MPI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). Search on Bibsonomy PVM/MPI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ganesh Gopalakrishnan, Robert M. Kirby Practical Formal Verification of MPI and Thread Programs. Search on Bibsonomy PVM/MPI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur Formal verification of practical MPI programs. Search on Bibsonomy PPOPP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic partial order reduction, model checking, message passing interface, distributed programming, mpi
1Ganesh Gopalakrishnan Review computation engineering: applied automata theory and logic. Search on Bibsonomy SIGACT News The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby Scheduling considerations for building dynamic verification tools for MPI. Search on Bibsonomy PADTAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, MPI, message passing, distributed programming, partial order reduction, dynamic verification
1Ganesh Gopalakrishnan, Robert M. Kirby Runtime verification methods for MPI. Search on Bibsonomy IPDPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby Efficient Stateful Dynamic Partial Order Reduction. Search on Bibsonomy SPIN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Subodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. Search on Bibsonomy PVM/MPI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp Implementing Efficient Dynamic Formal Verification Methods for MPI Programs. Search on Bibsonomy PVM/MPI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby Formal specification of the MPI-2.0 standard in TLA+. Search on Bibsonomy PPOPP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, formal specification, MPI, TLA+
1Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby ISP: a tool for model checking MPI programs. Search on Bibsonomy PPOPP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic partial order reduction, model checking, formal verification, mpi
1Ganesh Gopalakrishnan Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ganesh Gopalakrishnan, John O'Leary Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ganesh Gopalakrishnan, Robert M. Kirby Formal Methods for MPI Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby Semantics driven dynamic partial-order reduction of MPI-based parallel programs. Search on Bibsonomy PADTAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF concurrent program semantics, transition independence, model checking, MPI, partial-order reduction
1Xiaofang Chen, Steven M. German, Ganesh Gopalakrishnan Transaction Based Modeling and Verification of Hardware Protocols. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ganesh Gopalakrishnan, Robert M. Kirby Formal Analysis for Debugging and Performance Optimization of MPI. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby An Approach to Formalization and Analysis of Message Passing Libraries. Search on Bibsonomy FMICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. Search on Bibsonomy SPIN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp Practical Model-Checking Method for Verifying Correctness of MPI Programs. Search on Bibsonomy PVM/MPI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby Gauss: A Framework for Verifying Scientific Computing Software. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ganesh Gopalakrishnan Computation engineering - applied automata theory and logic. Search on Bibsonomy 2006   DOI  RDF
1Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ganesh Gopalakrishnan, Robert M. Kirby Toward reliable and efficient message passing software through formal analysis. Search on Bibsonomy IPDPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. Search on Bibsonomy SPIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan Parallel and Distributed Model Checking in Eddy. Search on Bibsonomy SPIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William D. Gropp Formal Verification of Programs That Use MPI One-Sided Communication. Search on Bibsonomy PVM/MPI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom UMM: an operational memory model specification framework with integrated model checking capability. Search on Bibsonomy Concurrency - Practice and Experience The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ali Sezgin, Ganesh Gopalakrishnan On the definition of sequential consistency. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind Live sequence charts applied to hardware requirements specification and verification. Search on Bibsonomy STTT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Protocol compliance, Virtual Component Interface Standard, Formal verification, Specification, Live Sequence Charts
1Ali Sezgin, Ganesh Gopalakrishnan On the decidability of shared memory consistency verification. Search on Bibsonomy MEMOCODE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan Symbolic Partial Order Reduction for Rule Based Transition Systems. Search on Bibsonomy CHARME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification. Search on Bibsonomy CHARME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee Formal hardware specification languages for protocol compliance verification. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Heterogeneous Hardware Logic, Hierarchical Annotated Action Diagrams, Lava, Objective VHDL, OpenVera, SpecC, Specification and Description Language, The Unified Modeling Language, Java, Statecharts, SystemC, Message Sequence Charts, Esterel, Live Sequence Charts, timing diagrams, hardware monitors, SystemVerilog, e, Property Specification Language
1Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom Memory-Model-Sensitive Data Race Analysis. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. Search on Bibsonomy IPDPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.) Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings Search on Bibsonomy TPHOLs The full citation details ... 2004 DBLP  BibTeX  RDF
1Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Hemanthkumar Sivaraj, Ganesh Gopalakrishnan Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas A Practical Methodology for Verifying Pipelined Microarchitectures. Search on Bibsonomy IEEE Design & Test of Computers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas Formal Verification of a Complex Pipelined Processor. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2003 DBLP  DOI  BibTeX  RDF completion functions, formal verification, PVS, processor verification
1Ganesh Gopalakrishnan, Warren A. Hunt Jr. Industrial Practice of Formal Hardware Verification: A Sampling. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ganesh Gopalakrishnan, Sneha Kumar Kasera Robust rate based congestion control. Search on Bibsonomy Computer Communication Review The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ratan Nalumasu, Ganesh Gopalakrishnan Deriving Efficient Cache Coherence Protocols Through Refinement. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ratan Nalumasu, Ganesh Gopalakrishnan An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Robert Palmer, Ganesh Gopalakrishnan A Distributed Partial Order Reduction Algorithm. Search on Bibsonomy FORTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Prosenjit Chatterjee, Ganesh Gopalakrishnan A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols. Search on Bibsonomy FMCAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen Incremental Proof of the Producer/Consumer Property for the PCI Protocol. Search on Bibsonomy ZB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom Specifying Java thread semantics using a uniform memory model. Search on Bibsonomy Java Grande The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Java, verification, compilation, threads, memory models
1Prosenjit Chatterjee, Ganesh Gopalakrishnan towards A formal Model of Shared Memory Consistency for Intel ItaniumTM. Search on Bibsonomy ICCD The full citation details ... 2001 DBLP  BibTeX  RDF
1Ganesh Gopalakrishnan Introduction: Formal Methods for CAD: Enabling Technologies and System-level Applications. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Abdel Mokkedem, Ravi Hosabettu, Michael D. Jones, Ganesh Gopalakrishnan Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Michael D. Jones, Ganesh Gopalakrishnan Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods. Search on Bibsonomy FMCAD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Rajnish Ghughal, Ganesh Gopalakrishnan Verification Methods for Weaker Shared Memory Consistency Models. Search on Bibsonomy IPDPS Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Hans M. Jacobson, Erik Brunvand, Ganesh Gopalakrishnan, Prabhakar Kudva High-Level Asynchronous System Design Using the ACK Framework. Search on Bibsonomy ASYNC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas Verifying Advanced Microarchitectures that Support Speculation and Exceptions. Search on Bibsonomy CAV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Hans M. Jacobson, Chris J. Myers, Ganesh Gopalakrishnan Achieving Fast and Exact Hazard-Free Logic Minimization of Extended Burst-Mode gC Finite State Machines. Search on Bibsonomy ICCAD The full citation details ... 2000 DBLP  BibTeX  RDF
1Ganesh Gopalakrishnan, Prabhakar Kudva, Erik Brunvand Peephole optimization of asynchronous macromodule networks. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jae-Tack Yoo, Ganesh Gopalakrishnan, Kent F. Smith Timing constraints for high-speed counterflow-clocked pipelining. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ganesh Gopalakrishnan, Phillip J. Windley (eds.) Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings Search on Bibsonomy FMCAD The full citation details ... 1998 DBLP  BibTeX  RDF
1Ratan Nalumasu, Ganesh Gopalakrishnan PV: An Explicit Enumeration Model-Checker. Search on Bibsonomy FMCAD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. Search on Bibsonomy FMCAD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Ratan Nalumasu, Ganesh Gopalakrishnan Deriving Efficient Cache Coherence Protocols through Refinement. Search on Bibsonomy IPPS/SPDP Workshops The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Rajnish Ghughal, Abdelillah Mokkedem, Ratan Nalumasu, Ganesh Gopalakrishnan Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model. Search on Bibsonomy SPAA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan Decomposing the Proof of Correctness of pipelined Microprocessors. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 126 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.