Wolf - Bug hunter for concurrent software using formal methods
- Sharon Barner
- Ziv Glazberg
- et al.
- 2005
- CAV 2005
Conference paper
Publications
9268 results for Computer Science
Bounded model checking of concurrent programs
- Ishai Rabinovitz
- Orna Grumberg
- 2005
- CAV 2005
Conference paperBars, spiral structure, and secular evolution in disk galaxies
- Bruce G. Elmegreen
- 2005
- Island Universes 2005
Conference paperTrustworthy 100-year digital objects: Durable encoding for when it's too late to ask
- H.M. Gladney
- R.A. Lore
- 2005
- ACM TOIS
PaperAutomatic subspace clustering of high dimensional data
- Rakesh Agrawal
- Johannes Gehrke
- et al.
- 2005
- Data Mining and Knowledge Discovery
PaperPervasive computing in sports technologies
- Ed.H. Chi
- Gaetano Borriello
- et al.
- 2005
- IEEE Pervasive Computing
ReviewEnhancing the accuracy of virtual screening: Molecular dynamics with quantum-refined force fields
- Alessandro Curioni
- Tiziana Mordasini
- et al.
- 2005
- J. Comput. Aided Mol. Des.
PaperParallel protein folding with STAPL
- Shawna Thomas
- Gabriel Tanase
- et al.
- 2005
- CCPE
PaperOptimization of MPI collective communication on BlueGene/L systems
- George Almási
- Philip Heidelberger
- et al.
- 2005
- ICS 2005
Conference paperAn integrated simdization framework using virtual vectors
- Peng Wu
- Alexandre E. Eichenberger
- et al.
- 2005
- ICS 2005
Conference paper