Sciweavers

3521 search results - page 48 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
109
Voted
DNIS
2007
Springer
114views Database» more  DNIS 2007»
15 years 8 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
88
Voted
RTSS
2007
IEEE
15 years 8 months ago
Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines
Marek Chrobak, Mathilde Hurand, Jiri Sgall
101
Voted
IEEESCC
2008
IEEE
15 years 9 months ago
Predictive Admission Control Algorithm for Advance Reservation in Equipment Grid
Jie Yin, Yuexuan Wang, Meizhi Hu, Cheng Wu
99
Voted
FOCS
1993
IEEE
15 years 6 months ago
A Simple Local-Control Approximation Algorithm for Multicommodity Flow
Baruch Awerbuch, Frank Thomson Leighton
115
Voted
CORR
2011
Springer
176views Education» more  CORR 2011»
14 years 9 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 ...