![](https://www.dpss.inesc-id.pt/wp-content/uploads/2016/12/safecloud-logo.png)
Category Archives: Project
![](https://www.dpss.inesc-id.pt/wp-content/uploads/2016/12/safecloud-logo.png)
![](https://www.dpss.inesc-id.pt/wp-content/uploads/2016/12/trace-logo.png)
TRACE: Opening the cycling and walking tracking potential
DependableCloud: Towards the dependable cloud: Building the foundations for tomorrow
specSTM: Software Transactional Memory with Thread-Level Speculation Support
![](https://www.dpss.inesc-id.pt/wp-content/uploads/2015/05/timbus.gif)
Timbus
![](https://www.dpss.inesc-id.pt/wp-content/uploads/Projects/FastFixLogo.png)
FastFIX: Monitoring Control for Remote Software Maintenance
![](https://www.dpss.inesc-id.pt/wp-content/uploads/2016/12/eurotm-logo-up-1481502534.png)
Euro-TM: Transactional Memories: Foundations, Algorithms, Tools, and Applications.
![](https://www.dpss.inesc-id.pt/wp-content/uploads/Projects/cloudtm.png)
Cloud-TM: A novel programming paradigm for the Cloud
![](https://www.dpss.inesc-id.pt/wp-content/uploads/Projects/cloud4europe.png)
Cloud For Europe
![](https://www.dpss.inesc-id.pt/wp-content/uploads/2016/12/PCAS-banner-604x188.jpg)