80 search results - page 3 / 16 » Summarizing procedures in concurrent programs |
202
click to vote
POPL
2008
ACM
15 years 12 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
87
Voted
APSEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Online update is a technique that reduces the disruption caused by a software update. It does so by applying a patch to a running process as opposed to shutting down the process a...
ICALP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
198
click to vote
CC
2009
Springer
16 years 7 days ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
181
click to vote
POPL
2005
ACM
15 years 12 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...