1404 search results - page 163 / 281 » Increasing Concurrency in Databases Using Program Analysis |
123
Voted
TSE
2010
14 years 11 months ago
2010
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...
112
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
116
click to vote
SAC
2009
ACM
15 years 7 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...
147
Voted
ESE
2006
15 years 22 days ago
2006
Test case prioritization provides a way to run test cases with the highest priority earliest. Numerous empirical studies have shown that prioritization can improve a test suite�...
110
Voted
MATES
2005
Springer
15 years 6 months ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...