Expressive policy analysis with enhanced system dynamicity
- Robert Craven
- Jorge Lobo
- et al.
- 2009
- ASIACCS 2009
Conference paper
Publications
26924 results for Science
SCAMPI: A scalable CAM-based algorithm for multiple pattern inspection
- Fabrizio Petrini
- Virat Agarwal
- et al.
- 2009
- SC 2009
Conference paperFault-tolerant architectures for superconducting qubits
- David P. DiVincenzo
- 2009
- Nobel Symposium: Qubits for Future Quantum Information 2009
Conference paperAgnostic learning of monomials by halfspaces is hard
- Vitaly Feldman
- Venkatesan Guruswami
- et al.
- 2009
- FOCS 2009
Conference paperScaling deep trench based eDRAM on SOI to 32nm and beyond
- G. Wang
- D. Anand
- et al.
- 2009
- IEDM 2009
Conference paperA language for information flow: Dynamic tracking in multiple interdependent dimensions
- Avraham Shinnar
- Marco Pistoia
- et al.
- 2009
- PLAS 2009
Conference paperFinding links and initiators: A graph-reconstruction problem
- Heikki Mannila
- Evimaria Terzi
- 2009
- SDM 2009
Conference paperIdentifying data constrained activities for migration planning
- Linh Lam
- Qin Tang
- et al.
- 2009
- SCC 2009
Conference paperAttribute-based people search in surveillance environments
- Daniel A. Vaquero
- Rogerio S. Feris
- et al.
- 2009
- WACV 2009
Conference paper1D Broken-gap tunnel transistor with MOSFET-like on-currents and sub-60mV/dec subthreshold swing
- Siyuranga O. Koswatta
- Steven J. Koester
- et al.
- 2009
- IEDM 2009
Conference paper