Finding bugs efficiently with a SAT solver
- Julian Dolby
- Mandana Vaziri
- et al.
- 2007
- ESEC/FSE 2007
Conference paper
Publications
26883 results for Science
Improving speaker diarization for CHIL lecture meetings
- Jing Huang
- Etienne Marcheret
- et al.
- 2007
- INTERSPEECH 2007
Conference paperAutomatic accessibility transcoding for flash content
- Daisuke Sato
- Hisashi Miyashita
- et al.
- 2007
- ASSETS 2007
Conference paperStreamline SOA enablement by two-way service brokering model
- Yu-Fei Ma
- Feng Chun Wang
- et al.
- 2007
- CEC/EEE 2007
Conference paperInstantaneous electrodeposition of metal nanostructures on mass carbon nanotubes
- Xin Wei
- Bachlien Dang
- et al.
- 2007
- International SAMPE Technical Conference 2007
Conference paperPaving the way to a full chip gate level double patterning application
- Henning Haffner
- Jason Meiring
- et al.
- 2007
- SPIE Photomask Technology + EUV Lithography 2007
Conference paperTowards an agile service system for a global call center
- Isaac Cheng
- Vikas Krishna
- et al.
- 2007
- BPSC 2007
Conference paperSearching surveillance video
- Arun Hampapur
- Lisa Brown
- et al.
- 2007
- AVSS 2007
Conference paperPerformance studies of commercial workloads on a multi-core system
- Jessica H. Tseng
- Hao Yu
- et al.
- 2007
- IISWC 2007
Conference paperAn adaptive tool integration framework to enable coordination in distributed software development
- Vibha S. Sinha
- Bikram Sengupta
- et al.
- 2007
- ICGSE 2007
Conference paper