Sciweavers

3521 search results - page 48 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
DNIS
2007
Springer
114views Database» more  DNIS 2007»
14 years 2 months ago
Improving the Performance of Read-Only Transactions Through Speculation
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...
Thirumalaisamy Ragunathan, P. Krishna Reddy
CORR
2011
Springer
176views Education» more  CORR 2011»
13 years 3 months ago
Quantitative Synthesis for Concurrent Programs
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
Pavol Cerný, Krishnendu Chatterjee, Thomas ...