Cited By
View all- Lin STatar DCortina TWalker EKing LMusicant D(2011)Encouraging parallel thinking through explicit coordination modelingProceedings of the 42nd ACM technical symposium on Computer science education10.1145/1953163.1953292(441-446)Online publication date: 9-Mar-2011
- Kant K(2010)Challenges in distributed energy adaptive computingACM SIGMETRICS Performance Evaluation Review10.1145/1710115.171011737:3(3-7)Online publication date: 21-Jan-2010
- Koo HMishra P(2009)Functional test generation using design and property decomposition techniquesACM Transactions on Embedded Computing Systems10.1145/1550987.15509958:4(1-33)Online publication date: 24-Jul-2009
- Show More Cited By