3521 search results - page 48 / 705 » Algorithmic Control in Concurrent Computations |
DNIS
2007
Springer
15 years 3 months ago
2007
Springer
A read-only transaction (ROT) does not modify any data. The main issues regarding processing ROTs are correctness, data currency and performance. Two-phase Locking (2PL) protocol i...
RTSS
2007
IEEE
15 years 3 months ago
2007
IEEE
IEEESCC
2008
IEEE
15 years 4 months ago
2008
IEEE
FOCS
1993
IEEE
15 years 1 months ago
1993
IEEE
CORR
2011
Springer
14 years 4 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...