Performance and productivity in the multi-core era: challenges in software engineering and formal methods23 November 2011FastFlow is a programming framework specifically targeting multi- and many-cores architetcures. It...
Multi-core and GPU model checking: Challenges and Outlooks16 November 2011Model checking is one of the most successful formal techniques for the verification of software and...
Security in e-Health scenarios26 October 2011Important progresses in medicine and healthcare has been made during the last century. The duration...
