EURASIP Journal on Advances in Signal Processing
Parfait: designing a scalable bug checker
Proceedings of the 2008 workshop on Static analysis
Orthrus: efficient software integrity protection on multi-cores
Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems
A model-driven process for the modernization of component-based systems
Science of Computer Programming
| Hi-index | 0.00 |