1404 search results - page 36 / 281 » Increasing Concurrency in Databases Using Program Analysis |
CADE
2008
Springer
16 years 23 days ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
EXPCS
2007
15 years 4 months ago
2007
Utility programs, which perform similar and largely independent operations on a sequence of inputs, include such common applications as compilers, interpreters, and document parse...
90
Voted
DGO
2003
15 years 1 months ago
2003
New technology in knowledge discovery and data mining (KDD) make it possible to extract valuable information from operational data. Private businesses already use the technology f...
109
Voted
MICRO
2010
IEEE
14 years 7 months ago
2010
IEEE
Today's transactional memory systems implement the two-phase-locking (2PL) algorithm which aborts transactions every time a conflict happens. 2PL is a simple algorithm that pr...
114
click to vote
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
Video management research has largely been ignoring the increased attractiveness of using camera-equipped mobile phones for the production of short home video clips, mostly consid...