5536 search results - page 938 / 1108 » Programming Languages for Distributed Applications |
IPPS
2009
IEEE
14 years 5 months ago
2009
IEEE
In this paper we investigate feedback-directed dynamic selection between different implementations of atomic blocks. We initially execute atomic blocks using STM with optimistic c...
ICS
2007
Tsinghua U.
14 years 5 months ago
2007
Tsinghua U.
Sensitivity Analysis (SA) is a novel compiler technique that complements, and integrates with, static automatic parallelization analysis for the cases when relevant program behavi...
NSPW
2006
ACM
14 years 4 months ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...
ISSTA
2004
ACM
14 years 4 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
OOPSLA
2007
Springer
14 years 5 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...