4889 search results - page 700 / 978 » A Refactoring Approach to Parallelism |
153
click to vote
AMAST
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
150
click to vote
CONCUR
2004
Springer
16 years 1 days ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
166
click to vote
ECUMN
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We introduce a user-empowered UDP packet reflector to create virtual multicasting environments as an overlay on top of current unicast networks. The end-users’ ability...
172
Voted
EUROPAR
2004
Springer
16 years 1 days ago
2004
Springer
Several optimization techniques are hindered by uncertainties about the control flow in a program, which can generally not be determined by static methods at compile time. We pres...
175
click to vote
GECCO
2004
Springer
16 years 1 days ago
2004
Springer
The use of Genetic Algorithms in evolution of mutants and test cases offers new possibilities in addressing some of the main problems of mutation testing. Most specifically the p...