6756 search results - page 1315 / 1352 » Distributed Shared State |
111
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
125
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
111
click to vote
ITICSE
2006
ACM
15 years 8 months ago
2006
ACM
It is well known that women’s involvement in the field of Computer Science is very low in the USA. This is viewed as a significant problem and has become a great concern to educ...
122
click to vote
MSR
2006
ACM
15 years 8 months ago
2006
ACM
When analyzing the evolution history of a software project, we wish to develop results that generalize across projects. One approach is to analyze design patterns, permitting char...
193
click to vote
SIGCOMM
2006
ACM
15 years 8 months ago
2006
ACM
There is a growing demand for network devices capable of examining the content of data packets in order to improve network security and provide application-specific services. Most...