Publications

Interactive refinement of combinatorial test plans
- - Itai Segall
  - Rachel Tzoref-Brill
- 2012
- ICSE 2012
Automating test automation
- - Suresh Thummalapenta
  - Saurabh Sinha
  - et al.
- 2012
- ICSE 2012
Making sense of healthcare benefits
- - Jonathan Bnayahu
  - Maayan Goldstein
  - et al.
- 2012
- ICSE 2012
Non-Model-Based Search Guidance for Set Partitioning Problems
- - Serdar Kadioglu
  - Yuri Malitsky
  - et al.
- 2012
- AAAI 2012
Iterative Resource Allocation for Memory Intensive Parallel Search Algorithms on Clouds, Grids, and Shared Clusters
- - Alex Fukunaga
  - Akihiro Kishimoto
  - 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
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
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
Near-threshold operation for power-efficient computing? It depends...
- - Leland Chang
  - Wilfried Haensch
- 2012
- DAC 2012