Predicate abstraction and canonical abstraction for singly-linked lists
- Roman Manevich
- E. Yahav
- et al.
- 2005
- VMCAI 2005
Conference paper
Publications
9271 results for Computer Science
Configurable offers and winner determination in multi-attribute auctions
- Martin Bichler
- Jayant Kalagnanam
- 2005
- EJOR
PaperInformation integration framework for product life-cycle management of diverse data
- Huong Morris
- Simon Lee
- et al.
- 2005
- Journal of Computing and Information Science in Engineering
PaperMixing, rheology, and stability of highly filled thermal pastes
- Claudius Feger
- Jeffrey D. Gelorme
- et al.
- 2005
- IBM J. Res. Dev
PaperSupporting aspect-oriented software development with the Concern Manipulation Environment
- William Harrison
- Harold Ossher
- et al.
- 2005
- IBM Systems Journal
PaperImproving availability and performance with application-specific data replication
- Lei Gao
- Mike Dahlin
- et al.
- 2005
- IEEE Transactions on Knowledge and Data Engineering
PaperBladeCenter thermal diagnostics
- William J. Piazza
- Richard E. Harper
- et al.
- 2005
- IBM J. Res. Dev
PaperAnalysis and simulation of business solutions in a service-oriented architecture
- Makoto Kano
- Akio Koide
- et al.
- 2005
- IBM Systems Journal
PaperScalable framework for 3D FFTs on the Blue Gene/L supercomputer: Implementation and early performance measurements
- Maria Eleftheriou
- Blake G. Fitch
- et al.
- 2005
- IBM J. Res. Dev
PaperThe Eclipse 3.0 platform: Adopting OSGi technology
- Olivier Gruber
- B.J. Hargrave
- et al.
- 2005
- IBM Systems Journal
Paper