Finding bugs efficiently with a SAT solver
- Julian Dolby
- Mandana Vaziri
- et al.
- 2007
- ESEC/FSE 2007
Conference paper
Publications
9289 results for Computer Science
Relational blocks: A visual dataflow language for relational Web-applications
- Avraham Leff
- James T. Rayfield
- 2007
- VL/HCC 2007
Conference paperA study on context-aware privacy protection for personal information
- Zhang Qingsheng
- Qi Yong
- et al.
- 2007
- ICCCN 2007
Conference paperEfficient web services message exchange by SOAP bundling framework
- Toshiro Takase
- Keishi Tajima
- 2007
- EDOC 2007
Conference paperPattern recognition based adaptive categorization technique and solution for services selection
- Liang-Jie Zhang
- Shuxing Cheng
- et al.
- 2007
- APSCC 2007
Conference paperModeling business services for implementing on global business services delivery platforms
- Nitin Nayak
- Anil Nigam
- 2007
- CEC/EEE 2007
Conference paperFast and accurate simulation of heat transfer in microarchitectures using frequency domain techniques
- Keivan Etessam-Yazdani
- Hendrik F. Hamann
- et al.
- 2007
- ASME Electronic and Photonics Packaging Division 2007
Conference paperHow predictable is ASR confidence in dialog applications?
- Xiang Li
- Juan M. Huerta
- 2007
- INTERSPEECH 2007
Conference paperTrainable speaker diarization
- Hagai Aronowitz
- 2007
- INTERSPEECH 2007
Conference paperVideo analytics for retail
- A.W. Senior
- L. Brown
- et al.
- 2007
- AVSS 2007
Conference paper