Constructing parser for industrial software specifications containing formal and natural language description
- Futoshi Iwama
- Taiga Nakamura
- et al.
- 2012
- ICSE 2012
Publications
Automating test automation
- Suresh Thummalapenta
- Saurabh Sinha
- et al.
- 2012
- ICSE 2012
Interactive refinement of combinatorial test plans
- Itai Segall
- Rachel Tzoref-Brill
- 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
Reversible statistical max/min operation: Concept and applications to timing
- Debjit Sinha
- Chandu Visweswariah
- et al.
- 2012
- DAC 2012
Proving correctness of regular expression accelerators
- Mitra Purandare
- Kubilay Atasu
- et al.
- 2012
- DAC 2012
Near-threshold operation for power-efficient computing? It depends...
- Leland Chang
- Wilfried Haensch
- 2012
- DAC 2012