6808 search results - page 920 / 1362 » Distributed Concurrency Control |
178
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The prediction of the correct secondary structures of large RNAs is one of the unsolved challenges of computational molecular biology. Among the major obstacles is the fact that a...
215
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
187
click to vote
ISCA
2009
IEEE
16 years 26 days ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
162
click to vote
IEEEPACT
2008
IEEE
16 years 19 days ago
2008
IEEE
Both commercial and scientific workloads benefit from concurrency and exhibit data sharing across threads/processes. The resulting sharing patterns are often fine-grain, with t...
156
click to vote
ACSC
2007
IEEE
16 years 18 days ago
2007
IEEE
Mobile technology is particularly suited to a fully distributed (replicated) architecture for collaborative work. Users can maintain their own document copies, and can continue to...