Seer: Probabilistic Scheduling for Hardware Transactional Memory
Nuno Diegues, Paolo Romano, Stoyan Garbatov
Category Archives: News
New journal paper accepted at Software Testing, Verification and Reliability. Wiley, 2017
CoopREP: Cooperative Record and Replay of Concurrency Bugs
N. Machado, P. Romano, L. Rodrigues
Thesis presented: Naércio Magaia
Congratulations to Naércio Magaia for successfully defending his PhD thesis:
Efficient and Secure Routing in Wireless Ad Hoc Networks
Two chapters accepted for a Springer’s book “Cloud Computing Principles, Systems and Applications, 2nd edition”
A Taxonomy of Adaptive Resource Management Mechanisms in Virtual Machines: Recent Progress and Challenges
José Simão, Luís Veiga
Cloud-Supported Certification for Energy-Efficient Web Browsing and Services
Gonçalo Avelar, José Simão, Luís Veiga
Two papers accepted at WiMob 2017
DroidPosture: A Trusted Posture Assessment Service for Mobile Devices
Sileshi Yalew, Gerald McGuire Jr, Seif Haridi, Miguel Correia
TruApp: A TrustZone-based Authenticity Detection Service for Mobile Apps
Sileshi Yalew, Pedro Mendonça, Gerald McGuire Jr, Seif Haridi, Miguel Correia
New paper accepted at MSWiM 2017
REPSYS: A Robust and Distributed Reputation System for Delay-Tolerant Networks
Naércio Magaia, Paulo Pereira, Miguel Correia
New paper accepted at SASO 2017
Xor-Based Topology Management Beyond Kademlia
Erick Lavoie, Laurie Hendren, and Miguel Correia
New workshop paper accepted at TRANSACT 2017
Towards White-Box Modeling of Hardware Transactional Memory Systems
Daniel Castro, Diego Didona and Paolo Romano
New paper accepted at TSD 2017
Automatic Detection of Parkinson Disease: An Experimental Analysis of Common Speech Production Tasks Used for Diagnosis
A. Pompili, A. Abad, P. Romano, I. P. Martins, R. Cardoso, H. Santos, J. Carvalho, I. Guimarães, and J. J. Ferreira
New paper accepted at MASCOTS 2017
An Analytical Model of Hardware Transactional Memory
Daniel Castro, Paolo Romano, Diego Didona, Willy Zwaenepoel