A language for information flow: Dynamic tracking in multiple interdependent dimensions
- Avraham Shinnar
- Marco Pistoia
- et al.
- 2009
- PLAS 2009
Conference paper
Publications
9289 results for Computer Science
DeltaSyn: An efficient logic difference optimizer for ECO synthesis
- Smita Krishnaswamy
- Haoxing Ren
- et al.
- 2009
- ICCAD 2009
Conference paperOptimistic synchronization of parallel simulations in cloud computing environments
- Asad Waqar Malik
- Alfred Park
- et al.
- 2009
- ICCCBDA 2009
Conference paperAdmission control for distributed complex responsive systems
- 2009
- ISPDC 2009
Conference paperA profile-based approach to just-in-time scalability for cloud applications
- Jie Yang
- Jie Qiu
- et al.
- 2009
- ICCCBDA 2009
Conference paperOptimal long code test with one free bit
- Nikhil Bansal
- Subhash Khot
- 2009
- FOCS 2009
Conference paperQuantitative modeling of communication cost for global service delivery
- Nianjun Zhou
- Qian Ma
- et al.
- 2009
- SCC 2009
Conference paperSimulating distribution of emergency relief supplies for disaster response operations
- Young M. Lee
- Soumyadip Ghosh
- et al.
- 2009
- WSC 2009
Conference paperNetwork traffic-based automatic optimized migration from physical to virtualized cloud environment with UCM tool
- Sun Kewei
- Li Ying
- et al.
- 2009
- IC-BNMT 2009
Conference paperMONGOOSE: MONitoring global online opinions via semantic extraction
- Varun Bhagwan
- Tyrone Grandison
- et al.
- 2009
- ICCCBDA 2009
Conference paper