1833 search results - page 191 / 367 » Mechanized Verification with Sharing |
187
click to vote
CN
2000
15 years 6 months ago
2000
ATM networks are widely adopted as backbone networks. TCP/IP are the most popular protocols today and it is quite possible that packets are forwarded by ATM networks. In ATM netwo...
202
click to vote
DC
2010
15 years 3 months ago
2010
In this paper, we present RAMBO, an algorithm for emulating a read/write distributed shared memory in a dynamic, rapidly changing environment. RAMBO provides a highly reliable, hi...
190
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
137
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Major research challenges in discovering Web services include, provisioning of services across multiple or heterogeneous registries, differentiating between services that share si...
310
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Speed improvements in today's processors have largely been delivered in the form of multiple cores, increasing the importance of ions that ease parallel programming. Software...