479 search results - page 82 / 96 » On Static Properties of Specialized Programs |
IPPS
1996
IEEE
15 years 3 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
WICSA
2008
15 years 1 months ago
2008
The right software architecture is critical to achieving essential quality attributes, but these qualities are only realized if the program as implemented conforms to its intended...
141
click to vote
ICST
2010
IEEE
14 years 10 months ago
2010
IEEE
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
104
click to vote
ICSOC
2009
Springer
14 years 9 months ago
2009
Springer
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...
227
click to vote
POPL
2001
ACM
16 years 1 days ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...