1. A scheduler synthesis methodology for joint SW/HW design exploration of SoC

   • Ismail Assayad
   • Sergio Yovine

   OriginalPaper 16 March 2010 Pages: 75 - 103

2. Efficient test case generation for validation of UML activity diagrams

   • Mingsong Chen
   • Prabhat Mishra
   • Dhrubajyoti Kalita

   OriginalPaper 18 June 2010 Pages: 105 - 130

3. Markov decision process (MDP) framework for software power optimization using call profiles on mobile phones

   • Eric Jung
   • Frank Maker
   • Venkatesh Akella

   OriginalPaper Open access 25 June 2010 Pages: 131 - 159