Search for Author All Reviews
	Majumdar, Rupak     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Behavior-level observability analysis for operation gating in low-power behavioral synthesis Cong J., Liu B., Majumdar R., Zhang Z. ACM Transactions on Design Automation of Electronic Systems 16(1): 1-29, 2010.  Type: Article As the authors demonstrate in this paper, observability analysis at the behavioral level, before operations are scheduled, can lead to significant reductions in power consumption. This is done by gating clocks on the output registers o...... Mar 2 2011     Software model checking Jhala R., Majumdar R. ACM Computing Surveys 41(4): 1-54, 2009.  Type: Article The importance of model checking was recognized with Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis’ 2007 Turing award. Hence, a paper on model checking’s application to programming is very timely. This over...... Jan 27 2010     Model checking software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science 5156) Havelund K., Majumdar R., Palsberg J., Springer Publishing Company, Incorporated, 2008. 343 pp.  Type: Book Although it is perhaps the worst of times to bring up investment advice or financial planning as an example, I’ve always been amused when asked about my investment goals. The impulse answer is to gain the highest return, in t...... Mar 30 2009
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy