Coverage in interpolation-based model checking
- Hana Chockler
- Daniel Kroening
- et al.
- 2010
- DAC 2010
Publications
Date
Featured collections
Popular topics
24095 results for Exploratory Science
Transistor sizing of custom high-performance digital circuits with parametric yield considerations
- Daniel K. Beece
- Jinjun Xiong
- et al.
- 2010
- DAC 2010
SystemT: An algebraic approach to declarative information extraction
- Laura Chiticariu
- Rajasekar Krishnamurthy
- et al.
- 2010
- ACL 2010
Introduction of role playing to a research ethics module for the undergraduate
- Dolores C. Miller
- Frances A. Houle
- et al.
- 2009
- MRS Fall Meeting 2009
Efficient similarity estimation for systems exploiting data redundancy
- Kanat Tangwongsan
- Himabindu Pucha
- et al.
- 2010
- INFOCOM 2010
Dynamic power allocation under arbitrary varying channels - The multi-user case
- Niv Buchbinder
- Liane Lewin-Eytan
- et al.
- 2010
- INFOCOM 2010
Scalable NIDS via negative pattern matching and exclusive pattern matching
- Kai Zheng
- Xin Zhang
- et al.
- 2010
- INFOCOM 2010
Compressive oversampling for robust data transmission in sensor networks
- Zainul Charbiwala
- Supriyo Chakraborty
- et al.
- 2010
- INFOCOM 2010
Improving the scalability of data center networks with traffic-aware virtual machine placement
- Xiaoqiao Meng
- Vasileios Pappas
- et al.
- 2010
- INFOCOM 2010
Joint routing and scheduling in multi-hop wireless networks with directional antennas
- Partha Dutta
- Vivek Mhatre
- et al.
- 2010
- INFOCOM 2010