Sciweavers

3330 search results - page 70 / 666
» software 2010
Sort
View
112
Voted
MIDDLEWARE
2010
Springer
15 years 11 days ago
Asynchronous Lease-Based Replication of Software Transactional Memory
Nuno Carvalho, Paolo Romano, Luís Rodrigues
SRDS
2010
IEEE
15 years 9 days ago
Experimental Validation of a Synchronization Uncertainty-Aware Software Clock
Andrea Bondavalli, Francesco Brancati, Andrea Cecc...
ECEASST
2010
14 years 12 months ago
A Deductive Verification Platform for Cryptographic Software
Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe...