Hypothesis exploration for malware detection using planning
- Shirin Sohrabi
- Octavian Udrea
- et al.
- 2013
- AAAI 2013
Publications
Resolution and parallelizability: Barriers to the efficient parallelization of SAT solvers
- George Katsirelos
- Ashish Sabharwal
- et al.
- 2013
- AAAI 2013
200 mm wafer-scale integration of sub-20 nm sacrificial nanofluidic channels for manipulating and imaging single DNA molecules
- C. Wang
- S.W. Nam
- et al.
- 2013
- IEDM 2013
Labor cost reduction with cloud: An end-to-end view
- Murthy Devarakonda
- Purnendu Gupta
- et al.
- 2013
- CLOUD 2013
Co-integration of InGaAs n- and SiGe p-MOSFETs into digital CMOS circuits using hybrid dual-channel ETXOI substrates
- Lukas Czornomaz
- N. Daix
- et al.
- 2013
- IEDM 2013
Recursive fact-finding: A streaming approach to truth estimation in crowdsourcing applications
- Dong Wang
- Tarek Abdelzaher
- et al.
- 2013
- ICDCS 2013
CAP3: A cloud auto-provisioning framework for parallel processing using on-demand and spot instances
- He Huang
- Liqiang Wang
- et al.
- 2013
- CLOUD 2013
Join the best queue: Reducing performance variability in heterogeneous systems
- Sebastiano Spicuglia
- Lydia Y. Chen
- et al.
- 2013
- CLOUD 2013
DUET: Integration of dynamic and static analyses for malware clustering with cluster ensembles
- Xin Hu
- Kang G. Shin
- 2013
- ACSAC 2013
Distributed ranked data dissemination in social networks
- Kaiwen Zhang
- Mohammad Sadoghi
- et al.
- 2013
- ICDCS 2013