Verifying dereference safety via expanding-scope analysis
- A. Loginov
- E. Yahav
- et al.
- 2008
- ISSTA 2008
Conference paper
Publications
9271 results for Computer Science
MLS security policy evolution with genetic programming
- Yow Tzu Lim
- Pankaj Rohatgi
- et al.
- 2008
- GECCO 2008
Conference paperTwo heads better than one: Pattern discovery in time-evolving multi-aspect data
- Jimeng Sun
- Charalampos E. Tsourakakis
- et al.
- 2008
- Data Mining and Knowledge Discovery
PaperEvaluating application mapping scenarios on the Cell/B.E.
- Ana Lucia Varbanescu
- Henk Sips
- et al.
- 2008
- CCPE
PaperRapid bootstrapping of statistical spoken dialogue systems
- Ruhi Sarikaya
- 2008
- Speech Communication
PaperFlexible task graphs: A unified restricted thread programming model for Java
- Joshua Auerbach
- David F. Bacon
- et al.
- 2008
- ACM SIGPLAN Notices
PaperSelecting anti-HIV therapies based on a variety of genomic and clinical factors
- Michal Rosen-Zvi
- Andre Altmann
- et al.
- 2008
- Bioinformatics
PaperStreaming time series summarization using user-defined amnesic functions
- Themis Palpanas
- Michail Vlachos
- et al.
- 2008
- IEEE Transactions on Knowledge and Data Engineering
PaperSOMA-ME: A platform for the model-driven design of SOA solutions
- Liang-Jie Zhang
- Nianjun Zhou
- et al.
- 2008
- IBM Systems Journal
PaperEfficient cooperative search of smart targets using UAV Swarms
- Yaniv Altshuler
- Vladimir Yanovsky
- et al.
- 2008
- Robotica
Paper