Efficient and retargetable SIMD translation in a dynamic binary translator.
Automation of application-level caching in a seamless way.
A policy-centric approach to protecting OS kernel from vulnerable LKMs.
Automatic benchmark profiling through advanced workflow-based trace analysis.
Model-based design of IoT systems with the BIP component framework.
A negotiation-based service selection approach using swarm intelligence and kernel density estimation.
A standard-based architecture to support learning interoperability: A practical experience in gamification.