DeltaSyn: An efficient logic difference optimizer for ECO synthesis
- Smita Krishnaswamy
- Haoxing Ren
- et al.
- 2009
- ICCAD 2009
Conference paper
Publications
9289 results for Computer Science
SCAMPI: A scalable CAM-based algorithm for multiple pattern inspection
- Fabrizio Petrini
- Virat Agarwal
- et al.
- 2009
- SC 2009
Conference paperOWL Reasoning in the real world: Searching for godot
- Kavitha Srinivas
- 2009
- WDL 2009
Conference paperA multiple objectives optimization approach for QoS-based web services compositions
- Ci-Wei Lan
- Rick C. S. Chen
- et al.
- 2009
- ICEBE 2009
Conference paperScalable matching of industry models - A case study
- Brian Byrne
- Achille Fokoue
- et al.
- 2009
- OM 2009
Conference paperThe cat is out of the bag: Cortical simulations with 109 neurons, 1013 synapses
- Rajagopal Ananthanarayanan
- Steven K. Esser
- et al.
- 2009
- SC 2009
Conference paperRule-based problem classification in IT service management
- Yixin Diao
- Hani Jamjoom
- et al.
- 2009
- ICCCBDA 2009
Conference paperAttribute-based people search in surveillance environments
- Daniel A. Vaquero
- Rogerio S. Feris
- et al.
- 2009
- WACV 2009
Conference paperRegularity lemmas and combinatorial algorithms
- Nikhil Bansal
- Ryan Williams
- 2009
- FOCS 2009
Conference paperA low density lattice decoder via non-parametric belief propagation
- Danny Bickson
- Alexander T. Ihler
- et al.
- 2009
- Allerton 2009
Conference paper