Deriving linearizable fine-grained concurrent objects
- Martin Vechev
- Eran Yahav
- 2008
- ACM SIGPLAN Notices
Paper
Publications
9271 results for Computer Science
Using stochastic process algebra models to estimate the quality of information in military sensor networks
- David J. Thornley
- Chatschik Bisdikian
- et al.
- 2008
- SPIE Defense + Security 2008
Conference paperAnonymous networking amidst eavesdroppers
- Parvathinathan Venkitasubramaniam
- Ting He
- et al.
- 2008
- IEEE Trans. Inf. Theory
PaperInformation-theory based optimal location management schemes for integrated multi-system wireless networks
- Archan Misra
- Abhishek Roy
- et al.
- 2008
- IEEE/ACM Transactions on Networking
PaperBEAM: A framework for business ecosystem analysis and modeling
- Chun Hua Tian
- Bannie K. Ray
- et al.
- 2008
- IBM Systems Journal
PaperCONTOUR: An efficient algorithm for discovering discriminating subsequences
- Jianyong Wang
- Yuzhou Zhang
- et al.
- 2008
- Data Mining and Knowledge Discovery
PaperEstimating value in service systems: A case study of a repair service system
- Nathan S. Caswell
- Christos Nikolaou
- et al.
- 2008
- IBM Systems Journal
PaperEncryption modes with almost free message integrity
- Charanjit S. Jutla
- 2008
- Journal of Cryptology
PaperSemi-supervised dimensionality reduction for image retrieval
- Bin Zhang
- Yangqiu Song
- et al.
- 2008
- VCIP 2008
Conference paperWyner-Ziv video compression using rateless LDPC codes
- Da-Ke He
- Ashish Jagmohan
- et al.
- 2008
- VCIP 2008
Conference paper