Publications

Tacue: A timing-aware cuts enumeration algorithm for parallel synthesis
- - Mahmoud Elbayoumi
  - Mihir Choudhuryy
  - et al.
- 2014
- DAC 2014
Conference paper
Using a high-level test generation expert system for testing in-car networks
- - Allon Adir
  - Alex Goryachev
  - et al.
- 2014
- DAC 2014
Conference paper
Verification of non-mainline functions in todays processor chips
- - Johannes Koesters
  - Alex Goryachev
- 2014
- DAC 2014
Conference paper
A new field-assisted access scheme of STT-RAM with self-reference capability
- - Enes Eken
  - Yaojun Zhang
  - et al.
- 2014
- DAC 2014
Conference paper
Scalable co-simulation of functional models with accurate event exchange
- - Asim Munawar
  - Shuichi Shimizu
- 2014
- DAC 2014
Conference paper
Post-Silicon validation of the IBM Power8 processor
- - Amir Nahir
  - Manoj Dusanapudi
  - et al.
- 2014
- DAC 2014
Conference paper
Software services: A research roadmap
- - Satish Chandra
  - Vibha Singhal Sinha
  - et al.
- 2014
- ICSE 2014
Conference paper
Controlled modeling environment using flexibly-formatted spreadsheets
- - Hisashi Miyashita
  - Hideki Tai
  - et al.
- 2014
- ICSE 2014
Conference paper
Improving software through automatic untangling of cyclic dependencies
- - Maayan Goldstein
  - Dany Moshkovich
- 2014
- ICSE 2014
Conference paper
Data-guided repair of selection statements
- - Divya Gopinath
  - Sarfraz Khurshid
  - et al.
- 2014
- ICSE 2014
Conference paper