Publications

Non-Model-Based Search Guidance for Set Partitioning Problems
- - Serdar Kadioglu
  - Yuri Malitsky
  - et al.
- 2012
- AAAI 2012
Threats and Trade-Offs in Resource Critical Crowdsourcing Tasks over Networks
- - Swaprava Nath
  - Pankaj Dayama
  - et al.
- 2012
- AAAI 2012
Checking architectural outputs instruction-by-instruction on acceleration platforms
- - Debapriya Chatterjee
  - Anatoly Koyfman
  - et al.
- 2012
- DAC 2012
Proving correctness of regular expression accelerators
- - Mitra Purandare
  - Kubilay Atasu
  - et al.
- 2012
- DAC 2012
Timing analysis with nonseparable statistical and deterministic variations
- - Vladimir Zolotov
  - Debjit Sinha
  - et al.
- 2012
- DAC 2012
A compiler and runtime for heterogeneous computing
- - Joshua Auerbach
  - David F. Bacon
  - et al.
- 2012
- DAC 2012
Reversible statistical max/min operation: Concept and applications to timing
- - Debjit Sinha
  - Chandu Visweswariah
  - et al.
- 2012
- DAC 2012
Near-threshold operation for power-efficient computing? It depends...
- - Leland Chang
  - Wilfried Haensch
- 2012
- DAC 2012
Analysis of DC current crowding in through-silicon-vias and its impact on power integrity in 3D ICs
- - Xin Zhao
  - Michael Scheuermann
  - et al.
- 2012
- DAC 2012
WizIE: A best practices guided development environment for information extraction
- - Yunyao Li
  - Laura Chiticariu
  - et al.
- 2012
- ACL 2012