Search for Author All Reviews
	Gopalakrishnan, Ganesh     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 5 reviews       GPU concurrency: weak behaviours and programming assumptions Alglave J., Batty M., Donaldson A., Gopalakrishnan G., Ketema J., Poetzl D., Sorensen T., Wickerson J.  ASPLOS 2015 (Proceedings of the 20th International Conference on Architectural Support for Programming Languages and Operating Systems, Istanbul, Turkey, Mar 14-18, 2015) 577-591, 2015.  Type: Proceedings A memory consistency model (MCM) is a specification that describes the value(s) that a memory location should hold based on the causal history of operations that may or may not be associated with that location. The MCM specification is...... Jul 16 2015     Computation engineering: applied automata theory and logic Gopalakrishnan G., Springer-Verlag New York, Inc., Secaucus, NJ, 2006.  Type: Book (9780387244181) One of the constant challenges faced by computer science faculty is how to tie in the theory of computing with applications. This text attempts to do just that, and is partially successful....... Dec 15 2006     Formal hardware specification languages for protocol compliance verification Bunker A., Gopalakrishnan G., McKee S. ACM Transactions on Design Automation of Electronic Systems 9(1): 1-32, 2004.  Type: Article Formal specification languages that are candidates for interface standard compliance verification are surveyed in this paper....... Jun 10 2004     Formal verification of a complex pipelined processor Hosabettu R., Gopalakrishnan G., Srivas M. Formal Methods in System Design 23(2): 171-213, 2003.  Type: Article Hosabettu and colleagues propose a systematic approach called the completion functions approach for pipelined processor verification. The main contribution of the paper is the construction of the abstraction function that leads to a na...... Jan 9 2004     Design and verification of the Rollback Chip using HOP: a case study of formal methods applied to hardware design Gopalakrishnan G., Fujimoto R. ACM Transactions on Computer Systems 11(2): 109-145, 1993.  Type: Article The advantages and disadvantages of top-down hardware design methodologies based on the formal verification of transitions to subsequent design steps are illustrated in detail. The methodology is illustrated on a nontrivial example: a ...... Jul 1 1994
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy