Resolution and parallelizability: Barriers to the efficient parallelization of SAT solvers
- George Katsirelos
- Ashish Sabharwal
- et al.
- 2013
- AAAI 2013
Publications
Date
Featured collections
Popular topics
Data On-boarding in federated storage clouds
- Gil Vernik
- Alexandra Shulman-Peleg
- et al.
- 2013
- CLOUD 2013
ImageElves: Rapid and reliable system updates in the cloud
- Deepak Jeswani
- Akshat Verma
- et al.
- 2013
- ICDCS 2013
Implementation and implications of a stealth hard-drive backdoor
- Jonas Zaddach
- Anil Kurmus
- et al.
- 2013
- ACSAC 2013
Large landscape conservation - Synthetic and real-world datasets
- Bistra Dilkina
- Katherine Lai
- et al.
- 2013
- AAAI 2013
Density scaling with gate-all-around silicon nanowire MOSFETs for the 10 nm node and beyond
- Sarunya Bangsaruntip
- K. Balakrishnan
- et al.
- 2013
- IEDM 2013
DUET: Integration of dynamic and static analyses for malware clustering with cluster ensembles
- Xin Hu
- Kang G. Shin
- 2013
- ACSAC 2013
Characterization analysis of resource utilization distribution
- Robert Birke
- Lydia Y. Chen
- et al.
- 2013
- MASCOTS 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
Transforming system load to throughput for consolidated applications
- Andrej Podzimek
- Lydia Y. Chen
- 2013
- MASCOTS 2013