[ACM Press the 20th symposium - Providence, Rhode Island, USA (2010.05.16-2010.05.18)] Proceedings of the 20th symposium on Great lakes symposium on VLSI - GLSVLSI '10 - TURBONFSVyas, Shruti; Sreedhar, Aswin; Kundu, Sandip · 2010

[ACM Press the 20th symposium - Providence, Rhode Island, USA (2010.05.16-2010.05.18)] Proceedings of the 20th symposium on Great lakes symposium on VLSI - GLSVLSI '10 - Synthetic biologyWeiss, Ron · 2010

[ACM Press the 20th symposium - Providence, Rhode Island, USA (2010.05.16-2010.05.18)] Proceedings of the 20th symposium on Great lakes symposium on VLSI - GLSVLSI '10 - Dynamically resizable binary decision diagramsStergiou, Stergios; Jain, Jawahar · 2010

[ACM Press the 20th symposium - Providence, Rhode Island, USA (2010.05.16-2010.05.18)] Proceedings of the 20th symposium on Great lakes symposium on VLSI - GLSVLSI '10 - Overscaling-friendly timing speculation architecturesSartori, John; Kumar, Rakesh · 2010

[ACM Press the 20th symposium - Providence, Rhode Island, USA (2010.05.16-2010.05.18)] Proceedings of the 20th symposium on Great lakes symposium on VLSI - GLSVLSI '10 - Boolean satisfiability on a graphics processorGulati, Kanupriya; Khatri, Sunil P. · 2010

[ACM Press the 20th symposium - Providence, Rhode Island, USA (2010.05.16-2010.05.18)] Proceedings of the 20th symposium on Great lakes symposium on VLSI - GLSVLSI '10 - Scalable identification of threshold logic functionsPalaniswamy, Ashok kumar; Goparaju, Manoj kumar; Tragoudas, Spyros · 2010

[ACM Press the 20th symposium - Providence, Rhode Island, USA (2010.05.16-2010.05.18)] Proceedings of the 20th symposium on Great lakes symposium on VLSI - GLSVLSI '10 - A revisit to voltage partitioning problemLin, Tao; Dong, Sheqin; Yu, Bei; Chen, Song; Goto, Satoshi · 2010