645 search results - page 29 / 129 » concurrency 2007 |
CORR
2011
Springer
14 years 7 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
105
Voted
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
There are many difficulties associated with developing correct multithreaded software, and many of the activities that are simple for single threaded software are exceptionally ha...
101
Voted
SOSP
2007
ACM
15 years 9 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...
181
click to vote
VLDB
2007
ACM
16 years 20 days ago
2007
ACM
This paper focuses on the problem of improving distributed query throughput of the RDBMS-based data integration system that has to inherit the query execution model of the underly...
93
Voted
AAAI
2007
15 years 2 months ago
2007
Concurrent action execution is important for plan-length minimization. However, action specifications are often limited to avoid conflicts arising from precondition/effect inter...