2466 search results - page 47 / 494 » Concurrent Clustered Programming |
POPL
2004
ACM
14 years 2 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
PPCP
1993
14 years 23 days ago
1993
ENTCS
2006
13 years 8 months ago
2006
In this note we revisit the so-called reactive programming style, which evolves from the synchronous programming model of the Esterel language by weakening the assumption that the...
SC
1995
ACM
14 years 7 days ago
1995
ACM
We describe the design of a runtime system for a fine-grained concurrent object-oriented (actor) language and its performance. The runtime system provides considerable flexibility...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...