Dynamic Optimistic lnterprocedurai Analysis: A framework and an application
- Igor Pechtchanski
- Vivek Sarkar
- 2011
- ACM SIGPLAN Notices
Paper
Publications
9289 results for Computer Science
Mobile crowdsensing: Current state and future challenges
- Raghu K. Ganti
- Fan Ye
- et al.
- 2011
- IEEE Communications Magazine
PaperVirtual extension: Information seeking: Convergence of search, recommendations, and advertising
- Hector Garcia-Molina
- Georgia Koutrika
- et al.
- 2011
- CACM
ReviewHose rate control for P2P-TV streaming systems
- Robert Birke
- Csaba Kiraly
- et al.
- 2011
- IEEE P2P 2011
Conference paperCritical analysis of 14nm device options
- Phil Oldiges
- R. Muralidhar
- et al.
- 2011
- SISPAD 2011
Conference paperTesting tasks management in testing Cloud environment
- Lian Yu
- Xiaohu Li
- et al.
- 2011
- COMPSAC 2011
Conference paperSimulation of channel electron mobility due to scattering with interfacial phonon-plasmon modes in silicon nanowire under the presence of high-k oxide and metal gate
- Kai Xiu
- 2011
- SISPAD 2011
Conference paperImpact of substrate bias on GIDL for thin-BOX ETSOI devices
- Pranita Kulkarni
- Q. Liu
- et al.
- 2011
- SISPAD 2011
Conference paperExploring MOL design options for a 20nm CMOS technology using TCAD
- Andreas Scholze
- Stephen Furkay
- et al.
- 2011
- SISPAD 2011
Conference paperAnalysis of Si, InAs, and Si-InAs tunnel diodes and tunnel FETs using different transport models
- Andreas Schenk
- Reto Rhyner
- et al.
- 2011
- SISPAD 2011
Conference paper